Mikkel Schmidt Andersen

According to our database, Mikkel Schmidt Andersen authored at least 4 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of three.
• 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

Probabilistic Update Scheduling for Digital Twins: A Semi-Markov Approach.

Mikkel Schmidt Andersen, Cláudio Gomes, Sophia Thompson, Peter Gorm Larsen

Proceedings of the 28th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 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

2023

State of the Art Report: Verified Computation.

Jim Woodcock, Mikkel Schmidt Andersen, Diego F. Aranha, Stefan Hallerstede, Simon Thrane Hansen, Nikolaj Kuhne Jakobsen, Tomas Kulik, Peter Gorm Larsen, Hugo Daniel Macedo, Carlos Ignacio Isasa Martin, Victor Alexander Mtsimbe Norrild

CoRR, 2023