Abstract is missing.
- Moving Block in ERJUPeter Tummeltshammer, Felix Schaber. 3-5 [doi]
- Empirical Formal Methods in Railways: Experiences and RoadmapAlessio Ferrari 0001. 6-13 [doi]
- Wireless Communications Challenges for Safety Applications in RailwaysMarion Berbineau. 14-21 [doi]
- From Relay-Based Railway Interlocking Circuits to Formal Specification: An AI-Driven ApproachDalay Israel de Almeida Pereira, Loïc Glemarec. 25-34 [doi]
- SMT-Based Verification of Railway PlanningsStefan Dillmann, Reiner Hähnle. 35-52 [doi]
- Using N-Version Architectures for Railway Segmentation with Deep Neural NetworksPhilipp Jass, Carsten Thomas 0003. 53-57 [doi]
- Trade-Off Between Interpretability and Accuracy: How Can XAI Build Trust in Track Geometry Predictive Maintenance?Shahab Aldin Mansouri, Rebecca Dziedzic, Riccardo Licciardello, Sepehr Abdi Goudarzi, Vito Renò, Angelo Cardellicchio, Massimiliano Nitti. 58-77 [doi]
- Creating Synthetic Test Data for Rail Design Tools - The Case of Linear Scheme PlansMarek T. Jezinski, Markus Roggenbach, Monika Seisenberger, Victor Cai, Fabio Caraffini. 78-87 [doi]
- Bridging Formal Verification and Domain Validation in Railway SystemsAsfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul. 91-107 [doi]
- Condition-Based Monitoring in Passenger Trains: Insights from Maintenance Logs and Accident DataWiryanto Dharmawan, Anton Beuss, Raoul Schild, Markus Hecht, Beate Bender. 108-128 [doi]
- Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature ReviewLaura Carnevali, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Gloria Gori. 129-134 [doi]
- Comparing Model Checking and Model-Based SimulationDavide Basile 0001, Franco Mazzanti. 135-154 [doi]
- CPN-Based Modelling to Assess Dependability of Train-to-Train Wireless Communication for Virtual CouplingGetachew Hagos Geleta, Marion Berbineau, Simon Collart Dutilleul, Francesco Flammini. 157-176 [doi]
- Safe Maintenance of Railways Using COTS Mobile Devices: The Remote Worker DashboardTommaso Zoppi, Innocenzo Mungiello, Andrea Ceccarelli, Alberto Cirillo, Lorenzo Sarti, Lorenzo Esposito, Giuseppe Scaglione, Sergio Repetto, Andrea Bondavalli. 177-181 [doi]
- Run-Time Monitoring of ERTMS/ETCS Control Flow by Process MiningFrancesco Vitale, Tommaso Zoppi, Francesco Flammini, Nicola Mazzocca. 182-200 [doi]
- Configurable Interlocking VerificationAlexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky. 203-212 [doi]
- Automated Semantic Validation of Railway Signaling Data on the Basis of SchematronSusanne Wunsch, Birgit Jaekel, Martin Lehnert, Christoph Klaus, Jan Gruteser, Michael Leuschel. 213-230 [doi]
- Efficient Derivation of Optimal Signal Schedules for Multimodal IntersectionsNicola Bertocci, Laura Carnevali, Leonardo Scommegna, Enrico Vicario. 231-236 [doi]
- A Zero Latency Handover Scheme For Autonomous Tram Signaling in a 5G ScenarioDinesh Tamang, Giulio Bartoli, Andrea Abrardo, Gianluca Mandò. 237-254 [doi]
- 2: Achieving SIL4 Onboard Positioning for Autonomous TramsGianluca Mandò, Luigi Rucher, Alessandro Fantechi, Gloria Gori. 255-264 [doi]
- Compositional Model Checking of Railway Interlocking Systems Featuring Flank ProtectionAnne E. Haxthausen, Alessandro Fantechi, Gloria Gori. 267-285 [doi]
- Modelling Railway Networks with Bigraphs: Electrification, Failures, and OptimisationRicardo Almeida 0003, Susmoy Das, Blair Archibald, Muffy Calder, Michele Sevegnani. 286-302 [doi]
- Formal Analysis of a Railway Signaling Block Designed in AIDARoberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidström, Gianluca Redondi, Matteo Tessi, Dylan Trenti. 303-312 [doi]
- Use of Certified Industrial Tools for Formal Analysis and Monitoring of Communications-Based Train Control SystemsDalay Almeida. 313-330 [doi]