Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM. - Peter Leven; Tilman Mehler; Stefan Edelkamp (SPIN, 2004)

Dynamic Incremental Hashing in Program Model Checking. - Tilman Mehler; Stefan Edelkamp (MoChArt@CONCUR/SPIN, 2005)

Challenges and applications of assembly level software model checking. - Tilman Mehler (2005)

Challenges and Applications of Assembly-Level Software Model Checking. - Tilman Mehler (Künstliche Intell., 2007)