Henrik Theiling

Publication Activity (10 Years)

Years Active: 1998-2022
Publications (10 Years): 2

Top Venues

RTCSA

ECRTS

RTNS

CODES+ISSS

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Florian Schade, Timo Sandmann, Jürgen Becker, Henrik Theiling
Using Trace Data for Run-Time Optimization of Parallel Execution in Real-Time Multi-Core Systems. RTCSA (2022)
Manohar Vanga, Andrea Bastoni, Henrik Theiling, Björn B. Brandenburg
Supporting low-latency, low-criticality tasks in a certified mixed-criticality OS. RTNS (2017)
Selma Saidi, Rolf Ernst, Sascha Uhrig, Henrik Theiling, Benoît Dupont de Dinechin
The shift to multicores in real-time and safety-critical systems. CODES+ISSS (2015)
Jan Nowotsch, Michael Paulitsch, Daniel Buhler, Henrik Theiling, Simon Wegener, Michael Schmidt
Multi-core Interference-Sensitive WCET Analysis Leveraging Runtime Resource Capacity Enforcement. ECRTS (2014)
Paul Lokuciejewski, Heiko Falk, Peter Marwedel, Henrik Theiling
WCET-driven, code-size critical procedure cloning. SCOPES (2008)
Heiko Falk, Sascha Plazar, Henrik Theiling
Compile-time decided instruction cache locking using worst-case execution paths. CODES+ISSS (2007)
Paul Lokuciejewski, Heiko Falk, Martin Schwarzer, Peter Marwedel, Henrik Theiling
Influence of procedure cloning on WCET prediction. CODES+ISSS (2007)
Heiko Falk, Paul Lokuciejewski, Henrik Theiling
Design of a WCET-Aware C Compiler. WCET (2006)
Heiko Falk, Paul Lokuciejewski, Henrik Theiling
Design of a WCET-Aware C Compiler. ESTIMedia (2006)
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
Validierung des Zeitverhaltens von kritischer Echtzeit-Software. GI Jahrestagung (1) (2003)
Christian Ferdinand, Reinhold Heckmann, Henrik Theiling, Reinhard Wilhelm
Convenient User Annotations for a WCET Tool. WCET (2003)
Henrik Theiling
ILP-Based Interprocedural Path Analysis. EMSOFT (2002)
Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm
Reliable and Precise WCET Determination for a Real-Life Processor. EMSOFT (2001)
Henrik Theiling
Generating Decision Trees for Decoding Binaries. OM@PLDI (2001)
Henrik Theiling
Generating Decision Trees for Decoding Binaries. LCTES/OM (2001)
Henrik Theiling, Christian Ferdinand, Reinhard Wilhelm
Fast and Precise WCET Prediction by Separated Cache and Path Analyses. Real Time Syst. 18 (2/3) (2000)
Henrik Theiling
Extracting safe and precise control flow from binaries. RTCSA (2000)
Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Michael Schmidt, Jörn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm
Run-Time Guarantees for Real-Time Systems - The USES Approach. GI Jahrestagung (1999)
Henrik Theiling, Christian Ferdinand
Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis. RTSS (1998)

Henrik Theiling.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Henrik Theiling