Morten Haahr Kristensen

According to our database, Morten Haahr Kristensen authored at least 6 papers between 2023 and 2026.

Collaborative distances:

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

2026

Digital Twins: a Briefing for Formalists.

John S. Fitzgerald, Cláudio Gomes, Peter Gorm Larsen, Mikkel Schmidt Andersen, Santiago Gil, Morten Haahr Kristensen

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

DynSRV: Dynamically Updated Properties for Stream Runtime Verification.

Morten Haahr Kristensen, Thomas Wright, Cláudio Gomes, Lukas Esterle, Peter Gorm Larsen

Proceedings of the Runtime Verification - 25th International Conference, 2025

Formal Architectural Patterns for Adaptive Robotic Software.

James Baxter, Bert Van Acker, Morten Haahr Kristensen, Thomas Wright, Ana Cavalcanti, Cláudio Gomes

Proceedings of the Fundamental Approaches to Software Engineering, 2025

2024

Digital Twin Tutorial: The Incubator Case Study.

Cláudio Gomes, Morten Haahr Kristensen, Mikkel Schmidt Andersen, Prasad Talasila, Hao Feng, Thomas Wright, Peter Gorm Larsen

Proceedings of the Engineering Trustworthy Software Systems - 6th International School, 2024

Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service.

Morten Haahr Kristensen, Alberto Bonizzi, Cláudio Gomes, Simon Thrane Hansen, Carlos Ignacio Isasa Martin, Hannes Iven, Eduard Kamburjan, Peter Gorm Larsen, Martin Leucker, Prasad Talasila, Valdemar Trøjgård Tang, Stefano Tonetta, Lars Bernd Vosteen, Thomas Wright

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2024

2023

Modelling Chess in VDM++.

Morten Haahr Kristensen, Peter Gorm Larsen

CoRR, 2023