Willem Hagemann

19 papers A* 1Journal 8Unranked 9
YearRankTypeTitle / Venue / Authors
2026 — conf
On Using Ontologies in the Engineering of Intelligent Cyber-Physical Systems.
Engineering Safe and Trustworthy Cyber Physical Systems
Ingo Stierand, Lukas Westhofen, Willem Hagemann
2024 J jnl
A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts.
ACM Trans. Cyber Phys. Syst.
Werner Damm, David Hess, Mark Schweda, Janos Sztipanovits, Klaus Bengler, Bianca Biebl, Martin Fränzle, Willem Hagemann, Moritz Held, Klas Ihme, Severin Kacianka, Alyssa J. Kerscher, Sebastian Lehnhoff, Andreas Lüdtke, Alexander Pretschner, Astrid Rakow, Jochem W. Rieger, Daniel Sonntag, Maike Schwammberger, Benedikt Austel, Anirudh Unni, Eric M. S. P. Veith
2024 J jnl
A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations.
ACM Trans. Cyber Phys. Syst.
Werner Damm, Martin Fränzle, Alyssa J. Kerscher, Forrest Laine, Klaus Bengler, Bianca Biebl, Willem Hagemann, Moritz Held, David Hess, Klas Ihme, Severin Kacianka, Sebastian Lehnhoff, Andreas Lüdtke, Alexander Pretschner, Astrid Rakow, Jochem W. Rieger, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Alexander Trende, Anirudh Unni, Eric M. S. P. Veith
2024 J jnl
A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction.
ACM Trans. Cyber Phys. Syst.
Klaus Bengler, Werner Damm, Andreas Lüdtke, Jochem W. Rieger, Benedikt Austel, Bianca Biebl, Martin Fränzle, Willem Hagemann, Moritz Held, David Hess, Klas Ihme, Severin Kacianka, Alyssa J. Kerscher, Forrest Laine, Sebastian Lehnhoff, Alexander Pretschner, Astrid Rakow, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Anirudh Unni, Eric M. S. P. Veith
2024 J jnl
Challenges for trustworthy autonomous vehicles: Let us learn from life.
Syst. Eng.
Imke Hoppe, Willem Hagemann, Ingo Stierand, Axel Hahn, André Bolles
2023 — conf
Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles.
Applicable Formal Methods for Safe Industrial Products
Martin Fränzle, Willem Hagemann, Werner Damm, Astrid Rakow, Mani Swaminathan
2022 — conf
Towards Formal Concepts for Explanation Timing and Justifications.
RE Workshops
Akhila Bairy, Willem Hagemann, Astrid Rakow, Maike Schwammberger
2021 — conf
Towards a Formalisation of Justification and Justifiability.
FMAS
Willem Hagemann
2021 — conf
Verification of Sigmoidal Artificial Neural Networks using iSAT.
SNR
Dominik Grundt, Sorin Liviu Jurj, Willem Hagemann, Paul Kröger, Martin Fränzle
2019 — conf
Dynamic Conflict Resolution Using Justification Based Reasoning.
CREST
Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow
2019 J jnl
Justification Based Reasoning in Dynamic Conflict Resolution.
CoRR
Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow
2017 J jnl
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement.
Sci. Comput. Program.
Ernst Althaus, Björn Beber, Werner Damm, Stefan Disch, Willem Hagemann, Astrid Rakow, Christoph Scholl, Uwe Waldmann, Boris Wirtz
2016 — conf
Verifying a PI Controller using SoapBox and Stabhyli.
ARCH@CPSWeek
Eike Möhlmann, Willem Hagemann, Astrid Rakow
2015 J jnl
Efficient Geometric Operations on Convex Polyhedra, with an Application to Reachability Analysis of Hybrid Systems.
Math. Comput. Sci.
Willem Hagemann
2015 — conf
Hybrid Tools for Hybrid Systems - Proving Stability and Safety at Once.
FORMATS
Eike Möhlmann, Willem Hagemann, Oliver E. Theel
2015 — conf
Inscribing H-Polyhedra in Quadrics Using a Projective Generalization of Closed Sets.
CCCG
Willem Hagemann, Eike Möhlmann
2015 — —
Symbolic orthogonal projections: a new polyhedral representation for reachability analysis of hybrid systems.
Willem Hagemann
2014 A* conf
Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections.
CAV
Willem Hagemann
2012 J jnl
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces.
Sci. Comput. Program.
Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz