Hagen Heermann

According to our database, Hagen Heermann authored at least 6 papers between 2024 and 2026.

Collaborative distances:

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

2026

Causal Anomaly Detection for Lithium-Ion Battery Degradation.

Dieter W. Heermann, Hagen Heermann

CoRR, May, 2026

2025

A Link Between Anomaly Detection and Runtime Verification.

Hagen Heermann

PhD thesis, 2025

Digital Twin and Digital Thread for System Security and Performance applied to an Electrical Vehicle Charging Use Case.

Hagen Heermann, Johannes Koch, Christoph Grimm, Daniela Genius, Ludovic Apvrille, Ahlem Mifdaoui, Klaus Schneider

Proceedings of the Forum on Specification & Design Languages, 2025

Reachability Analysis of Deep Neural Networks Using Affine Arithmetic Decision Diagrams.

Hagen Heermann, Pascal Grabowsky, Carna Zivkovic, Christoph Grimm

Proceedings of the Forum on Specification & Design Languages, 2025

Bridging the Gap Between Anomaly Detection and Runtime Verification: H-Classifiers.

Hagen Heermann, Christoph Grimm

Proceedings of the Design, Automation & Test in Europe Conference, 2025

2024

Generating Digital Twins from SysMLv2 Models.

Hagen Heermann, Moritz Herzog, Johannes Koch, Christoph Grimm

Proceedings of the 22nd IEEE International Conference on Industrial Informatics, 2024