Abstract is missing.
- Compositional Verification of Railway Interlockings: Comparison of Two MethodsAlessandro Fantechi, Gloria Gori, Anne E. Haxthausen, Christophe Limbrée. 3-19 [doi]
- Safety Invariant Verification that Meets Engineers' ExpectationsAlexei Iliasov, Linas Laibinis, Dominic Taylor, Ilya Lopatkin, Alexander B. Romanovsky. 20-31 [doi]
- Formalization and Processing of Data Requirements for the Development of Next Generation Railway Traffic Management SystemsAiry Magnien, Gabriele Cecchetti, Anna Lina Ruscelli, Paul Hyde, Jin Liu, Stefan Wegele. 35-45 [doi]
- Acceleration Techniques for Symbolic Simulation of Railway TimetablesRebecca Haehn, Erika Ábrahám, Niklas Kotowski. 46-62 [doi]
- Optimal Railway Routing Using Virtual SubsectionsTom Peham, Judith Przigoda, Nils Przigoda, Robert Wille. 63-79 [doi]
- Verification of Multiple Models of a Safety-Critical Motor Controller in Railway SystemsJosé Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Spilere Nandi. 83-94 [doi]
- Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground TruthCarlos E. Budde, Duncan Jansen, Inka L. M. Locht, Mariëlle Stoelinga. 95-111 [doi]
- Enhancing Autonomous Train Safety Through A Priori-Map Based PerceptionAnkur Mahtani, Nadia Chouchani, Maxime Herbreteau, Denis Rafin. 115-129 [doi]
- Assigning Safe Executed Systems to MeaningsLilian Burdy, David Déharbe, Denis Sabatier. 130-142 [doi]
- Generating and Verifying Configuration Data with OVADOFrédéric Badeau, Julien Chappelin, Joris Lamare. 143-148 [doi]
- The 4SECURail Formal Methods DemonstratorFranco Mazzanti, Dimitri Belli. 149-165 [doi]
- Formal Design and Validation of an Automatic Train Operation Control SystemArturo Amendola, Lorenzo Barruffo, Marco Bozzano, Alessandro Cimatti, Salvatore De Simone, Eugenio Fedeli, Artem Gabbasov, Domenico Ernesto Garrubba, Massimiliano Girardi, Diana Serra, Roberto Tiella, Gianni Zampedri. 169-178 [doi]
- Investigating Human Error Within GoA-2 Metro LinesJosh Hunter, John Alexander McDermid. 179-191 [doi]
- A Vision of Intelligent Train ControlFrancesco Flammini, Lorenzo De Donato, Alessandro Fantechi, Valeria Vittorini. 192-208 [doi]
- Analysis of Safety-Critical Communication Protocols for On-Premise SIL4 Cloud in RailwaysBenjamin Rother, Frank Golatowski, Zeeshan Ansar, Don Kuzhiyelil, Stefan Resch, Reinhard Hametner, Prashant Pathak. 211-220 [doi]
- TASC: Transparent, Agnostic, Secure Channel for CBTC Under Failure or CyberattackUtku Tefek, Ertem Esiner, Lin Wei, Yih-Chun Hu. 221-237 [doi]