RSSRail

Keyphrases

Publications

2023

Lodiana Beqiri, Zeinab Bakhshi, Sasikumar Punnekkat, Antonio Cicchetti
Remaining Useful Life Estimation for Railway Gearbox Bearings Using Machine Learning. RSSRail (2023)
Amin Fakhereldine, Mohammad Zulkernine, Dan Murdock
TrainSec: A Simulation Framework for Security Modeling and Evaluation in CBTC Networks. RSSRail (2023)
Jan Gruteser, David Geleßus, Michael Leuschel, Jan Roßbach, Fabian Vu
A Formal Model of Train Control with AI-Based Obstacle Detection. RSSRail (2023)
Ziyue Tang, Ning Zhao, Khalid Khan, Katinka Wolter
Safety Analysis of Automatic Train Operation Based on ETCS. RSSRail (2023)
Michael Wild, Jan Steffen Becker, Günter Ehmen, Eike Möhlmann
Towards Scenario-Based Certification of Highly Automated Railway Systems. RSSRail (2023)
Madhusree Banerjee, Victor Cai, Sunitha Lakshmanappa, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger, Thomas Werner
A Tool-Chain for the Verification of Geographic Scheme Data. RSSRail (2023)
Michael Leuschel, Nader Nayeri
Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System. RSSRail (2023)
Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori, Óli Kárason Mikkelsen, Sofie-Amalie Petersen
Automated Compositional Verification of Interlocking Systems. RSSRail (2023)
Ehsan Poorhadi, Elena Troubitsyna
Automating an Analysis of Safety-Security Interactions for Railway Systems. RSSRail (2023)
Gustav Zickert, Nikitas Stathatos
Halfway Generic Verification of Railway Control Systems. RSSRail (2023)
Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky
The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool. RSSRail (2023)
Giulio Masetti, Felicita Di Giandomenico, Silvano Chiaradonna
Dependability Analysis of UPS Architectures for the Italian Railway Signaling System. RSSRail (2023)
Alexandra Halchin, Adja Ndeye Sylla, Sarah Benyagoub, Abderrahmane Feliachi, Yoann Fonteneau, Sven Leger
Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems. RSSRail (2023)

volume 14198, 2023

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings RSSRail 14198 (2023)

2022

volume 13294, 2022

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings RSSRail 13294 (2022)

2019

volume 11495, 2019

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings RSSRail 11495 (2019)