Stephan Wilhelm

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