Peter Backes

According to our database, Peter Backes authored at least 4 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

Cluster abstraction of graph transformation systems.

Peter Backes

PhD thesis, 2015

Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction.

Peter Backes, Jan Reineke

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems.

Peter Backes, Jan Reineke

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

2011

CAMA: A Predictable Cache-Aware Memory Allocator.

Jörg Herter, Peter Backes, Florian Haupenthal, Jan Reineke

Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011