Digital Twin for Rescue Missions - a Case Study. - Martin Leucker; Martin Sachenbacher; Lars Bernd Vosteen (FMDT@FM, 2023)

Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. - Morten Haahr Kristensen; Alberto Bonizzi; Cláudio Gomes 001; 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; et al. (ACSOS-C, 2024)

A Model-Based Approach for Monitoring and Diagnosing Digital Twin Discrepancies. - Elaheh Hosseinkhani; Martin Leucker; Martin Sachenbacher; Hendrik Streichhahn; Lars Bernd Vosteen (DX, 2024)

FDIR for Digital Twins. - Lars Bernd Vosteen (DROPS Artifacts, 2024)

Composable digital twins on Digital Twin as a Service platform. - Prasad Talasila; Cláudio Gomes 001; Lars Bernd Vosteen; Hannes Iven; Martin Leucker; Santiago Gil 001; Peter Høgh Mikkelsen; Eduard Kamburjan; Peter Gorm Larsen (Simul., 2025)