Publications of Author

Bastian Schlich, Thomas Noll, Jörg Brauer, and Lucas Brutschy. Reduction of Interrupt Handler Executions for Model Checking Embedded Software. In Proc. of Haifa Verification Conference 2009 (HVC 2009). LNCS. Springer, 2009.

		Thomas Noll, and Bastian Schlich. Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code. In Hardware and Software: Verification and Testing (Haifa Verification Conference, HVC). pages 185–201. Volume 4899 of LNCS. Springer, 2008.
		Gerlind Herberich, Thomas Noll, Bastian Schlich, and Carsten Weise. Proving Correctness of an Efficient Abstraction for Interrupt Handling. In Proceedings 3rd International Workshop on Systems Software Verification (SSV). pages 133–150. Volume 217 of ENTCS. Elsevier, 2008.

BSc/MSc/Diploma Topics
Teaching WS09/10
Hybrid Systems Group

1-2 stud. Hilfskr. zur Unterstützung bei der Erstellung eines neuen Foliensatzes für "Datenstrukturen & Algorithmen 2010". (mehr)

Tingting Han defended her thesis "Synthesis, Diagnosis and Analysis of Probabilistic Systems" with highest praise at the University of Twente (NL) and today also at the RWTH Aachen! (more)