Stephan Thesing
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
1999–2006
Best venue rank
Journal Published
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | DDECS | 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 |
| 2006 | EMSOFT | Modeling a system controller for timing analysis. | Stephan Thesing |
| 2004 | ATVA | Component-Wise Instruction-Cache Behavior Prediction. | Abdur Rakib, Oleg Parshin, Stephan Thesing, Reinhard Wilhelm |
| 2003 | DSN | 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 |
| 2003 | GI | Validierung des Zeitverhaltens von kritischer Echtzeit-Software. | Christian Ferdinand, Daniel Kstner, 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 |
| 2002 | SAS | Pipeline Modeling for Timing Analysis. | Marc Langenbach, Stephan Thesing, Reinhold Heckmann |
| 2001 | EMSOFT | 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 |
| 1999 | GI | Run-Time Guarantees for Real-Time Systems - The USES Approach. | Christian Ferdinand, Daniel Kstner, Marc Langenbach, Florian Martin, Michael Schmidt, Jrn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm |