default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRSSRail 2023: Berlin, Germany
- 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
Modeling for Security
- Ehsan Poorhadi, Elena Troubitsyna:
Automating an Analysis of Safety-Security Interactions for Railway Systems. 3-21 - Amin Fakhereldine, Mohammad Zulkernine, Dan Murdock:
TrainSec: A Simulation Framework for Security Modeling and Evaluation in CBTC Networks. 22-39
Tooled Approaches and Dependability of Highly Automated Transport Systems
- Ziyue Tang, Ning Zhao, Khalid Khan, Katinka Wolter:
Safety Analysis of Automatic Train Operation Based on ETCS. 43-61 - Lodiana Beqiri, Zeinab Bakhshi, Sasikumar Punnekkat, Antonio Cicchetti:
Remaining Useful Life Estimation for Railway Gearbox Bearings Using Machine Learning. 62-77 - Michael Wild, Jan Steffen Becker, Günter Ehmen, Eike Möhlmann:
Towards Scenario-Based Certification of Highly Automated Railway Systems. 78-97 - Giulio Masetti, Felicita Di Giandomenico, Silvano Chiaradonna:
Dependability Analysis of UPS Architectures for the Italian Railway Signaling System. 98-114
Formal Methods for Safety Assessment
- Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky:
The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool. 117-127 - Jan Gruteser, David Geleßus, Michael Leuschel, Jan Roßbach, Fabian Vu:
A Formal Model of Train Control with AI-Based Obstacle Detection. 128-145 - Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori, Óli Kárason Mikkelsen, Sofie-Amalie Petersen:
Automated Compositional Verification of Interlocking Systems. 146-164 - 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. 165-177 - Gustav Zickert, Nikitas Stathatos:
Halfway Generic Verification of Railway Control Systems. 178-189
Formal Model and Visual Tooling
- Michael Leuschel, Nader Nayeri:
Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System. 193-210 - Madhusree Banerjee, Victor Cai, Sunitha Lakshmanappa, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger, Thomas Werner:
A Tool-Chain for the Verification of Geographic Scheme Data. 211-224
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-05 22:23 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:
