Lars Bernd Vosteen

According to our database, Lars Bernd Vosteen authored at least 6 papers between 2023 and 2025.

Collaborative distances:

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

2025

Composable digital twins on Digital Twin as a Service platform.

Prasad Talasila, Cláudio Gomes, Lars Bernd Vosteen, Hannes Iven, Martin Leucker, Santiago Gil, Peter Høgh Mikkelsen, Eduard Kamburjan, Peter Gorm Larsen

Simul., 2025

TwinLang - A Digital Twin Modelling and Management Language.

Martin Leucker, Daniel Thoma, Lars Bernd Vosteen

Proceedings of the 28th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2025

2024

FDIR for Digital Twins.

Lars Bernd Vosteen

Dataset, November, 2024

A Model-Based Approach for Monitoring and Diagnosing Digital Twin Discrepancies.

Elaheh Hosseinkhani, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Lars Bernd Vosteen

Proceedings of the 35th International Conference on Principles of Diagnosis and Resilient Systems, 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

Digital Twin for Rescue Missions - a Case Study.

Martin Leucker, Martin Sachenbacher, Lars Bernd Vosteen

Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), 2023