Publications of Author

		Jonathan Heinen, Thomas Noll, and Stefan Rieger. Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures. In Proc. 3rd Int. Workshop on Harnessing Theories for Tool Support in Software (TTSS’09). To be published in ENTCS. Elsevier, 2009.
		Stefan Rieger. Verification of Pointer Programs. PhD Thesis, RWTH Aachen University, 2009.

		Thomas Noll, and Stefan Rieger. Verifying Dynamic Pointer Programs. In Proceedings 15th International Symposium on Formal Methods (FM). pages 84–99. Volume 5014 of LNCS. Springer, 2008.
		Stefan Rieger, and Thomas Noll. Abstracting Complex Data Structures by Hyperedge Replacement. In 4th Int. Conference on Graph Transformations (ICGT 2008). pages 69–83. Volume 5214 of LNCS. Springer, 2008.

		Joost-Pieter Katoen, Thomas Noll, and Stefan Rieger. Verifying Concurrent List-Manipulating Programs by LTL Model Checking. In Workshop on Heap Analysis and Verification (HAV 2007). pages 94–113. 2007.
		Joost-Pieter Katoen, Thomas Noll, and Stefan Rieger. Verifying Concurrent List-Manipulating Programs by LTL Model Checking. Technical Report 2007-06, RWTH Aachen University, 2007. http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2007/2007-06.pdf.
		Thomas Noll, and Stefan Rieger. Composing Transformations to Optimize Linear Code. In Proc. 4th Int. Colloquium on Theoretical Aspects of Computing (ICTAC ’07). pages 425–439. Volume 4711 of LNCS. 2007.

Thomas Noll, and Stefan Rieger. Optimization of Straight-Line Code Revisited. Softwaretechnik-Trends, 26(2), 2006.

Thomas Noll, and Stefan Rieger. Optimization of Straight-Line Code Revisited. Technical Report 2005-21, RWTH Aachen University, Dept. of Computer Science, 2005.

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)