Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. - Werner Damm; Henning Dierks; Stefan Disch; Willem Hagemann; Florian Pigorsch; Christoph Scholl 001; Uwe Waldmann; Boris Wirtz (Sci. Comput. Program., 2012)

Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections. - Willem Hagemann (CAV, 2014)

Inscribing H-Polyhedra in Quadrics Using a Projective Generalization of Closed Sets. - Willem Hagemann; Eike Möhlmann (CCCG, 2015)

Hybrid Tools for Hybrid Systems - Proving Stability and Safety at Once. - Eike Möhlmann; Willem Hagemann; Oliver E. Theel (FORMATS, 2015)

Efficient Geometric Operations on Convex Polyhedra, with an Application to Reachability Analysis of Hybrid Systems. - Willem Hagemann (Math. Comput. Sci., 2015)

Symbolic orthogonal projections: a new polyhedral representation for reachability analysis of hybrid systems. - Willem Hagemann (2015)

Verifying a PI Controller using SoapBox and Stabhyli. - Eike Möhlmann; Willem Hagemann; Astrid Rakow (ARCH@CPSWeek, 2016)

Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement. - Ernst Althaus; Björn Beber; Werner Damm; Stefan Disch; Willem Hagemann; Astrid Rakow; Christoph Scholl 001; Uwe Waldmann; Boris Wirtz (Sci. Comput. Program., 2017)

Justification Based Reasoning in Dynamic Conflict Resolution. - Werner Damm; Martin Fränzle; Willem Hagemann; Paul Kröger; Astrid Rakow (CoRR, 2019)

Dynamic Conflict Resolution Using Justification Based Reasoning. - Werner Damm; Martin Fränzle; Willem Hagemann; Paul Kröger; Astrid Rakow (CREST@ETAPS, 2019)

Towards a Formalisation of Justification and Justifiability. - Willem Hagemann (FMAS, 2021)

Verification of Sigmoidal Artificial Neural Networks using iSAT. - Dominik Grundt; Sorin Liviu Jurj; Willem Hagemann; Paul Kröger; Martin Fränzle (SNR, 2021)

Towards Formal Concepts for Explanation Timing and Justifications. - Akhila Bairy; Willem Hagemann; Astrid Rakow; Maike Schwammberger (RE Workshops, 2022)

Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles. - Martin Fränzle; Willem Hagemann; Werner Damm; Astrid Rakow; Mani Swaminathan (Applicable Formal Methods for Safe Industrial Products, 2023)

A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction. - 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; et al. (ACM Trans. Cyber Phys. Syst., 2024)

A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations. - 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; et al. (ACM Trans. Cyber Phys. Syst., 2024)

A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts. - 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; et al. (ACM Trans. Cyber Phys. Syst., 2024)

Challenges for trustworthy autonomous vehicles: Let us learn from life. - Imke Hoppe; Willem Hagemann; Ingo Stierand; Axel Hahn; André Bolles (Syst. Eng., 2024)