Optimization of Straight-Line Code Revisited. - Thomas Noll 001; Stefan Rieger (Softwaretechnik-Trends, 2006)

Composing Transformations to Optimize Linear Code. - Thomas Noll 001; Stefan Rieger (ICTAC, 2007)

Verifying Dynamic Pointer-Manipulating Threads. - Thomas Noll 001; Stefan Rieger (FM, 2008)

Abstracting Complex Data Structures by Hyperedge Replacement. - Stefan Rieger; Thomas Noll 001 (ICGT, 2008)

Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures. - Jonathan Heinen; Thomas Noll 001; Stefan Rieger (TTSS, 2009)

Verification of Pointer Programs. - Stefan Rieger (2009)

Graphical modelling meets formal methods. - Stefan Gulan; Sven Johr; Roberto Kretschmer; Stefan Rieger; Michael Ditze (INDIN, 2013)

Menschensteuerung - Zu einer Wissensgeschichte der Virtualität. - Stefan Rieger (Exploring Virtuality, 2014)

Model-Based Analysis for Safety Critical Software. - Stefan Gulan; Jens Harnisch; Sven Johr; Roberto Kretschmer; Stefan Rieger; Rafael Zalman (SAFECOMP, 2015)