Lars Bernd Vosteen

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

Collaborative distances:

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

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