Morten Haahr Kristensen

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

Collaborative distances:

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

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