Michael Achenbach

According to our database, Michael Achenbach authored at least 2 papers between 2009 and 2010.

Collaborative distances:

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

2010

A Meta-Aspect Protocol for Developing Dynamic Analyses.

Michael Achenbach, Klaus Ostermann

Proceedings of the Runtime Verification - First International Conference, 2010

2009

Engineering Abstractions in Model Checking and Testing.

Michael Achenbach, Klaus Ostermann

Proceedings of the Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, 2009