Stefan Hauck-Stattelmann

According to our database, Stefan Hauck-Stattelmann authored at least 23 papers between 2010 and 2020.

Collaborative distances:

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

2020

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, Stefan Hauck-Stattelmann, Björn Sander, Oliver Bringmann, Wolfgang Nebel, Wolfgang Rosenstiel

Int. J. Parallel Program., 2020

2018

Container-based architecture for flexible industrial control applications.

Thomas Goldschmidt, Stefan Hauck-Stattelmann, Somayeh Malakuti, Sten Grüner

J. Syst. Archit., 2018

2016

Concolic test generation for PLC programs using coverage metrics.

Dimitri Bohlender, Hendrik Simon, Nico Friedrich, Stefan Kowalewski, Stefan Hauck-Stattelmann

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Software Containers for Industrial Control.

Thomas Goldschmidt, Stefan Hauck-Stattelmann

Proceedings of the 42th Euromicro Conference on Software Engineering and Advanced Applications, 2016

2015

A static code analysis tool for control system software.

Sreeja Nair, Raoul Jetley, Anil R. Nair, Stefan Hauck-Stattelmann

Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

Analyzing the Restart Behavior of Industrial Control Applications.

Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski, Raoul Jetley

Proceedings of the FM 2015: Formal Methods, 2015

Automatic test case generation for PLC programs using coverage metrics.

Hendrik Simon, Nico Friedrich, Sebastian Biallas, Stefan Hauck-Stattelmann, Bastian Schlich, Stefan Kowalewski

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2014

Execution Time Analysis for Industrial Control Applications.

Stefan Stattelmann, Manuel Oriol, Thomas Gamer

Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2014

Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code.

Sebastian Biallas, Stefan Kowalewski, Stefan Stattelmann, Bastian Schlich

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

An ESL timing & power estimation and simulation framework for heterogeneous socs.

Kim Grüttner, Philipp A. Hartmann, Tiemo Fandrey, Kai Hylla, Daniel Lorenz, Stefan Stattelmann, Björn Sander, Oliver Bringmann, Wolfgang Nebel, Wolfgang Rosenstiel

Proceedings of the XIVth International Conference on Embedded Computer Systems: Architectures, 2014

Optimized incremental state replication for automation controllers.

Stefan Stattelmann, Stephan Sehestedt, Thomas Gamer

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Applying static code analysis on industrial controller code.

Stefan Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

G4LTL-ST: Automatic Generation of PLC Programs.

Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

Context-sensitive timing simulation of binary embedded software.

Sebastian Ottlik, Stefan Stattelmann, Alexander Viehl, Wolfgang Rosenstiel, Oliver Bringmann

Proceedings of the 2014 International Conference on Compilers, 2014

2013

Source-Level Performance Estimation of Compiler-Optimized Embedded Software Considering Complex Program Transformations.

Stefan Stattelmann

PhD thesis, 2013

2012

Model-driven virtual prototyping for real-time simulation of distributed embedded systems.

Jochen Zimmermann, Stefan Stattelmann, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel

Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

Combining instruction set simulation and WCET analysis for embedded software performance estimation.

Stefan Stattelmann, Sebastian Ottlik, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel

Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

Hybrid source-level simulation of data caches using abstract cache models.

Stefan Stattelmann, Gernot Gebhard, Christoph Cullmann, Oliver Bringmann, Wolfgang Rosenstiel

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Fast and accurate resource conflict simulation for performance analysis of multi-core systems.

Stefan Stattelmann, Oliver Bringmann, Wolfgang Rosenstiel

Proceedings of the Design, Automation and Test in Europe, 2011

Fast and accurate source-level simulation of software timing considering complex code optimizations.

Stefan Stattelmann, Oliver Bringmann, Wolfgang Rosenstiel

Proceedings of the 48th Design Automation Conference, 2011

Dominator homomorphism based code matching for source-level simulation of embedded software.

Stefan Stattelmann, Oliver Bringmann, Wolfgang Rosenstiel

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

2010

On the Use of Context Information for Precise Measurement-Based Execution Time Estimation.

Stefan Stattelmann, Florian Martin

Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

Reconstructing Line References from Optimized Binary Code for Source-Level Annotation.

Stefan Stattelmann, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel

Proceedings of the 2010 Forum on specification & Design Languages, 2010