Henrik Theiling
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
1998–2022
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | RTCSA | Using Trace Data for Run-Time Optimization of Parallel Execution in Real-Time Multi-Core Systems. | Florian Schade, Timo Sandmann, Jrgen Becker, Henrik Theiling |
| 2017 | RTNS | Supporting low-latency, low-criticality tasks in a certified mixed-criticality OS. | Manohar Vanga, Andrea Bastoni, Henrik Theiling, Bjrn B. Brandenburg |
| 2014 | ECRTS | Multi-core Interference-Sensitive WCET Analysis Leveraging Runtime Resource Capacity Enforcement. | Jan Nowotsch, Michael Paulitsch, Daniel Buhler, Henrik Theiling, Simon Wegener, Michael Schmidt |
| 2008 | SCOPES | WCET-driven, code-size critical procedure cloning. | Paul Lokuciejewski, Heiko Falk, Peter Marwedel, Henrik Theiling |
| 2003 | GI | Validierung des Zeitverhaltens von kritischer Echtzeit-Software. | Christian Ferdinand, Daniel Kstner, 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 |
| 2002 | EMSOFT | ILP-Based Interprocedural Path Analysis. | Henrik Theiling |
| 2001 | EMSOFT | 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 |
| 2001 | PLDI | Generating Decision Trees for Decoding Binaries. | Henrik Theiling |
| 2000 | RTCSA | Extracting safe and precise control flow from binaries. | Henrik Theiling |
| 1999 | GI | Run-Time Guarantees for Real-Time Systems - The USES Approach. | Christian Ferdinand, Daniel Kstner, Marc Langenbach, Florian Martin, Michael Schmidt, Jrn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm |
| 1998 | RTSS | Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis. | Henrik Theiling, Christian Ferdinand |