Peter Backes

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 2

Top Topics

Graph Transformation

Complex Systems

Top Venues

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Peter Backes, Jan Reineke
Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction. VMCAI (2015)
Peter Backes, Jan Reineke
ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems. SPIN (2015)
Jörg Herter, Peter Backes, Florian Haupenthal, Jan Reineke
CAMA: A Predictable Cache-Aware Memory Allocator. ECRTS (2011)