|
Search the dblp DataBase
Stephan Thesing:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Abdur Rakib, Oleg Parshin, Stephan Thesing, Reinhard Wilhelm
Component-Wise Instruction-Cache Behavior Prediction. [Citation Graph (0, 0)][DBLP] ATVA, 2004, pp:211-229 [Conf]
- Jochen Eisinger, Ilia Polian, Bernd Becker, Alexander Metzner, Stephan Thesing, Reinhard Wilhelm
Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis. [Citation Graph (0, 0)][DBLP] DDECS, 2006, pp:15-20 [Conf]
- Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand
An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. [Citation Graph (0, 0)][DBLP] DSN, 2003, pp:625-0 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] EMSOFT, 2001, pp:469-485 [Conf]
- Stephan Thesing
Modeling a system controller for timing analysis. [Citation Graph (0, 0)][DBLP] EMSOFT, 2006, pp:292-300 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] GI Jahrestagung (1), 2003, pp:335-339 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] GI Jahrestagung, 1999, pp:410-419 [Conf]
- Daniel Kästner, Stephan Thesing
Cache-Sensitive Pre-runtime Scheduling. [Citation Graph (0, 0)][DBLP] LCTES, 1998, pp:131-145 [Conf]
- Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing
A New Strategy for Semantic Matching [Citation Graph (0, 0)][DBLP] PLILP, 1995, pp:81-96 [Conf]
- Marc Langenbach, Stephan Thesing, Reinhold Heckmann
Pipeline Modeling for Timing Analysis. [Citation Graph (0, 0)][DBLP] SAS, 2002, pp:294-309 [Conf]
- Reinhard Wilhelm, Jakob Engblom, Stephan Thesing, David B. Whalley
Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire. [Citation Graph (0, 0)][DBLP] WCET, 2003, pp:39-43 [Conf]
- Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing
Semantic Matching for Left-Linear Convergent Rewrite Systems [Citation Graph (0, 0)][DBLP] Journal of Functional and Logic Programming, 1999, v:1999, n:11, pp:- [Journal]
- Reinhold Heckmann, Marc Langenbach, Stephan Thesing, Reinhard Wilhelm
The influence of processor architecture on the design and the results of WCET tools. [Citation Graph (0, 0)][DBLP] Proceedings of the IEEE, 2003, v:91, n:7, pp:1038-1054 [Journal]
- Daniel Kästner, Stephan Thesing
Cache Aware Pre-Runtime Scheduling. [Citation Graph (0, 0)][DBLP] Real-Time Systems, 1999, v:17, n:2-3, pp:235-256 [Journal]
- Christian Ferdinand, Florian Martin, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann
New Developments in WCET Analysis. [Citation Graph (0, 0)][DBLP] Program Analysis and Compilation, 2006, pp:12-52 [Conf]
A Definition and Classification of Timing Anomalies. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|