dblp.uni-trier.dewww.uni-trier.de

Henrik Theiling

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
14EEPaul Lokuciejewski, Heiko Falk, Peter Marwedel, Henrik Theiling: WCET-driven, code-size critical procedure cloning. SCOPES 2008: 21-30
2007
13EEPaul Lokuciejewski, Heiko Falk, Martin Schwarzer, Peter Marwedel, Henrik Theiling: Influence of procedure cloning on WCET prediction. CODES+ISSS 2007: 137-142
12EEHeiko Falk, Sascha Plazar, Henrik Theiling: Compile-time decided instruction cache locking using worst-case execution paths. CODES+ISSS 2007: 143-148
2006
11EEHeiko Falk, Paul Lokuciejewski, Henrik Theiling: Design of a WCET-Aware C Compiler. ESTImedia 2006: 121-126
10EEHeiko Falk, Paul Lokuciejewski, Henrik Theiling: Design of a WCET-Aware C Compiler. WCET 2006
2003
9 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
8 Christian Ferdinand, Reinhold Heckmann, Henrik Theiling, Reinhard Wilhelm: Convenient User Annotations for a WCET Tool. WCET 2003: 17-20
2002
7EEHenrik Theiling: ILP-Based Interprocedural Path Analysis. EMSOFT 2002: 349-363
2001
6EEChristian 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
5 Henrik Theiling: Generating Decision Trees for Decoding Binaries. LCTES/OM 2001: 112-120
2000
4EEHenrik Theiling: Extracting safe and precise control flow from binaries. RTCSA 2000: 23-30
3 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)
1999
2 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
1998
1EEHenrik Theiling, Christian Ferdinand: Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis. IEEE Real-Time Systems Symposium 1998: 144-153

Coauthor Index

1Alexander A. Evstiougov-Babaev [9]
2Heiko Falk [10] [11] [12] [13] [14]
3Christian Ferdinand [1] [2] [3] [6] [8] [9]
4Frank Fontaine [9]
5Nicolas Fritz [9]
6Reinhold Heckmann [6] [8] [9]
7Daniel Kästner [2] [9]
8Marc Langenbach [2] [6] [9]
9Paul Lokuciejewski [10] [11] [13] [14]
10Florian Martin [2] [6] [9]
11Peter Marwedel [13] [14]
12Sascha Plazar [12]
13Michael Schmidt [2] [6] [9]
14Jörn Schneider [2]
15Martin Schwarzer [13]
16Martin Sicks [9]
17Stephan Thesing [2] [6] [9]
18Reinhard Wilhelm [2] [3] [6] [8] [9]
19Stephan Wilhelm [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)