CAMA: A Predictable Cache-Aware Memory Allocator. - Jörg Herter; Peter Backes; Florian Haupenthal; Jan Reineke 001 (ECRTS, 2011)

ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems. - Peter Backes; Jan Reineke 001 (SPIN, 2015)

Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction. - Peter Backes; Jan Reineke 001 (VMCAI, 2015)

Cluster abstraction of graph transformation systems. - Peter Backes (2015)