12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024) | www.gmachineinfo.com

会议文集

文集名	Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
会议名	12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024)
中译名	《第十二届国际形式化方法、验证与确认的合理运用研讨会，卷5》
会议日期	October 27-31, 2024
会议地点	Crete, Greece
出版年	2025
馆藏号	356008

题名	作者	出版年
Digital Twin Engineering	John Fitzgerald; Claudio Gomes; Einar Broch Johnsen; Eduard Kamburjan; Martin Leucker; Jim Woodcock	2025
Foundation Models for the Digital Twins Creation of Cyber-Physical Systems	Shaukat Ali; Paolo Arcaini; Aitor Arrieta	2025
Interoperability of Digital Twins: Challenges, Success Factors, and Future Research Directions	Istvan David; Guodong Shao; Claudio Gomes; Dawn Tilbury; Bassam Zarkout	2025
Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins	Simon Thrane Hansen; Eduard Kamburjan; Zahra Kazemi	2025
DiTEC: Digital Twin for Evolutionary Changes in Water Distribution Networks	Victoria Degeler; Mostafa Hadadian; Erkan Karabulut; Alexander Lazovik; Hester van het Loo; Andres Tello; Huy Truong	2025
Small Scale, Big Impact: Experiences from a Miniature ViL Testbed and Digital Twin Development	Elias Modrakowski; Niklas Rahenbrock; Eike Mohlmann; Henning Schlender	2025
Formal Methods for Distributed Computing in Future Railway Systems	Alessandro Fantechi; Stefania Gnesi; Anne Haxthausen	2025
Model-Based Testing of Railway Interlocking Systems	Alessandro Cimatti; Shaker Khandaker; Fitsum Kifetew; Lorenzo Leone; Davide Prandi; Giuseppe Scaglione; Angelo Susi; Orazio Turboli	2025
Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components	Christophe Limbree; Anne E. Haxthausen; Gloria Gori; Alessandro Fantechi	2025
Formal Validation and ERTMS Simulation	Thierry Lecomte	2025
Securing Automatic Small Railway Vehicles Using Automatic Train Protection	Simon Collart-Dutilleul; Philippe Bon; Regine Laleau	2025
Railway Switch Control Modeling in European Train Control System Level 3	Francesco Flammini; Stefano Marrone; Roberto Nardone; Usman Sanwal; Cristina Seceleanu; Laura Verde; Valeria Vittorini	2025
An Integrated Perspective on the Evaluation of Complex Railway Systems	Davide Basile; Maurice H. ter Beek; Laura Carnevali; Silvano Chiaradonna; Felicita Di Giandomenico; Alessandro Fantechi; Gloria Gori	2025