Tilman Mehler

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2007

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

2006

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

2005

2 Tilman Mehler: Challenges and applications of assembly level software model checking. Dortmund University of Technology 2005

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
4		Tilman Mehler: Challenges and Applications of Assembly-Level Software Model Checking. KI 21(1): 39-40 (2007)
	2006
3		Tilman Mehler, Stefan Edelkamp: Dynamic Incremental Hashing in Program Model Checking. Electr. Notes Theor. Comput. Sci. 149(2): 51-69 (2006)
	2005
2		Tilman Mehler: Challenges and applications of assembly level software model checking. Dortmund University of Technology 2005
	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] [3]

2 Peter Leven [1]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page