Get started
Author

Stephan Wilhelm

Observed name: Wilhelm, Stephan
Institution: AbsInt (Germany)
OpenAlex ID: A5103350345
Static Timing Analysis for Hard Real-Time Systems
2010 · Reinhard Wilhelm, Sebastian Altmeyer, et al. · Lecture notes in computer science · 40
PDF
Generic control flow reconstruction from assembly code
2002 · Daniel Kästner, Stephan Wilhelm · ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) · 38
Astree: Proving the Absence of Runtime Errors
2010 · Daniel Kästner, Stephan Wilhelm, et al. · 28
Taking Static Analysis to the Next Level: Proving the Absence of Run-Time Errors and Data Races with Astrée
2016 · Miné, Antoine, Mauborgne, Laurent, et al. · HAL · 20
Symbolic state traversal for WCET analysis
2009 · Stephan Wilhelm, Björn Wachter · ACM International Conference on Embedded Software (EMSOFT) · 17
PDF
Finding All Potential Run-Time Errors and Data Races in Automotive Software
2017 · Daniel Kaestner, Antoine Miné, et al. · SAE technical papers on CD-ROM/SAE technical paper series · 15
Efficient Analysis of Pipeline Models for WCET Computation
2007 · Wilhelm, Stephan · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 14
PDF
Analyze This! Sound Static Analysis for Integration Verification of Large-Scale Automotive Software
2019 · Daniel Kaestner, Bernard Schmidt, et al. · SAE technical papers on CD-ROM/SAE technical paper series · 8
Symbolic representations in WCET analysis
2011 · Wilhelm, Stephan · Publications of the UdS (Saarland University) · 5
Safety-Critical Software Development in C++
2020 · Daniel Kästner, Christoph Cullmann, et al. · Lecture notes in computer science · 3
Generic control flow reconstruction from assembly code
2002 · Daniel Kästner, Stephan Wilhelm · ACM SIGPLAN Notices · 3
Automatic Sound Static Analysis for Integration Verification of AUTOSAR Software
2023 · Daniel Kaestner, Stephan Wilhelm, et al. · SAE technical papers on CD-ROM/SAE technical paper series · 2
High-Precision Sound Analysis to Find Safety and Cybersecurity Defects
2020 · Kästner, Daniel, Mauborgne, Laurent, et al. · HAL · 2
Astree: Nachweis der Abwesenheit von Laufzeit.
2009 · Daniel L. Kastner, Christian Ferdinand, et al. · Softwaretechnik-Trends · 2
Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models
2007 · Wilhelm, Stephan, Wachter, Björn · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2
PDF
Validierung des Zeitverhaltens von kritischer Echtzeit-Software
2003 · Christian Ferdinand, Daniel L. Kastner, et al. · GI-Jahrestagung · 2
Sound Non-interference Analysis for C/C++
2024 · Daniel Kästner, Laurent Mauborgne, et al. · Lecture notes in computer science · 1
Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation
2021 · Christian Bartsch, Stephan Wilhelm, et al. · IEEE International Test Conference (ITC) · 1
Integrating Abstract Caches with Symbolic Pipeline Analysis
2010 · Wilhelm, Stephan, Cullmann, Christoph · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 1
PDF
Generic control flow reconstruction from assembly code
2002 · Daniel Kästner, Stephan Wilhelm · 1
Efficient Sound Analysis of Recursive Programs
2026 · Laurent Mauborgne, Marco Milanese, et al. · Lecture notes in computer science
Static Data and Control Coupling Analysis
2022 · Kästner, Daniel, Mauborgne, Laurent, et al. · HAL
New Results - Taking Static Analysis to the Next Level: Proving the Absence of Run-Time Errors and Data Races with Astrée
2016 · Antoine Miné, Laurent Mauborgne, et al.
Works count: 25
Citation count: 205
H-index: 8
I10-index: 7
Year
Topic
Type