Tilman Mehler

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

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2007

Challenges and Applications of Assembly-Level Software Model Checking.

[DOI]

Künstliche Intell., 2007

2005

Challenges and applications of assembly level software model checking.

[DOI]

PhD thesis, 2005

Dynamic Incremental Hashing in Program Model Checking.

[DOI]

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.

[DOI]

Proceedings of the Model Checking Software, 2004