Stephan Wilhelm

Publication Activity (10 Years)

Years Active: 2000-2022
Publications (10 Years): 4

Top Venues

SAFECOMP Workshops

MBMV

ITC

TMM_CH (1)

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Christian Bartsch, Stephan Wilhelm, Daniel Kästner, Dominik Stoffel, Wolfgang Kunz
Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation. MBMV (2022)
Christian Bartsch, Stephan Wilhelm, Daniel Kästner, Dominik Stoffel, Wolfgang Kunz
Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation. ITC (2021)
Daniel Kästner, Christoph Cullmann, Gernot Gebhard, Sebastian Hahn, Thomas Karos, Laurent Mauborgne, Stephan Wilhelm, Christian Ferdinand
Safety-Critical Software Development in C++. SAFECOMP Workshops (2020)
Constantin Makropoulos, Dimitra Pappa, René Hellmuth, Alexander Karapidis, Stephan Wilhelm, Vassilis Pitsilis, Florian Wehner
DiscoVRCoolTour: Discovering, Capturing and Experiencing Cultural Heritage and Events Using Innovative 3D Digitisation Technologies and Affordable Consumer Electronics. TMM_CH (1) (2018)
Stephan Wilhelm, Christoph Cullmann
Integrating Abstract Caches with Symbolic Pipeline Analysis. WCET (2010)
Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke, Björn Wachter, Stephan Wilhelm
Static Timing Analysis for Hard Real-Time Systems. VMCAI (2010)
Stephan Wilhelm, Björn Wachter
Symbolic state traversal for WCET analysis. EMSOFT (2009)
Daniel Kästner, Christian Ferdinand, Stephan Wilhelm, Stefana Nenova, Olha Honcharova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, Élodie-Jane Sims
Astree: Nachweis der Abwesenheit von Laufzeit. Softwaretechnik-Trends 29 (3) (2009)
Stephan Wilhelm, Björn Wachter
Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models. WCET (2007)
Stephan Wilhelm
Efficient Analysis of Pipeline Models for WCET Computation. WCET (2005)
Christian Ferdinand, Daniel Kästner, 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
Validierung des Zeitverhaltens von kritischer Echtzeit-Software. GI Jahrestagung (1) (2003)
Daniel Kästner, Stephan Wilhelm
Generic control flow reconstruction from assembly code. LCTES-SCOPES (2002)
Erwin Schuster, Stephan Wilhelm
Informationsmanagement in der Produktion - Neue Dienstleistungen durch E-Service. HMD Prax. Wirtsch. 219 (2001)
Erwin Schuster, Stephan Wilhelm
Content Management - Aktuelles Schlagwort. Inform. Spektrum 23 (6) (2000)

Stephan Wilhelm.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stephan Wilhelm