Get started
Author

Willem Hagemann

Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
2011 · Werner Damm, Henning Dierks, et al. · Science of Computer Programming · 23
PDF
Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections
2014 · Willem Hagemann · Lecture notes in computer science · 18
PDF
Efficient Geometric Operations on Convex Polyhedra, with an Application to Reachability Analysis of Hybrid Systems
2015 · Willem Hagemann · Mathematics in Computer Science · 14
A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction
2023 · Klaus Bengler, Werner Damm, et al. · ACM Transactions on Cyber-Physical Systems · 11
PDF
Modeling and optimization of borehole thermal energy storage systems using physics-based neural networks
2025 · Willem Hagemann, Jaßper Weichmann, et al. · Renewable Energy · 10
A Reference Architecture of Human Cyber-Physical Systems – Part I: Fundamental Concepts
2023 · Werner Damm, David Hess, et al. · ACM Transactions on Cyber-Physical Systems · 9
PDF
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement
2017 · Ernst Althaus, Björn Beber, et al. · Science of Computer Programming · 6
Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once
2015 · Eike Möhlmann, Willem Hagemann, et al. · Lecture notes in computer science · 6
Challenges for trustworthy autonomous vehicles: Let us learn from life
2024 · Imke Hoppe, Willem Hagemann, et al. · Systems Engineering · 5
PDF
Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles
2023 · Martin Fränzle, Willem Hagemann, et al. · Lecture notes in computer science · 4
Towards Formal Concepts for Explanation Timing and Justifications
2022 · Akhila Bairy, Willem Hagemann, et al. · IEEE International Requirements Engineering Conference Workshops (REW) · 4
Towards Safe and Sustainable Autonomous Vehicles Using Environmentally-Friendly Criticality Metrics
2022 · Sorin Jurj, Tino Werner, et al. · Sustainability · 4
PDF
Using Traffic Sequence Charts for Knowledge Formalization and AI-Application
2024 · Philipp Borchers, Willem Hagemann, et al. · Lecture notes in networks and systems · 3
PDF
Verification of Sigmoidal Artificial Neural Networks using iSAT
2022 · Dominik Grundt, Sorin Liviu Jurj, et al. · Electronic Proceedings in Theoretical Computer Science · 3
PDF
Verifying a PI Controller using SoapBox and Stabhyli
2018 · Eike Möhlmann, Willem Hagemann, et al. · EPiC series in computing · 3
DLR Institute of Systems Engineering for Future Mobility – Technical Trustworthiness as a Basis for Highly Automated and Autonomous Systems
2022 · André Bolles, Willem Hagemann, et al. · Insight · 2
PDF
Data-driven Modeling of Borehole Thermal Energy Storage (btes) for Operational Optimization of Renewable Heat Production Systems
2024 · Franziska Krenzlin, Willem Hagemann, et al. · International Conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems (ECOS) · 1
A Reference Architecture of Human Cyber-Physical Systems – Part III: Semantic Foundations
2023 · Werner Damm, Martin Fränzle, et al. · ACM Transactions on Cyber-Physical Systems · 1
PDF
Justification Based Reasoning in Dynamic Conflict Resolution
2019 · Damm, Werner, Fränzle, Martin, et al. · arXiv (Cornell University) · 1
PDF
Inscribing H-Polyhedra in Quadrics Using a Projective Generalization of Closed Sets ∗
2015 · Willem Hagemann, Eike Möhlmann · Canadian Conference on Computational Geometry · 1
Integrating Incremental Flow Pipes into a Symbolic Model Checker for Hybrid Systems
2011 · Damm, W., Disch, S., et al. · Max Planck Digital Library · 1
On Using Ontologies in the Engineering of Intelligent Cyber-Physical Systems
2025 · Ingo Stierand, Lukas Westhofen, et al. · Lecture notes in computer science
Correction: Jurj et al. Towards Safe and Sustainable Autonomous Vehicles Using Environmentally-Friendly Criticality Metrics. Sustainability 2022, 14, 6988
2023 · Sorin Liviu Jurj, Tino Werner, et al. · Sustainability
PDF
Verification of Linear Hybrid Systems with Large Discrete State Spaces: Exploring the Design Space for Optimization
2016 · Althaus, E., Beber, B., et al. · MPG.PuRe (Max Planck Society)
PDF
Symbolic orthogonal projections : a new polyhedral representation for reachability analysis of hybrid systems
2014 · Hagemann, Willem · MPG.PuRe (Max Planck Society)
Works count: 26
Citation count: 133
H-index: 6
I10-index: 5
Year
Topic
Type