 | 2003 |
|---|
| 7 |       | Stephan Thesing,
Jean Souyris,
Reinhold Heckmann,
Famantanantsoa Randimbivololona,
Marc Langenbach,
Reinhard Wilhelm,
Christian Ferdinand:
An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software.
DSN 2003: 625- |
| 6 |  | 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 |
| 5 | | Reinhold Heckmann,
Marc Langenbach,
Stephan Thesing,
Reinhard Wilhelm:
The influence of processor architecture on the design and the results of WCET tools.
Proceedings of the IEEE 91(7): 1038-1054 (2003) |
| 2002 |
|---|
| 4 | | Marc Langenbach,
Stephan Thesing,
Reinhold Heckmann:
Pipeline Modeling for Timing Analysis.
SAS 2002: 294-309 |
| 2001 |
|---|
| 3 | | 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 |
| 1999 |
|---|
| 2 | | Daniel Kästner,
Marc Langenbach:
Code Optimization by Integer Linear Programming.
CC 1999: 122-136 |
| 1 | | 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 |
