Stefan Stattelmann

Verifikation von sicherheitsgerichteten SPS-Programmen mit Hilfe von Safety-Automaten

Sebastian Biallas, Bastian Schlich, Stephan Sehestedt, 2013 .

Towards Accurate Source-Level Annotation of Low-Level Properties Obtained from Optimized Binary Code

Wolfgang Rosenstiel, Alexander Viehl, Oliver Bringmann, 2012 .

Precise measurement-based worst-case execution time estimation

Stefan Stattelmann, 2009 .

Source-level performance estimation of compiler-optimized embedded software considering complex program transformations

Stefan Stattelmann, 2013 .

Function pointer analysis for C programs

Stefan Stattelmann, 2009 .