The SCEAS System
Navigation Menu

Search the dblp DataBase


Henrik Theiling: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Henrik Theiling
    ILP-Based Interprocedural Path Analysis. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:349-363 [Conf]
  3. 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]
  4. 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]
  5. Henrik Theiling
    Generating Decision Trees for Decoding Binaries. [Citation Graph (0, 0)][DBLP]
    LCTES/OM, 2001, pp:112-120 [Conf]
  6. Henrik Theiling
    Extracting safe and precise control flow from binaries. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2000, pp:23-30 [Conf]
  7. Henrik Theiling, Christian Ferdinand
    Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1998, pp:144-153 [Conf]
  8. Christian Ferdinand, Reinhold Heckmann, Henrik Theiling, Reinhard Wilhelm
    Convenient User Annotations for a WCET Tool. [Citation Graph (0, 0)][DBLP]
    WCET, 2003, pp:17-20 [Conf]
  9. Henrik Theiling, Christian Ferdinand, Reinhard Wilhelm
    Fast and Precise WCET Prediction by Separated Cache and Path Analyses. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2000, v:18, n:2/3, pp:157-179 [Journal]

  10. Compile-time decided instruction cache locking using worst-case execution paths. [Citation Graph (, )][DBLP]

  11. Influence of procedure cloning on WCET prediction. [Citation Graph (, )][DBLP]

  12. Design of a WCET-Aware C Compiler. [Citation Graph (, )][DBLP]

  13. WCET-driven, code-size critical procedure cloning. [Citation Graph (, )][DBLP]

  14. Design of a WCET-Aware C Compiler. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
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