Stefan Rieger

According to our database, Stefan Rieger authored at least 9 papers between 2006 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Model-Based Analysis for Safety Critical Software.

Stefan Gulan, Jens Harnisch, Sven Johr, Roberto Kretschmer, Stefan Rieger, Rafael Zalman

Proceedings of the Computer Safety, Reliability, and Security, 2015

2014

Menschensteuerung - Zu einer Wissensgeschichte der Virtualität.

Stefan Rieger

Proceedings of the Exploring Virtuality - Virtualität im interdisziplinären Diskurs, 2014

2013

Graphical modelling meets formal methods.

Stefan Gulan, Sven Johr, Roberto Kretschmer, Stefan Rieger, Michael Ditze

Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

2009

Verification of Pointer Programs.

Stefan Rieger

PhD thesis, 2009

Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures.

Jonathan Heinen, Thomas Noll, Stefan Rieger

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

2008

Abstracting Complex Data Structures by Hyperedge Replacement.

Stefan Rieger, Thomas Noll

Proceedings of the Graph Transformations, 4th International Conference, 2008

Verifying Dynamic Pointer-Manipulating Threads.

Thomas Noll, Stefan Rieger

Proceedings of the FM 2008: Formal Methods, 2008

2007

Composing Transformations to Optimize Linear Code.

Thomas Noll, Stefan Rieger

Proceedings of the Theoretical Aspects of Computing, 2007

2006

Optimization of Straight-Line Code Revisited.

Thomas Noll, Stefan Rieger

Softwaretechnik-Trends, 2006