Stephan Thesing

According to our database, Stephan Thesing authored at least 18 papers between 1995 and 2008.

Collaborative distances:

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

2008

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, Isabelle Puaut, Peter P. Puschner, Jan Staschulat, Per Stenström

ACM Trans. Embed. Comput. Syst., 2008

2006

A Definition and Classification of Timing Anomalies.

Jan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker

Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

Modeling a system controller for timing analysis.

Stephan Thesing

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis.

Jochen Eisinger, Ilia Polian, Bernd Becker, Alexander Metzner, Stephan Thesing, Reinhard Wilhelm

Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2006), 2006

New Developments in WCET Analysis.

Christian Ferdinand, Florian Martin, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann

Proceedings of the Program Analysis and Compilation, 2006

2004

Safe and precise WCET determination by abstract interpretation of pipeline models.

Stephan Thesing

PhD thesis, 2004

Component-Wise Instruction-Cache Behavior Prediction.

Abdur Rakib, Oleg Parshin, Stephan Thesing, Reinhard Wilhelm

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

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

Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire.

Reinhard Wilhelm, Jakob Engblom, Stephan Thesing, David B. Whalley

Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, 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

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

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002

Pipeline Modeling for Timing Analysis.

Marc Langenbach, Stephan Thesing, Reinhold Heckmann

Proceedings of the Static Analysis, 9th International Symposium, 2002

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

Cache Aware Pre-Runtime Scheduling.

Daniel Kästner, Stephan Thesing

Real Time Syst., 1999

Semantic Matching for Left-Linear Convergent Rewrite Systems

Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing

J. Funct. Log. Program., 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

1998

Cache-Sensitive Pre-runtime Scheduling.

Daniel Kästner, Stephan Thesing

Proceedings of the Languages, 1998

1995

A New Strategy for Semantic Matching

Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing

Proceedings of the Programming Languages: Implementations, 1995