Dr. Stephan Wilhelm

Stephan Wilhelm

Contact

step@absint.com

Research interests

  • Functional safety
  • Sound static analysis
  • Runtime error analysis
  • Abstract interpretation

Selected publications

  • Automatic Sound Static Analysis for Integration Verification of AUTOSAR Software. D. Kästner, C. Mallon, L. Mauborgne, S. Schank, S. Wilhelm, C. Ferdinand. SAE Technical Paper 2023-01-0591, SAE World Congress 2023, Detroit, April 2023.
  • Static Data and Control Coupling Analysis. D. Kästner, L. Mauborgne, S. Wilhelm, C. Mallon, C. Ferdinand. In ERTS 2022: Embedded Real Time Software and Systems, 11th European Congress, June 2022, Toulouse, France.
  • Compositional Fault Propagation Analysis in Embedded Systems Using Abstract Interpretation. C. Bartsch, S. Wilhelm, D. Kästner, D. Stoffel and W. Kunz. IEEE International Test Conference (ITC), October 2021.
  • High-Precision Sound Analysis to Find Safety and Cybersecurity Defects (Best Paper Award). D. Kästner, L. Mauborgne, S. Wilhelm, C. Ferdinand. In ERTS 2020: Embedded Real Time Software and Systems, 10th European Congress, January 2020, Toulouse, France.
  • Finding All Potential Runtime Errors and Data Races in Automotive Software. D. Kästner, A. Miné, L. Mauborgne, X. Rival, J. Feret, P. Cousot, A. Schmidt, H. Hille, S. Wilhelm, C. Ferdinand. SAE Technical Paper 2017-01-0054, SAE World Congress 2017, Detroit, April 2017.
  • Taking Static Analysis to the Next Level: Proving the Absence of Run-Time Errors and Data Races with Astrée. A. Miné, L. Mauborgne, X. Rival, J. Feret, P. Cousot, D. Kästner, S. Wilhelm, C. Ferdinand. In ERTS 2016: Embedded Real Time Software and Systems, 8th European Congress, January 2016, Toulouse, France.
  • Finding all Runtime Errors in C-Code. D. Kästner, S. Wilhelm, S. Nenova, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, X. Rival. Embedded World Congress 2011, Nuremberg, 2011.
  • Astrée: Proving the Absence of Runtime Errors. D. Kästner, S. Wilhelm, S. Nenova, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, X. Rival. Embedded Real Time Software and Systems Congress ERTS², Toulouse, 2010.
  • Symbolic state traversal for WCET analysis. Stephan Wilhelm and Björn Wachter. Proceedings of ESWeek’09, the 5th Embedded Systems Week, pp. 137–146, Grenoble, 12–16 October 2009.
  • Astrée: Nachweis der Abwesenheit von Laufzeitfehlern. D. Kästner, C. Ferdinand, S. Wilhelm, S. Nenova, O. Honcharova, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, X. Rival, E.-J. Sims. Proceedings of the GI workshop “Entwicklung zuverlässiger Software-Systeme”, Vol. 29 of Softwaretechnik-Trends, Regensburg, August 2009.
  • Validierung des Zeitverhaltens von kritischer Echtzeit-Software. C. Ferdinand, D. Kästner, F. Martin, M. Langenbach, M. Sicks, S. Wilhelm, N. Fritz, S. Thesing, F. Fontaine, H. Theiling, R. Wilhelm. 33. Jahrestagung der GI, Frankfurt/M. Informatik 2003 – Innovative Informatikanwendungen, Band 1 (ISBN 3-88579-363-6), Lecture Notes in Informatics, 2003.
  • Generic Control Flow Reconstruction from Assembly Code. Daniel Kästner, Stephan Wilhelm. Proceedings of the ACM SIGPLAN Joint Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES’02) and Software and Compilers for Embedded Systems (SCOPES’02), Berlin, 2002.