Henrik Theiling

2008
14	EE	Paul Lokuciejewski, Heiko Falk, Peter Marwedel, Henrik Theiling: WCET-driven, code-size critical procedure cloning. SCOPES 2008: 21-30
2007
13	EE	Paul Lokuciejewski, Heiko Falk, Martin Schwarzer, Peter Marwedel, Henrik Theiling: Influence of procedure cloning on WCET prediction. CODES+ISSS 2007: 137-142
12	EE	Heiko Falk, Sascha Plazar, Henrik Theiling: Compile-time decided instruction cache locking using worst-case execution paths. CODES+ISSS 2007: 143-148
2006
11	EE	Heiko Falk, Paul Lokuciejewski, Henrik Theiling: Design of a WCET-Aware C Compiler. ESTImedia 2006: 121-126
10	EE	Heiko 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
7	EE	Henrik Theiling: ILP-Based Interprocedural Path Analysis. EMSOFT 2002: 349-363
2001
6	EE	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
5		Henrik Theiling: Generating Decision Trees for Decoding Binaries. LCTES/OM 2001: 112-120
2000
4	EE	Henrik 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
1	EE	Henrik 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

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

Colors in the list of coauthors