Willem Hagemann

According to our database, Willem Hagemann authored at least 17 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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, 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

ACM Trans. Cyber Phys. Syst., January, 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, 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

ACM Trans. Cyber Phys. Syst., January, 2024

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, 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

ACM Trans. Cyber Phys. Syst., January, 2024

2023

Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles.

Martin Fränzle, Willem Hagemann, Werner Damm, Astrid Rakow, Mani Swaminathan

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2022

Towards Formal Concepts for Explanation Timing and Justifications.

Akhila Bairy, Willem Hagemann, Astrid Rakow, Maike Schwammberger

Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022

2021

Verification of Sigmoidal Artificial Neural Networks using iSAT.

Dominik Grundt, Sorin Liviu Jurj, Willem Hagemann, Paul Kröger, Martin Fränzle

Proceedings of the Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, 2021

Towards a Formalisation of Justification and Justifiability.

Willem Hagemann

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

2019

Dynamic Conflict Resolution Using Justification Based Reasoning.

Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow

Proceedings of the 4th Workshop on Formal Reasoning about Causation, 2019

Justification Based Reasoning in Dynamic Conflict Resolution.

Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow

CoRR, 2019

2017

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, Uwe Waldmann, Boris Wirtz

Sci. Comput. Program., 2017

2016

Verifying a PI Controller using SoapBox and Stabhyli.

Eike Möhlmann, Willem Hagemann, Astrid Rakow

Proceedings of the ARCH@CPSWeek 2016, 2016

2015

Symbolic orthogonal projections: a new polyhedral representation for reachability analysis of hybrid systems.

Willem Hagemann

PhD thesis, 2015

Efficient Geometric Operations on Convex Polyhedra, with an Application to Reachability Analysis of Hybrid Systems.

Willem Hagemann

Math. Comput. Sci., 2015

Hybrid Tools for Hybrid Systems - Proving Stability and Safety at Once.

Eike Möhlmann, Willem Hagemann, Oliver E. Theel

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

Inscribing H-Polyhedra in Quadrics Using a Projective Generalization of Closed Sets.

Willem Hagemann, Eike Möhlmann

Proceedings of the 27th Canadian Conference on Computational Geometry, 2015

2014

Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections.

Willem Hagemann

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2012

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, Uwe Waldmann, Boris Wirtz

Sci. Comput. Program., 2012