Code Optimization by Integer Linear Programming. - Daniel Kästner; Marc Langenbach (CC, 1999)

Run-Time Guarantees for Real-Time Systems - The USES Approach. - Christian Ferdinand; Daniel Kästner; Marc Langenbach; Florian Martin 001; Michael Schmidt 007; Jörn Schneider; Henrik Theiling; Stephan Thesing; Reinhard Wilhelm (GI Jahrestagung, 1999)

Reliable and Precise WCET Determination for a Real-Life Processor. - Christian Ferdinand; Reinhold Heckmann; Marc Langenbach; Florian Martin 001; Michael Schmidt 007; Henrik Theiling; Stephan Thesing; Reinhard Wilhelm (EMSOFT, 2001)

Pipeline Modeling for Timing Analysis. - Marc Langenbach; Stephan Thesing; Reinhold Heckmann (SAS, 2002)

An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. - Stephan Thesing; Jean Souyris; Reinhold Heckmann; Famantanantsoa Randimbivololona; Marc Langenbach; Reinhard Wilhelm; Christian Ferdinand (DSN, 2003)

Validierung des Zeitverhaltens von kritischer Echtzeit-Software. - Christian Ferdinand; Daniel Kästner; Florian Martin 001; Marc Langenbach; Martin Sicks; Stephan Wilhelm; Reinhold Heckmann; Nicolas Fritz; Stephan Thesing; Frank Fontaine; Henrik Theiling; Michael Schmidt 007; et al. (GI Jahrestagung (1), 2003)

The influence of processor architecture on the design and the results of WCET tools. - Reinhold Heckmann; Marc Langenbach; Stephan Thesing; Reinhard Wilhelm (Proc. IEEE, 2003)