Willem Hagemann

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 12

Top Venues

ACM Trans. Cyber Phys. Syst.

Math. Comput. Sci.

SNR

CoRR

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

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
A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts. ACM Trans. Cyber Phys. Syst. 8 (1) (2024)
Imke Hoppe, Willem Hagemann, Ingo Stierand, Axel Hahn, André Bolles
Challenges for trustworthy autonomous vehicles: Let us learn from life. Syst. Eng. 27 (4) (2024)
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
A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction. ACM Trans. Cyber Phys. Syst. 8 (1) (2024)
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
A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations. ACM Trans. Cyber Phys. Syst. 8 (1) (2024)
Martin Fränzle, Willem Hagemann, Werner Damm, Astrid Rakow, Mani Swaminathan
Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles. Applicable Formal Methods for Safe Industrial Products (2023)
Akhila Bairy, Willem Hagemann, Astrid Rakow, Maike Schwammberger
Towards Formal Concepts for Explanation Timing and Justifications. RE Workshops (2022)
Willem Hagemann
Towards a Formalisation of Justification and Justifiability. FMAS (2021)
Dominik Grundt, Sorin Liviu Jurj, Willem Hagemann, Paul Kröger, Martin Fränzle
Verification of Sigmoidal Artificial Neural Networks using iSAT. SNR (2021)
Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow
Dynamic Conflict Resolution Using Justification Based Reasoning. CREST@ETAPS (2019)
Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow
Justification Based Reasoning in Dynamic Conflict Resolution. CoRR (2019)
Ernst Althaus, Björn Beber, Werner Damm, Stefan Disch, Willem Hagemann, Astrid Rakow, Christoph Scholl, Uwe Waldmann, Boris Wirtz
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement. Sci. Comput. Program. 148 (2017)
Eike Möhlmann, Willem Hagemann, Astrid Rakow
Verifying a PI Controller using SoapBox and Stabhyli. ARCH@CPSWeek (2016)
Willem Hagemann
Efficient Geometric Operations on Convex Polyhedra, with an Application to Reachability Analysis of Hybrid Systems. Math. Comput. Sci. 9 (3) (2015)
Eike Möhlmann, Willem Hagemann, Oliver E. Theel
Hybrid Tools for Hybrid Systems - Proving Stability and Safety at Once. FORMATS (2015)
Willem Hagemann, Eike Möhlmann
Inscribing H-Polyhedra in Quadrics Using a Projective Generalization of Closed Sets. CCCG (2015)
Willem Hagemann
Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections. CAV (2014)
Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. Sci. Comput. Program. 77 (10-11) (2012)

Willem Hagemann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Willem Hagemann