Willem Hagemann
Orcid: 0000-0002-8259-6084
According to our database1,
Willem Hagemann
authored at least 18 papers
between 2012 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Syst. Eng., July, 2024
A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts.
ACM Trans. Cyber Phys. Syst., January, 2024
A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations.
ACM Trans. Cyber Phys. Syst., January, 2024
A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction.
ACM Trans. Cyber Phys. Syst., January, 2024
2023
Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles.
Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023
2022
Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022
2021
Proceedings of the Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, 2021
Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021
2019
Proceedings of the 4th Workshop on Formal Reasoning about Causation, 2019
2017
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement.
Sci. Comput. Program., 2017
2016
Proceedings of the ARCH@CPSWeek 2016, 2016
2015
Symbolic orthogonal projections: a new polyhedral representation for reachability analysis of hybrid systems.
PhD thesis, 2015
Efficient Geometric Operations on Convex Polyhedra, with an Application to Reachability Analysis of Hybrid Systems.
Math. Comput. Sci., 2015
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015
Proceedings of the 27th Canadian Conference on Computational Geometry, 2015
2014
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.
Sci. Comput. Program., 2012