Stefan Stattelmann

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Venues

SIES

ETFA

CASES

CoRR

Eberhard Karls University of Tübingen (PHD)

Education History

Eberhard Karls University of Tübingen

PHD

Publications

Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann
G4LTL-ST: Automatic Generation of PLC Programs. CAV (2014)
Stefan Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski
Applying static code analysis on industrial controller code. ETFA (2014)
Stefan Stattelmann, Manuel Oriol, Thomas Gamer
Execution Time Analysis for Industrial Control Applications. FESCA (2014)
Stefan Stattelmann, Stephan Sehestedt, Thomas Gamer
Optimized incremental state replication for automation controllers. ETFA (2014)
Sebastian Biallas, Stefan Kowalewski, Stefan Stattelmann, Bastian Schlich
Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code. WODES (2014)
Kim Grüttner, Philipp A. Hartmann, Tiemo Fandrey, Kai Hylla, Daniel Lorenz, Stefan Stattelmann, Björn Sander, Oliver Bringmann, Wolfgang Nebel, Wolfgang Rosenstiel
An ESL timing & power estimation and simulation framework for heterogeneous socs. ICSAMOS (2014)
Sebastian Ottlik, Stefan Stattelmann, Alexander Viehl, Wolfgang Rosenstiel, Oliver Bringmann
Context-sensitive timing simulation of binary embedded software. CASES (2014)
Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann
G4LTL-ST: Automatic Generation of PLC Programs. CoRR (2014)
Stefan Stattelmann, Gernot Gebhard, Christoph Cullmann, Oliver Bringmann, Wolfgang Rosenstiel
Hybrid source-level simulation of data caches using abstract cache models. DATE (2012)
Jochen Zimmermann, Stefan Stattelmann, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel
Model-driven virtual prototyping for real-time simulation of distributed embedded systems. SIES (2012)
Stefan Stattelmann, Sebastian Ottlik, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel
Combining instruction set simulation and WCET analysis for embedded software performance estimation. SIES (2012)
Stefan Stattelmann, Oliver Bringmann, Wolfgang Rosenstiel
Fast and accurate resource conflict simulation for performance analysis of multi-core systems. DATE (2011)
Stefan Stattelmann, Oliver Bringmann, Wolfgang Rosenstiel
Dominator homomorphism based code matching for source-level simulation of embedded software. CODES+ISSS (2011)
Stefan Stattelmann, Oliver Bringmann, Wolfgang Rosenstiel
Fast and accurate source-level simulation of software timing considering complex code optimizations. DAC (2011)
Stefan Stattelmann, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel
Reconstructing Line References from Optimized Binary Code for Source-Level Annotation. FDL (2010)
Stefan Stattelmann, Florian Martin
On the Use of Context Information for Precise Measurement-Based Execution Time Estimation. WCET (2010)

Stefan Stattelmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefan Stattelmann