Navigation

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.

Publications

Journal Papers

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]

@ARTICLE{Kastner02a,
   author = {Daniel K\"astner and Stephan Wilhelm},
   title = {Generic Control Flow Reconstruction from Assembly Code},
   journal = {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},
   year = {2002},
   volume = {37},
   number = {7},
   month = JUN,
   publisher = {ACM SIGPLAN Notices}
 }

Conference Papers

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]

@INPROCEEDINGS{Wilhelm10,
   author = {Reinhard Wilhelm and Sebastian Altmeyer and Claire Burgui\`ere and Daniel Grund and J\"org Herter and Jan Reineke and Bj\"orn Wachter and Stephan Wilhelm},
   title = {Static Timing Analysis for Hard Real-Time Systems},
   booktitle = {VMCAI},
   year = {2010},
   pages = {3--22},
   publisher = {Springer Verlag},
   doi = {10.1007/978-3-642-11319-2_3}
 }

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]

@INPROCEEDINGS{Wilhelm10a,
   author = {Stephan Wilhelm and Christoph Cullmann},
   title = {Integrating Abstract Caches with Symbolic Pipeline Analysis},
   booktitle = {Proceedings of 10th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
   year = {2010},
   editor = {Bj\"orn Lisper},
   pages = {40--48},
   month = {July},
   publisher = {Austrian Computer Society},
 }

Symbolic State Traversal for WCET Analysis
S. Wilhelm, and B. Wachter
International Conference on Embedded Software, 2009. [bib]

@INPROCEEDINGS{Wilhelm09a,
   author = {Stephan Wilhelm and Bj\"orn Wachter},
   title = {Symbolic State Traversal for {WCET} Analysis},
   booktitle = {International Conference on Embedded Software},
   year = {2009},
   pages = {137--146},
   month = {October},
 }

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]

@INPROCEEDINGS{Wilhelm07a,
   author = {Stephan Wilhelm and Bj\"orn Wachter},
   title = {Towards Symbolic State Traversal for Efficient {WCET} Analysis of Abstract Pipeline and Cache Models},
   booktitle = {Proceedings of Seventh International Workshop on Worst-Case Execution Time Analysis},
   year = {2007},
   month = {July},
   url = {http://www.irit.fr/wcet2007/finalpapers/wilhelm.pdf}
 }

Efficient Analysis of Pipeline Models for WCET Computation
S. Wilhelm
Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time Analysis, 2005. [bib]

@INPROCEEDINGS{Wilhelm05b,
   author = {Stephan Wilhelm},
   title = {Efficient Analysis of Pipeline Models for {WCET} Computation},
   booktitle = {Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time Analysis},
   year = {2005},
 }

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]

@INPROCEEDINGS{Ferdinand03,
   author = {Christian Ferdinand and Daniel K\"astner and Florian Martin and Marc Langenbach and Martin Sicks and Stephan Wilhelm and Reinhold Heckmann and Nicolas Fritz and Stephan Thesing and Frank Fontaine and Henrik Theiling and Michael Schmidt and Alexander A. Evstiougov-Babaev and Reinhard Wilhelm},
   title = {{V}alidierung des {Z}eitverhaltens von kritischer {E}chtzeit-{S}oftware},
   booktitle = {GI Jahrestagung (1)},
   year = {2003},
   pages = {335--339},
   language = {ngerman},
   url = {http://www.bmw-carit.de/gi/papers/Validierung_des_Zeitverhaltens_von_kritischer_Echtzeit-Software.pdf}
 }

PhD Theses

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

@PHDTHESIS{Wilhelm12b,
   author = {Stephan Wilhelm},
   title = {Symbolic Representations in {WCET} Analysis},
   school = {Saarland University},
   year = {2012},
   isbn = {978-3-8442-2463-4},
   publisher = {ePubli GmbH},
   url = {http://www.epubli.de/shop/buch/Symbolic-Representations-in-WCET-Analysis-Stephan-Wilhelm-9783844224634/16575}
 }

MSc Theses

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

@MASTERSTHESIS{Wilhelm01,
   author = {Stephan Wilhelm},
   title = {{G}enerische {R}ekonstruktion von {K}ontrollflussgraphen aus {A}ssemblerprogrammen},
   school = {Universit\"at des Saarlandes},
   year = {2001},
 }

Address

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

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

Compiler Design Lab