Stephan Wilhelm


About Me

I am currently employed as a software engineer at AbsInt GmbH in Saarbrücken (Germany) working in the fields of worst-case-execution time analysis tools and compiler design. Besides I am also a PhD student at the Chair for Programming Languages and Compiler Construction at Saarland University.

Research Interests

  • Embedded systems.
  • Worst-case execution time analysis.
  • Abstract Interpretation.
  • Symbolic verification methods.


Journal Papers

  1. Generic Control Flow Reconstruction from Assembly Code
    D. Kästner, and S. Wilhelm
    Proceedings of the ACM SIGPLAN Joined Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'02) and Software and Compilers for Embedded Systems (SCOPES'02), in SIGPLAN Notices, 37 (7), 2002. [bib]

Conference Papers

  1. Static Timing Analysis for Hard Real-Time Systems
    R. Wilhelm, S. Altmeyer, C. Burguière, D. Grund, J. Herter, J. Reineke, B. Wachter, and S. Wilhelm
    VMCAI, 2010. [doi]  [bib]
  2. Integrating Abstract Caches with Symbolic Pipeline Analysis
    S. Wilhelm, and C. Cullmann
    Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2010. [bib]
  3. Symbolic State Traversal for WCET Analysis
    S. Wilhelm, and B. Wachter
    International Conference on Embedded Software, 2009. [bib]
  4. Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models
    S. Wilhelm, and B. Wachter
    Proceedings of Seventh International Workshop on Worst-Case Execution Time Analysis, 2007. [pdf]  [bib]
  5. Efficient Analysis of Pipeline Models for WCET Computation
    S. Wilhelm
    Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time Analysis, 2005. [bib]
  6. Validierung des Zeitverhaltens von kritischer Echtzeit-Software
    C. Ferdinand, D. Kästner, F. Martin, M. Langenbach, M. Sicks, S. Wilhelm, R. Heckmann, N. Fritz, S. Thesing, F. Fontaine, H. Theiling, M. Schmidt, A. A. Evstiougov-Babaev, and R. Wilhelm
    GI Jahrestagung (1), 2003. [pdf]  [bib]

PhD Theses

  1. Symbolic Representations in WCET Analysis
    S. Wilhelm
    Saarland University, 2012. [url]  [bib]

MSc Theses

  1. Generische Rekonstruktion von Kontrollflussgraphen aus Assemblerprogrammen
    S. Wilhelm
    Universität des Saarlandes, 2001. [bib]


Stephan Wilhelm
AbsInt Angewandte Informatik GmbH
Science Park 1
66123 Saarbrücken

Phone: +49 (0)681 - 383 - 6029
Fax: +49 (0)681 - 383 - 6020
email: step (at) absint (dot) com