Michael Schmidt

Publication Activity (10 Years)

Years Active: 1999-2018
Publications (10 Years): 1

Top Topics

Multiresolution

Static Analysis

Top Venues

Publications

Bernhard Schommer, Christoph Cullmann, Gernot Gebhard, Xavier Leroy, Michael Schmidt, Simon Wegener
Embedded Program Annotations for WCET Analysis. WCET (2018)
Jan Nowotsch, Michael Paulitsch, Daniel Buhler, Henrik Theiling, Simon Wegener, Michael Schmidt
Multi-core Interference-Sensitive WCET Analysis Leveraging Runtime Resource Capacity Enforcement. ECRTS (2014)
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)
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)
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)