Stefan Rieger

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 1

Top Topics

Software Intensive Systems

Safety Critical

Top Venues

RWTH Aachen University (PHD)

Education History

RWTH Aachen University

PHD

Publications

Stefan Gulan, Jens Harnisch, Sven Johr, Roberto Kretschmer, Stefan Rieger, Rafael Zalman
Model-Based Analysis for Safety Critical Software. SAFECOMP (2015)
Stefan Gulan, Sven Johr, Roberto Kretschmer, Stefan Rieger, Michael Ditze
Graphical modelling meets formal methods. INDIN (2013)
Jonathan Heinen, Thomas Noll, Stefan Rieger
Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures. Electron. Notes Theor. Comput. Sci. 266 (2010)
Stefan Rieger, Thomas Noll
Abstracting Complex Data Structures by Hyperedge Replacement. ICGT (2008)
Thomas Noll, Stefan Rieger
Verifying Dynamic Pointer-Manipulating Threads. FM (2008)
Thomas Noll, Stefan Rieger
Composing Transformations to Optimize Linear Code. ICTAC (2007)
Thomas Noll, Stefan Rieger
Optimization of Straight-Line Code Revisited. Softwaretechnik-Trends 26 (2) (2006)