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)

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)

Multi-core Interference-Sensitive WCET Analysis Leveraging Runtime Resource Capacity Enforcement. - Jan Nowotsch; Michael Paulitsch; Daniel Buhler; Henrik Theiling; Simon Wegener; Michael Schmidt 007 (ECRTS, 2014)

Embedded Program Annotations for WCET Analysis. - Bernhard Schommer; Christoph Cullmann; Gernot Gebhard; Xavier Leroy; Michael Schmidt 007; Simon Wegener (WCET, 2018)