default search action

combined dblp search
author search
venue search
publication search

ask others

12th ISoLA 2024: Crete, Greece - Part V

> Home > Conferences and Workshops > ISoLA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/isola/2024-5
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/2024-5
Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V. Lecture Notes in Computer Science 15223, Springer 2025, ISBN 978-3-031-75389-3

Digital Twin Engineering

- view
  authority control:
- export record
  dblp key:
  - conf/isola/FitzgeraldGJKLW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FitzgeraldGJKLW24
John S. Fitzgerald, Cláudio Gomes, Einar Broch Johnsen, Eduard Kamburjan, Martin Leucker, Jim Woodcock:
Digital Twin Engineering. 3-8
- view
  authority control:
- export record
  dblp key:
  - conf/isola/AliAA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/AliAA24
Shaukat Ali, Paolo Arcaini, Aitor Arrieta:
Foundation Models for the Digital Twins Creation of Cyber-Physical Systems. 9-26
- view
  authority control:
- export record
  dblp key:
  - conf/isola/DavidSGTZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/DavidSGTZ24
Istvan David, Guodong Shao, Cláudio Gomes, Dawn M. Tilbury, Bassam Zarkout:
Interoperability of Digital Twins: Challenges, Success Factors, and Future Research Directions. 27-46
- view
  authority control:
- export record
  dblp key:
  - conf/isola/HansenKK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HansenKK24
Simon Thrane Hansen, Eduard Kamburjan, Zahra Kazemi:
Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins. 47-61
- view
  authority control:
- export record
  dblp key:
  - conf/isola/DegelerYKLLTT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/DegelerYKLLTT24
Victoria Degeler, Mostafa Hadadian Nejad Yousefi, Erkan Karabulut, Alexander Lazovik, Hester van het Loo, Andrés Tello, Huy Truong:
DiTEC: Digital Twin for Evolutionary Changes in Water Distribution Networks. 62-82
- view
  authority control:
- export record
  dblp key:
  - conf/isola/ModrakowskiRMS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/ModrakowskiRMS24
Elias Modrakowski, Niklas Rahenbrock, Eike Möhlmann, Henning Schlender:
Small Scale, Big Impact: Experiences from a Miniature ViL Testbed and Digital Twin Development. 83-106

DisCoRail 2024

- view
  authority control:
- export record
  dblp key:
  - conf/isola/FantechiGH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FantechiGH24
Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen:
Formal Methods for Distributed Computing in Future Railway Systems. 109-111
- view
  authority control:
- export record
  dblp key:
  - conf/isola/CimattiKKLPSST24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/CimattiKKLPSST24
Alessandro Cimatti, Shaker Khandaker, Fitsum Meshesha Kifetew, Lorenzo Leone, Davide Prandi, Giuseppe Scaglione, Angelo Susi, Orazio Turboli:
Model-Based Testing of Railway Interlocking Systems. 112-126
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LimbreeHGF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LimbreeHGF24
Christophe Limbrée, Anne E. Haxthausen, Gloria Gori, Alessandro Fantechi:
Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components. 127-141
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Lecomte24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Lecomte24
Thierry Lecomte:
Formal Validation and ERTMS Simulation. 142-158
- view
  authority control:
- export record
  dblp key:
  - conf/isola/DutilleulBL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/DutilleulBL24
Simon Collart Dutilleul, Philippe Bon, Régine Laleau:
Securing Automatic Small Railway Vehicles Using Automatic Train Protection. 159-173
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FlamminiMNSSVV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FlamminiMNSSVV24
Francesco Flammini, Stefano Marrone, Roberto Nardone, Usman Sanwal, Cristina Seceleanu, Laura Verde, Valeria Vittorini:
Railway Switch Control Modeling in European Train Control System Level 3. 174-189
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BasileBCCGFG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BasileBCCGFG24
Davide Basile, Maurice H. ter Beek, Laura Carnevali, Silvano Chiaradonna, Felicita Di Giandomenico, Alessandro Fantechi, Gloria Gori:
An Integrated Perspective on the Evaluation of Complex Railway Systems. 190-207

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.