Henrik Theiling

Paul Lokuciejewski, Heiko Falk, Peter Marwedel, Henrik Theiling: WCET-driven, code-size critical procedure cloning. SCOPES 2008: 21-30

Paul Lokuciejewski, Heiko Falk, Martin Schwarzer, Peter Marwedel, Henrik Theiling: Influence of procedure cloning on WCET prediction. CODES+ISSS 2007: 137-142

Heiko Falk, Sascha Plazar, Henrik Theiling: Compile-time decided instruction cache locking using worst-case execution paths. CODES+ISSS 2007: 143-148

Heiko Falk, Paul Lokuciejewski, Henrik Theiling: Design of a WCET-Aware C Compiler. ESTImedia 2006: 121-126

Heiko Falk, Paul Lokuciejewski, Henrik Theiling: Design of a WCET-Aware C Compiler. WCET 2006

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

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: 335-339

Christian Ferdinand, Reinhold Heckmann, Henrik Theiling, Reinhard Wilhelm: Convenient User Annotations for a WCET Tool. WCET 2003: 17-20

Henrik Theiling: ILP-Based Interprocedural Path Analysis. EMSOFT 2002: 349-363

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: 469-485

Henrik Theiling: Generating Decision Trees for Decoding Binaries. LCTES/OM 2001: 112-120

Henrik Theiling, Christian Ferdinand, Reinhard Wilhelm: Fast and Precise WCET Prediction by Separated Cache and Path Analyses. Real-Time Systems 18(2/3): 157-179 (2000)

Henrik Theiling: Extracting safe and precise control flow from binaries. RTCSA 2000: 23-30

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: 410-419

Henrik Theiling, Christian Ferdinand: Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis. RTSS 1998: 144-153