Stefan Hauck-Stattelmann
According to our database1,
Stefan Hauck-Stattelmann
authored at least 23 papers
between 2010 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
A Timed-Value Stream Based ESL Timing and Power Estimation and Simulation Framework for Heterogeneous MPSoCs.
Int. J. Parallel Program., 2020
2018
J. Syst. Archit., 2018
2016
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
Proceedings of the 42th Euromicro Conference on Software Engineering and Advanced Applications, 2016
2015
Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015
Proceedings of the FM 2015: Formal Methods, 2015
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015
2014
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.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
Proceedings of the XIVth International Conference on Embedded Computer Systems: Architectures, 2014
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
Proceedings of the 2014 International Conference on Compilers, 2014
2013
Source-Level Performance Estimation of Compiler-Optimized Embedded Software Considering Complex Program Transformations.
PhD thesis, 2013
2012
Model-driven virtual prototyping for real-time simulation of distributed embedded systems.
Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012
Combining instruction set simulation and WCET analysis for embedded software performance estimation.
Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012
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.
Proceedings of the Design, Automation and Test in Europe, 2011
Fast and accurate source-level simulation of software timing considering complex code optimizations.
Proceedings of the 48th Design Automation Conference, 2011
Dominator homomorphism based code matching for source-level simulation of embedded software.
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.
Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010
Reconstructing Line References from Optimized Binary Code for Source-Level Annotation.
Proceedings of the 2010 Forum on specification & Design Languages, 2010