Tilman Mehler

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2007

3 Tilman Mehler: Challenges and Applications of Assembly-Level Software Model Checking. KI 21(1): 39-40 (2007)

2006

2 Tilman Mehler, Stefan Edelkamp: Dynamic Incremental Hashing in Program Model Checking. Electr. Notes Theor. Comput. Sci. 149(2): 51-69 (2006)

2004

1 Peter Leven, Tilman Mehler, Stefan Edelkamp: Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM. SPIN 2004: 39-56

	2007
3		Tilman Mehler: Challenges and Applications of Assembly-Level Software Model Checking. KI 21(1): 39-40 (2007)
	2006
2		Tilman Mehler, Stefan Edelkamp: Dynamic Incremental Hashing in Program Model Checking. Electr. Notes Theor. Comput. Sci. 149(2): 51-69 (2006)
	2004
1		Peter Leven, Tilman Mehler, Stefan Edelkamp: Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM. SPIN 2004: 39-56

Coauthor Index

1 Stefan Edelkamp [1] [2]

2 Peter Leven [1]