Tilman Mehler

According to our database, Tilman Mehler authored at least 4 papers between 2004 and 2007.

Collaborative distances:

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

2007

Challenges and Applications of Assembly-Level Software Model Checking.

Tilman Mehler

Künstliche Intell., 2007

2005

Challenges and applications of assembly level software model checking.

Tilman Mehler

PhD thesis, 2005

Dynamic Incremental Hashing in Program Model Checking.

Tilman Mehler, Stefan Edelkamp

Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, 2005

2004

Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM.

Peter Leven, Tilman Mehler, Stefan Edelkamp

Proceedings of the Model Checking Software, 2004