A New Strategy for Semantic Matching - Bernd Bütow; Robert Giegerich; Enno Ohlebusch; Stephan Thesing (PLILP, 1995)

Cache-Sensitive Pre-runtime Scheduling. - Daniel Kästner; Stephan Thesing (LCTES, 1998)

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)

Semantic Matching for Left-Linear Convergent Rewrite Systems - Bernd Bütow; Robert Giegerich; Enno Ohlebusch; Stephan Thesing (J. Funct. Log. Program., 1999)

Cache Aware Pre-Runtime Scheduling. - Daniel Kästner; Stephan Thesing (Real Time Syst., 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)

Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire. - Reinhard Wilhelm; Jakob Engblom; Stephan Thesing; David B. Whalley (WCET, 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)

Component-Wise Instruction-Cache Behavior Prediction. - Abdur Rakib; Oleg Parshin; Stephan Thesing; Reinhard Wilhelm (ATVA, 2004)

Safe and precise WCET determination by abstract interpretation of pipeline models. - Stephan Thesing (Pirrot, 2004)

New Developments in WCET Analysis. - Christian Ferdinand; Florian Martin 001; Christoph Cullmann; Marc Schlickling; Ingmar Stein; Stephan Thesing; Reinhold Heckmann (Program Analysis and Compilation, 2006)

Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis. - Jochen Eisinger; Ilia Polian; Bernd Becker 001; Alexander Metzner; Stephan Thesing; Reinhard Wilhelm (DDECS, 2006)

Modeling a system controller for timing analysis. - Stephan Thesing (EMSOFT, 2006)

A Definition and Classification of Timing Anomalies. - Jan Reineke 001; Björn Wachter; Stephan Thesing; Reinhard Wilhelm; Ilia Polian; Jochen Eisinger; Bernd Becker 001 (WCET, 2006)

The worst-case execution-time problem - overview of methods and survey of tools. - Reinhard Wilhelm; Jakob Engblom; Andreas Ermedahl; Niklas Holsti; Stephan Thesing; David B. Whalley; Guillem Bernat; Christian Ferdinand; Reinhold Heckmann; Tulika Mitra; Frank Mueller 001; Isabelle Puaut; et al. (ACM Trans. Embed. Comput. Syst., 2008)