Reconstructing Line References from Optimized Binary Code for Source-Level Annotation. - Stefan Stattelmann; Alexander Viehl; Oliver Bringmann 001; Wolfgang Rosenstiel (FDL, 2010)

On the Use of Context Information for Precise Measurement-Based Execution Time Estimation. - Stefan Stattelmann; Florian Martin 001 (WCET, 2010)

Dominator homomorphism based code matching for source-level simulation of embedded software. - Stefan Stattelmann; Oliver Bringmann 001; Wolfgang Rosenstiel (CODES+ISSS, 2011)

Fast and accurate source-level simulation of software timing considering complex code optimizations. - Stefan Stattelmann; Oliver Bringmann 001; Wolfgang Rosenstiel (DAC, 2011)

Fast and accurate resource conflict simulation for performance analysis of multi-core systems. - Stefan Stattelmann; Oliver Bringmann 001; Wolfgang Rosenstiel (DATE, 2011)

Hybrid source-level simulation of data caches using abstract cache models. - Stefan Stattelmann; Gernot Gebhard; Christoph Cullmann; Oliver Bringmann 001; Wolfgang Rosenstiel (DATE, 2012)

Combining instruction set simulation and WCET analysis for embedded software performance estimation. - Stefan Stattelmann; Sebastian Ottlik; Alexander Viehl; Oliver Bringmann 001; Wolfgang Rosenstiel (SIES, 2012)

Model-driven virtual prototyping for real-time simulation of distributed embedded systems. - Jochen Zimmermann; Stefan Stattelmann; Alexander Viehl; Oliver Bringmann 001; Wolfgang Rosenstiel (SIES, 2012)

Source-Level Performance Estimation of Compiler-Optimized Embedded Software Considering Complex Program Transformations. - Stefan Stattelmann (Verlag Dr. Hut, 2013)

Context-sensitive timing simulation of binary embedded software. - Sebastian Ottlik; Stefan Stattelmann; Alexander Viehl; Wolfgang Rosenstiel; Oliver Bringmann 001 (CASES, 2014)

G4LTL-ST: Automatic Generation of PLC Programs. - Chih-Hong Cheng; Chung-Hao Huang; Harald Ruess; Stefan Stattelmann (CAV, 2014)

Applying static code analysis on industrial controller code. - Stefan Stattelmann; Sebastian Biallas; Bastian Schlich; Stefan Kowalewski (ETFA, 2014)

Optimized incremental state replication for automation controllers. - Stefan Stattelmann; Stephan Sehestedt; Thomas Gamer (ETFA, 2014)

An ESL timing & power estimation and simulation framework for heterogeneous socs. - Kim Grüttner; Philipp A. Hartmann; Tiemo Fandrey; Kai Hylla; Daniel Lorenz 002; Stefan Stattelmann; Björn Sander; Oliver Bringmann 001; Wolfgang Nebel; Wolfgang Rosenstiel (ICSAMOS, 2014)

Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code. - Sebastian Biallas; Stefan Kowalewski; Stefan Stattelmann; Bastian Schlich (WODES, 2014)

Execution Time Analysis for Industrial Control Applications. - Stefan Stattelmann; Manuel Oriol; Thomas Gamer (FESCA, 2014)

Automatic test case generation for PLC programs using coverage metrics. - Hendrik Simon; Nico Friedrich; Sebastian Biallas; Stefan Hauck-Stattelmann; Bastian Schlich; Stefan Kowalewski (ETFA, 2015)

Analyzing the Restart Behavior of Industrial Control Applications. - Stefan Hauck-Stattelmann; Sebastian Biallas; Bastian Schlich; Stefan Kowalewski; Raoul Jetley (FM, 2015)

A static code analysis tool for control system software. - Sreeja Nair 001; Raoul Jetley; Anil R. Nair; Stefan Hauck-Stattelmann (SANER, 2015)

Software Containers for Industrial Control. - Thomas Goldschmidt; Stefan Hauck-Stattelmann (SEAA, 2016)

Concolic test generation for PLC programs using coverage metrics. - Dimitri Bohlender; Hendrik Simon; Nico Friedrich; Stefan Kowalewski; Stefan Hauck-Stattelmann (WODES, 2016)

Container-based architecture for flexible industrial control applications. - Thomas Goldschmidt; Stefan Hauck-Stattelmann; Somayeh Malakuti; Sten Grüner (J. Syst. Archit., 2018)

A Timed-Value Stream Based ESL Timing and Power Estimation and Simulation Framework for Heterogeneous MPSoCs. - Kim Grüttner; Philipp A. Hartmann; Tiemo Fandrey; Kai Hylla; Daniel Lorenz 002; Stefan Hauck-Stattelmann; Björn Sander; Oliver Bringmann 001; Wolfgang Nebel; Wolfgang Rosenstiel (Int. J. Parallel Program., 2020)