FMDT@FM

Keyphrases

Publications

2023

Daniel Thoma, Martin Sachenbacher, Martin Leucker, Aliyu Tanko Ali
A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab. FMDT@FM (2023)
Sylvain Hallé, Chukri Soueidi, Yliès Falcone
Leveraging Runtime Verification for the Monitoring of Digital Twins. FMDT@FM (2023)
Jonas Schiffl, Alexander Weigl
Are Formal Contracts a Useful Digital Twin of Software Systems? FMDT@FM (2023)
Andrea Pferscher, Benjamin Wunderling, Bernhard K. Aichernig, Edi Muskardin
Mining Digital Twins of a VPN Server. FMDT@FM (2023)
Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David Cameron, Einar Broch Johnsen
Emerging Challenges in Compositionality and Correctness for Digital Twins. FMDT@FM (2023)
Martin Leucker, Martin Sachenbacher, Lars Bernd Vosteen
Digital Twin for Rescue Missions - a Case Study. FMDT@FM (2023)

volume 3507, 2023

Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), Lübeck, Germany, March 06, 2023. FMDT@FM 3507 (2023)