default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRSSRail 2022: Paris, France
- Simon Collart Dutilleul, Anne E. Haxthausen
, Thierry Lecomte:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings. Lecture Notes in Computer Science 13294, Springer 2022, ISBN 978-3-031-05813-4
Safe Interlocking
- Alessandro Fantechi, Gloria Gori, Anne E. Haxthausen, Christophe Limbrée:
Compositional Verification of Railway Interlockings: Comparison of Two Methods. 3-19 - Alexei Iliasov, Linas Laibinis, Dominic Taylor, Ilya Lopatkin, Alexander B. Romanovsky:
Safety Invariant Verification that Meets Engineers' Expectations. 20-31
Innovation in Traffic Management
- 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. 35-45 - Rebecca Haehn, Erika Ábrahám, Niklas Kotowski:
Acceleration Techniques for Symbolic Simulation of Railway Timetables. 46-62 - Tom Peham, Judith Przigoda, Nils Przigoda, Robert Wille:
Optimal Railway Routing Using Virtual Subsections. 63-79
Safety and New Technologies
- 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. 83-94 - 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. 95-111
Safety
- Ankur Mahtani, Nadia Chouchani, Maxime Herbreteau, Denis Rafin:
Enhancing Autonomous Train Safety Through A Priori-Map Based Perception. 115-129 - Lilian Burdy, David Déharbe, Denis Sabatier:
Assigning Safe Executed Systems to Meanings. 130-142 - Frédéric Badeau, Julien Chappelin, Joris Lamare:
Generating and Verifying Configuration Data with OVADO. 143-148 - Franco Mazzanti, Dimitri Belli:
The 4SECURail Formal Methods Demonstrator. 149-165
ATO
- 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. 169-178 - Josh Hunter, John Alexander McDermid:
Investigating Human Error Within GoA-2 Metro Lines. 179-191 - Francesco Flammini, Lorenzo De Donato, Alessandro Fantechi, Valeria Vittorini:
A Vision of Intelligent Train Control. 192-208
Safe and Secured Telecom for Railway
- 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. 211-220 - Utku Tefek, Ertem Esiner, Lin Wei, Yih-Chun Hu:
TASC: Transparent, Agnostic, Secure Channel for CBTC Under Failure or Cyberattack. 221-237
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
