The program is not yet available.
Here is the list of accepted papers:
Journal-first papers
Tommaso Zoppi, Innocenzo Mungiello, Andrea Ceccarelli, Lorenzo Sarti, Alberto Cirillo, Lorenzo Esposito, Giuseppe Scaglione, Sergio Repetto, and Andrea Bondavalli - Safe Maintenance of Railways using COTS Mobile Devices: The Remote Worker Dashboard
Philipp Jaß and Carsten Thomas - Using N-Version Architectures for Railway Segmentation with Deep Neural Networks
Nicola Bertocci, Laura Carnevali, Leonardo Scommegna, and Enrico Vicario - Efficient derivation of optimal signal schedules for multimodal intersections
Laura Carnevali, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, and Gloria Gori - Quantitative Dependability Evaluation of Train Control Systems in presence of Uncertainty: A Systematic Literature Review
Short papers
Dalay Israel de Almeida Pereira, and Loïc Glemarec. From Relay-based Railway Interlocking Circuits to Formal Specification: An AI-driven Approach
Alexei Iliasov, Dominic Taylor, Linas Laibinis, and Alexander Romanovsky - Configurable Interlocking Verification
Marek Jezinski, Markus Roggenbach, Monika Seisenberger, Victor Cai, and Fabio Caraffini - Creating Synthetic Test Data for Rail Design Tools: The Case of Linear Scheme Plans
Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidström, Gianluca Redondi, Matteo Tessi, and Dylan Trenti - Formal analysis of a Railway Signaling Block designed in AIDA
Gianluca Mandò, Luigi Rucher, Alessandro Fantechi, and Gloria Gori - Fusion^2: Achieving SIL4 Onboard Positioning for Autonomous Trams
Regular papers
Dalay Israel de Almeida Pereira - Use of certified industrial tools for formal analysis and monitoring of Communications-Based Train Control Systems
Anne E. Haxthausen, Alessandro Fantechi, and Gloria Gori - Compositional Model Checking of Railway Interlocking Systems Featuring Flank Protection
Asfand Yar, Akram Idani, Yves Ledru, and Simon Collart-Dutilleul - Bridging Formal Verification and Domain Validation in Railway Systems
Davide Basile and Franco Mazzanti - Comparing Model Checking and Model-based Simulation
Stefan Dillmann and Reiner Hähnle - SMT-based Verification of Railway Plannings
Dinesh Tamang, Giulio Bartoli, Andrea Abrardo, and Gianluca Mandó - A Zero Latency Handover Scheme For Autonomous Tram Signaling in a 5G Scenario
Francesco Vitale, Tommaso Zoppi, Francesco Flammini, and Nicola Mazzocca - Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining
Susanne Wunsch, Birgit Jaekel, Martin Lehnert, Christoph Klaus, Jan Gruteser, and Michael Leuschel - Automated Semantic Validation of Railway Signaling Data on the Basis of Schematron
Getachew Hagos Geleta, Marion Berbineau, Simon Collart-Dutilleul, Francesco Flammini, and Nicola Sacco - CPN-Based Modelling to Assess Dependability of Train-to-Train Wireless Communication for Virtual Coupling
Shahab Aldin Mansouri, Rebecca Dziedzic, Riccardo Licciardello, Sepehr Abdi Goudarzi, Vito Renò, Angelo Cardellicchio, and Massimiliano Nitti - Trade-Off Between Interpretability and Accuracy: How Can XAI Build Trust in Track Geometry Predictive Maintenance?
Ricardo Almeida, Susmoy Das, Blair Archibald, Michele Sevegnani, and Muffy Calder - Formal, Diagrammatic Models for Railway Systems
Wiryanto Dharmawan, Zeyun Song, Raoul Schild, Ariane Wettig, and Markus Hecht - Condition-Based Maintenance in Passenger Train: Insights from Maintenance Logs and Accident Data