The SCEAS System
Navigation Menu

Search the dblp DataBase


Stephan Thesing: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. Stephan Thesing
    Modeling a system controller for timing analysis. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:292-300 [Conf]
  6. 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]
  7. 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]
  8. Daniel Kästner, Stephan Thesing
    Cache-Sensitive Pre-runtime Scheduling. [Citation Graph (0, 0)][DBLP]
    LCTES, 1998, pp:131-145 [Conf]
  9. 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]
  10. Marc Langenbach, Stephan Thesing, Reinhold Heckmann
    Pipeline Modeling for Timing Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2002, pp:294-309 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]

  16. A Definition and Classification of Timing Anomalies. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002