Henrik Theiling

According to our database, Henrik Theiling authored at least 18 papers between 1998 and 2022.

Collaborative distances:

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

2022

Using Trace Data for Run-Time Optimization of Parallel Execution in Real-Time Multi-Core Systems.

Florian Schade, Timo Sandmann, Jürgen Becker, Henrik Theiling

Proceedings of the 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2022

2017

Supporting low-latency, low-criticality tasks in a certified mixed-criticality OS.

Manohar Vanga, Andrea Bastoni, Henrik Theiling, Björn B. Brandenburg

Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

2015

The shift to multicores in real-time and safety-critical systems.

Selma Saidi, Rolf Ernst, Sascha Uhrig, Henrik Theiling, Benoît Dupont de Dinechin

Proceedings of the 2015 International Conference on Hardware/Software Codesign and System Synthesis, 2015

2014

Multi-core Interference-Sensitive WCET Analysis Leveraging Runtime Resource Capacity Enforcement.

Jan Nowotsch, Michael Paulitsch, Daniel Buhler, Henrik Theiling, Simon Wegener, Michael Schmidt

Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

2008

WCET-driven, code-size critical procedure cloning.

Paul Lokuciejewski, Heiko Falk, Peter Marwedel, Henrik Theiling

Proceedings of the 11th International Workshop on Software and Compilers for Embedded Systems, 2008

2007

Influence of procedure cloning on WCET prediction.

Paul Lokuciejewski, Heiko Falk, Martin Schwarzer, Peter Marwedel, Henrik Theiling

Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007

Compile-time decided instruction cache locking using worst-case execution paths.

Heiko Falk, Sascha Plazar, Henrik Theiling

Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007

2006

Design of a WCET-Aware C Compiler.

Heiko Falk, Paul Lokuciejewski, Henrik Theiling

Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

2003

Control flow graphs for real-time systems analysis: reconstruction from binary executables and usage in ILP-based path analysis.

Henrik Theiling

PhD thesis, 2003

Convenient User Annotations for a WCET Tool.

Christian Ferdinand, Reinhold Heckmann, Henrik Theiling, Reinhard Wilhelm

Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, 2003

Validierung des Zeitverhaltens von kritischer Echtzeit-Software.

Christian Ferdinand, Daniel Kästner, Florian Martin, Marc Langenbach, Martin Sicks, Stephan Wilhelm, Reinhold Heckmann, Nicolas Fritz, Stephan Thesing, Frank Fontaine, Henrik Theiling, Michael Schmidt, Alexander A. Evstiougov-Babaev, Reinhard Wilhelm

Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003

2002

ILP-Based Interprocedural Path Analysis.

Henrik Theiling

Proceedings of the Embedded Software, Second International Conference, 2002

2001

Generating Decision Trees for Decoding Binaries.

Henrik Theiling

Proceedings of The Workshop on Languages, 2001

Reliable and Precise WCET Determination for a Real-Life Processor.

Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm

Proceedings of the Embedded Software, First International Workshop, 2001

2000

Fast and Precise WCET Prediction by Separated Cache and Path Analyses.

Henrik Theiling, Christian Ferdinand, Reinhard Wilhelm

Real Time Syst., 2000

Extracting safe and precise control flow from binaries.

Henrik Theiling

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

1999

Run-Time Guarantees for Real-Time Systems - The USES Approach.

Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Michael Schmidt, Jörn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm

Proceedings of the Informatik '99, 1999

1998

Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis.

Henrik Theiling, Christian Ferdinand

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998