Abstract is missing.
- Digital Twin for Rescue Missions - a Case StudyMartin Leucker, Martin Sachenbacher, Lars Bernd Vosteen. [doi]
- Are Formal Contracts a Useful Digital Twin of Software Systems?Jonas Schiffl, Alexander Weigl. [doi]
- Emerging Challenges in Compositionality and Correctness for Digital TwinsEduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David Cameron, Einar Broch Johnsen. [doi]
- Leveraging Runtime Verification for the Monitoring of Digital TwinsSylvain Hallé, Chukri Soueidi, Yliès Falcone. [doi]
- A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living LabDaniel Thoma, Martin Sachenbacher, Martin Leucker, Aliyu Tanko Ali. [doi]
- Mining Digital Twins of a VPN ServerAndrea Pferscher, Benjamin Wunderling, Bernhard K. Aichernig, Edi Muskardin. [doi]