Michael Schmidt

According to our database, Michael Schmidt authored at least 5 papers between 1999 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Embedded Program Annotations for WCET Analysis.

Bernhard Schommer, Christoph Cullmann, Gernot Gebhard, Xavier Leroy, Michael Schmidt, Simon Wegener

Proceedings of the 18th International Workshop on Worst-Case Execution Time Analysis, 2018

2014

Multi-core Interference-Sensitive WCET Analysis Leveraging Runtime Resource Capacity Enforcement.

Jan Nowotsch, Michael Paulitsch, Daniel Buhler, Henrik Theiling, Simon Wegener, Michael Schmidt

Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

2003

Validierung des Zeitverhaltens von kritischer Echtzeit-Software.

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

Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003

2001

Reliable and Precise WCET Determination for a Real-Life Processor.

Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm

Proceedings of the Embedded Software, First International Workshop, 2001

1999

Run-Time Guarantees for Real-Time Systems - The USES Approach.

Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Michael Schmidt, Jörn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm

Proceedings of the Informatik '99, 1999