Stephan Wilhelm
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2003–2024
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SAFECOMP | Sound Non-interference Analysis for C/C++. | Daniel Kstner, Laurent Mauborgne, Sebastian Hahn, Stephan Wilhelm, Jrg Herter, Christoph Cullmann, Christian Ferdinand |
| 2021 | ITC | Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation. | Christian Bartsch, Stephan Wilhelm, Daniel Kstner, Dominik Stoffel, Wolfgang Kunz |
| 2020 | SAFECOMP | Safety-Critical Software Development in C++. | Daniel Kstner, Christoph Cullmann, Gernot Gebhard, Sebastian Hahn, Thomas Karos, Laurent Mauborgne, Stephan Wilhelm, Christian Ferdinand |
| 2010 | VMCAI | Static Timing Analysis for Hard Real-Time Systems. | Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguire, Daniel Grund, Jrg Herter, Jan Reineke, Bjrn Wachter, Stephan Wilhelm |
| 2009 | EMSOFT | Symbolic state traversal for WCET analysis. | Stephan Wilhelm, Bjrn Wachter |
| 2003 | GI | Validierung des Zeitverhaltens von kritischer Echtzeit-Software. | Christian Ferdinand, Daniel Kstner, 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 |