| 2014 | CASES | Context-sensitive timing simulation of binary embedded software. | Sebastian Ottlik, Stefan Stattelmann, Alexander Viehl, Wolfgang Rosenstiel, Oliver Bringmann |
| 2014 | CAV | G4LTL-ST: Automatic Generation of PLC Programs. | Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann |
| 2014 | ETFA | Applying static code analysis on industrial controller code. | Stefan Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski |
| 2014 | ETFA | Optimized incremental state replication for automation controllers. | Stefan Stattelmann, Stephan Sehestedt, Thomas Gamer |
| 2012 | DATE | Hybrid source-level simulation of data caches using abstract cache models. | Stefan Stattelmann, Gernot Gebhard, Christoph Cullmann, Oliver Bringmann, Wolfgang Rosenstiel |
| 2011 | DAC | Fast and accurate source-level simulation of software timing considering complex code optimizations. | Stefan Stattelmann, Oliver Bringmann, Wolfgang Rosenstiel |
| 2011 | DATE | Fast and accurate resource conflict simulation for performance analysis of multi-core systems. | Stefan Stattelmann, Oliver Bringmann, Wolfgang Rosenstiel |
| 2010 | FDL | Reconstructing Line References from Optimized Binary Code for Source-Level Annotation. | Stefan Stattelmann, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel |