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 |