- 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: 211-224 - Lodiana Beqiri, Zeinab Bakhshi, Sasikumar Punnekkat, Antonio Cicchetti:
Remaining Useful Life Estimation for Railway Gearbox Bearings Using Machine Learning. RSSRail 2023: 62-77 - Amin Fakhereldine, Mohammad Zulkernine, Dan Murdock:
TrainSec: A Simulation Framework for Security Modeling and Evaluation in CBTC Networks. RSSRail 2023: 22-39 - 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: 128-145 - 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: 165-177 - Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori, Óli Kárason Mikkelsen, Sofie-Amalie Petersen:
Automated Compositional Verification of Interlocking Systems. RSSRail 2023: 146-164 - Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky:
The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool. RSSRail 2023: 117-127 - Michael Leuschel, Nader Nayeri:
Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System. RSSRail 2023: 193-210 - Giulio Masetti, Felicita Di Giandomenico, Silvano Chiaradonna:
Dependability Analysis of UPS Architectures for the Italian Railway Signaling System. RSSRail 2023: 98-114 - Ehsan Poorhadi, Elena Troubitsyna:
Automating an Analysis of Safety-Security Interactions for Railway Systems. RSSRail 2023: 3-21 - Ziyue Tang, Ning Zhao, Khalid Khan, Katinka Wolter:
Safety Analysis of Automatic Train Operation Based on ETCS. RSSRail 2023: 43-61 - Michael Wild, Jan Steffen Becker, Günter Ehmen, Eike Möhlmann:
Towards Scenario-Based Certification of Highly Automated Railway Systems. RSSRail 2023: 78-97 - Gustav Zickert, Nikitas Stathatos:
Halfway Generic Verification of Railway Control Systems. RSSRail 2023: 178-189 - Birgit Milius, Simon Collart Dutilleul, Thierry Lecomte:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings. Lecture Notes in Computer Science 14198, Springer 2023, ISBN 978-3-031-43365-8 [contents] - 2022
- Arturo 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:
Formal Design and Validation of an Automatic Train Operation Control System. RSSRail 2022: 169-178 - Frédéric Badeau, Julien Chappelin, Joris Lamare:
Generating and Verifying Configuration Data with OVADO. RSSRail 2022: 143-148 - Carlos E. Budde, Duncan Jansen, Inka L. M. Locht, Mariëlle Stoelinga:
Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth. RSSRail 2022: 95-111 - Lilian Burdy, David Déharbe, Denis Sabatier:
Assigning Safe Executed Systems to Meanings. RSSRail 2022: 130-142 - Alessandro Fantechi, Gloria Gori, Anne E. Haxthausen, Christophe Limbrée:
Compositional Verification of Railway Interlockings: Comparison of Two Methods. RSSRail 2022: 3-19 - Francesco Flammini, Lorenzo De Donato, Alessandro Fantechi, Valeria Vittorini:
A Vision of Intelligent Train Control. RSSRail 2022: 192-208 - Rebecca Haehn, Erika Ábrahám, Niklas Kotowski:
Acceleration Techniques for Symbolic Simulation of Railway Timetables. RSSRail 2022: 46-62 - Josh Hunter, John Alexander McDermid:
Investigating Human Error Within GoA-2 Metro Lines. RSSRail 2022: 179-191 - Alexei Iliasov, Linas Laibinis, Dominic Taylor, Ilya Lopatkin, Alexander B. Romanovsky:
Safety Invariant Verification that Meets Engineers' Expectations. RSSRail 2022: 20-31 - Airy Magnien, Gabriele Cecchetti, Anna Lina Ruscelli, Paul Hyde, Jin Liu, Stefan Wegele:
Formalization and Processing of Data Requirements for the Development of Next Generation Railway Traffic Management Systems. RSSRail 2022: 35-45 - Ankur Mahtani, Nadia Chouchani, Maxime Herbreteau, Denis Rafin:
Enhancing Autonomous Train Safety Through A Priori-Map Based Perception. RSSRail 2022: 115-129 - Franco Mazzanti, Dimitri Belli:
The 4SECURail Formal Methods Demonstrator. RSSRail 2022: 149-165 - Tom Peham, Judith Przigoda, Nils Przigoda, Robert Wille:
Optimal Railway Routing Using Virtual Subsections. RSSRail 2022: 63-79 - José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Spilere Nandi:
Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems. RSSRail 2022: 83-94 - Benjamin Rother, Frank Golatowski, Zeeshan Ansar, Don Kuzhiyelil, Stefan Resch, Reinhard Hametner, Prashant Pathak:
Analysis of Safety-Critical Communication Protocols for On-Premise SIL4 Cloud in Railways. RSSRail 2022: 211-220 - Utku Tefek, Ertem Esiner, Lin Wei, Yih-Chun Hu:
TASC: Transparent, Agnostic, Secure Channel for CBTC Under Failure or Cyberattack. RSSRail 2022: 221-237