Abstract is missing.
- Automating an Analysis of Safety-Security Interactions for Railway SystemsEhsan Poorhadi, Elena Troubitsyna. 3-21 [doi]
- TrainSec: A Simulation Framework for Security Modeling and Evaluation in CBTC NetworksAmin Fakhereldine, Mohammad Zulkernine, Dan Murdock. 22-39 [doi]
- Safety Analysis of Automatic Train Operation Based on ETCSZiyue Tang, Ning Zhao, Khalid Khan, Katinka Wolter. 43-61 [doi]
- Remaining Useful Life Estimation for Railway Gearbox Bearings Using Machine LearningLodiana Beqiri, Zeinab Bakhshi, Sasikumar Punnekkat, Antonio Cicchetti. 62-77 [doi]
- Towards Scenario-Based Certification of Highly Automated Railway SystemsMichael Wild, Jan Steffen Becker, Günter Ehmen, Eike Möhlmann. 78-97 [doi]
- Dependability Analysis of UPS Architectures for the Italian Railway Signaling SystemGiulio Masetti, Felicita Di Giandomenico, Silvano Chiaradonna. 98-114 [doi]
- The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification ToolAlexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky. 117-127 [doi]
- A Formal Model of Train Control with AI-Based Obstacle DetectionJan Gruteser, David Geleßus, Michael Leuschel, Jan Roßbach, Fabian Vu. 128-145 [doi]
- Automated Compositional Verification of Interlocking SystemsAnne E. Haxthausen, Alessandro Fantechi, Gloria Gori, Óli Kárason Mikkelsen, Sofie-Amalie Petersen. 146-164 [doi]
- Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway SystemsAlexandra Halchin, Adja Ndeye Sylla, Sarah Benyagoub, Abderrahmane Feliachi, Yoann Fonteneau, Sven Leger. 165-177 [doi]
- Halfway Generic Verification of Railway Control SystemsGustav Zickert, Nikitas Stathatos. 178-189 [doi]
- Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block SystemMichael Leuschel, Nader Nayeri. 193-210 [doi]
- A Tool-Chain for the Verification of Geographic Scheme DataMadhusree Banerjee, Victor Cai, Sunitha Lakshmanappa, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger, Thomas Werner. 211-224 [doi]