default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th RSSRail 2025: Pisa, Italy
- Maurice H. ter Beek
, Simon Collart Dutilleul, Thierry Lecomte:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings. Lecture Notes in Computer Science 16236, Springer 2026, ISBN 978-3-032-10761-9
Invited Presentations
- Peter Tummeltshammer, Felix Schaber:
Moving Block in ERJU. 3-5 - Alessio Ferrari:
Empirical Formal Methods in Railways: Experiences and Roadmap. 6-13 - Marion Berbineau:
Wireless Communications Challenges for Safety Applications in Railways. 14-21
AI and Planning
- Dalay Israel de Almeida Pereira, Loïc Glemarec:
From Relay-Based Railway Interlocking Circuits to Formal Specification: An AI-Driven Approach. 25-34 - Stefan Dillmann, Reiner Hähnle:
SMT-Based Verification of Railway Plannings. 35-52 - Philipp Jass, Carsten Thomas:
Using N-Version Architectures for Railway Segmentation with Deep Neural Networks. 53-57 - Shahab Aldin Mansouri, Rebecca Dziedzic, Riccardo Licciardello, Sepehr Abdi Goudarzi, Vito Renò, Angelo Cardellicchio, Massimiliano Nitti:
Trade-Off Between Interpretability and Accuracy: How Can XAI Build Trust in Track Geometry Predictive Maintenance? 58-77 - Marek T. Jezinski, Markus Roggenbach, Monika Seisenberger, Victor Cai, Fabio Caraffini:
Creating Synthetic Test Data for Rail Design Tools - The Case of Linear Scheme Plans. 78-87
Surveys and Comparisons
- Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul:
Bridging Formal Verification and Domain Validation in Railway Systems. 91-107 - Wiryanto Dharmawan, Anton Beuss, Raoul Schild, Markus Hecht, Beate Bender:
Condition-Based Monitoring in Passenger Trains: Insights from Maintenance Logs and Accident Data. 108-128 - Laura Carnevali, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Gloria Gori:
Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review. 129-134 - Davide Basile, Franco Mazzanti:
Comparing Model Checking and Model-Based Simulation. 135-154
Communication and Control
- Getachew Hagos Geleta, Marion Berbineau, Simon Collart Dutilleul, Francesco Flammini:
CPN-Based Modelling to Assess Dependability of Train-to-Train Wireless Communication for Virtual Coupling. 157-176 - Tommaso Zoppi, Innocenzo Mungiello, Andrea Ceccarelli, Alberto Cirillo, Lorenzo Sarti, Lorenzo Esposito, Giuseppe Scaglione, Sergio Repetto, Andrea Bondavalli:
Safe Maintenance of Railways Using COTS Mobile Devices: The Remote Worker Dashboard. 177-181 - Francesco Vitale, Tommaso Zoppi, Francesco Flammini, Nicola Mazzocca:
Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining. 182-200
Industrial Experiences and Trams
- Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky:
Configurable Interlocking Verification. 203-212 - Susanne Wunsch, Birgit Jaekel, Martin Lehnert, Christoph Klaus, Jan Gruteser, Michael Leuschel:
Automated Semantic Validation of Railway Signaling Data on the Basis of Schematron. 213-230 - Nicola Bertocci, Laura Carnevali, Leonardo Scommegna, Enrico Vicario:
Efficient Derivation of Optimal Signal Schedules for Multimodal Intersections. 231-236 - Dinesh Tamang, Giulio Bartoli, Andrea Abrardo, Gianluca Mandò:
A Zero Latency Handover Scheme For Autonomous Tram Signaling in a 5G Scenario. 237-254 - Gianluca Mandò, Luigi Rucher, Alessandro Fantechi, Gloria Gori:
Fusion2: Achieving SIL4 Onboard Positioning for Autonomous Trams. 255-264
Formal Modelling and Analysis
- Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori:
Compositional Model Checking of Railway Interlocking Systems Featuring Flank Protection. 267-285 - Ricardo Almeida, Susmoy Das, Blair Archibald, Muffy Calder, Michele Sevegnani:
Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation. 286-302 - Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidström, Gianluca Redondi, Matteo Tessi, Dylan Trenti:
Formal Analysis of a Railway Signaling Block Designed in AIDA. 303-312 - Dalay Almeida:
Use of Certified Industrial Tools for Formal Analysis and Monitoring of Communications-Based Train Control Systems. 313-330
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 2026-04-19 21:46 CEST 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:
