Personal Info about Stefan Rieger


Stefan Rieger

E-Mail:

rieger<at>informatik.rwth-aachen.de

 

rieger<at>cs.rwth-aachen.de

Phone:

+49-241/80-21210

Fax:

+49-241/80-22217

 

 

Postal Address:  

Lehrstuhl für Informatik II

RWTH Aachen

D-52056 Aachen

 

 

Visiting Address:  

Room 4206

Ahornstr. 55

D-52074 Aachen

 

PGP-Key:

0x21C41C33


Publications / Talks

2009
  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.
  Stefan Rieger. Verification of Pointer Programs. PhD Thesis, RWTH Aachen University, 2009.
  Stefan Rieger. Verification of Pointer Programs. Informatik Oberseminar, RWTH Aachen, , 2009.

2008
 
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.
 
Stefan Rieger. Abstracting Complex Data Structures by Hyperedge Replacement. Talk, ICGT 2008, Leicester (UK), 2008. Conference Presentation.
 
Stefan Rieger. Verifying Dynamic Pointer-Manipulating Threads. Talk, FM 2008, Turku (FI), 2008. Conference Presentation.
 
Stefan Rieger. Verifying Dynamic Pointer-Manipulating Threads. Talk, German Chapter Concur, 2008. Workshop Presentation.
  Stefan Rieger. Juggernaut: Just Use Graph GRammars to Nicely Abstract Unbounded Structures. DCON 2009, Berlin, , 2008.

2007
 
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.
 
Stefan Rieger. Composing Transformations to Optimize Linear Code. Talk, ICTAC 2007, Macao (CN), 2007. Conference Presentation.
 
Stefan Rieger. Verifying List-Manipulating Programs with Unbounded Thread Creation. Talk, Universität des Saarlandes, Saarbrücken, 2007. Invited Presentation.
 
Stefan Rieger. Heap Abstraction by Graph Reduction with Graph Grammars. Talk, Universität des Saarlandes, Saarbrücken, 2007. Invited Presentation.
 
Stefan Rieger. Unbounded Tread Creation in Dynamic Pointer Programs. Talk, KPS 2007, Timmendorfer Strand, 2007. Workshop Presentation.
  Stefan Rieger. Verifying Concurrent List-Manipulating Programs by LTL Model Checking. Talk, Workshop Programmiersprachen und Rechenkonzepte (Bad Honnef), 2007. Workshop Presentation.

2006
  Stefan Rieger. Optimierung linearen Codes. Talk, 23. Workshop der FG Programmiersprachen und Rechenkonzepte, Bad Honnef, 2006.
  Thomas Noll, and Stefan Rieger. Optimization of Straight-Line Code Revisited. Softwaretechnik-Trends, 26(2), 2006.

2005
 
Thomas Noll, and Stefan Rieger. Optimization of Straight-Line Code Revisited. Technical Report 2005-21, RWTH Aachen University, Dept. of Computer Science, 2005.
 
Stefan Rieger. Analyse und Optimierung linearen Codes. Diploma Thesis, Faculty of Mathematics, Computer Sciences and Natural Sciences, RWTH Aachen University, 2005.