RSSRAIL 2025: 6TH INTERNATIONAL CONFERENCE ON RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS

A
Abdi Goudarzi, Sepehr	Trade-Off Between Interpretability and Accuracy: How Can XAI Build Trust in Track Geometry Predictive Maintenance?
Abrardo, Andrea	A Zero Latency Handover Scheme for Autonomous Tram Signaling in a 5G Scenario
Almeida, Ricardo	Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation
Archibald, Blair	Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation
B
Bartoli, Giulio	A Zero Latency Handover Scheme for Autonomous Tram Signaling in a 5G Scenario
Basile, Davide	Comparing Model Checking and Model-based Simulation
Bender, Beate	Condition-Based Maintenance in Passenger Trains: Insights from Maintenance Logs and Accident Data
Berbineau, Marion	Wireless Communications Challenges for Safety Applications in Railways CPN-Based Modelling to Assess Dependability of Train-to-Train Wireless Communication for Virtual Coupling
Bertocci, Nicola	Efficient Derivation of Optimal Signal Schedules for Multimodal Intersections
Beuss, Anton	Condition-Based Maintenance in Passenger Trains: Insights from Maintenance Logs and Accident Data
Bondavalli, Andrea	Safe Maintenance of Railways using COTS Mobile Devices: The Remote Worker Dashboard
C
Cai, Victor	Creating Synthetic Test Data for Rail Design Tools - The Case of Linear Scheme Plans
Calder, Muffy	Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation
Caraffini, Fabio	Creating Synthetic Test Data for Rail Design Tools - The Case of Linear Scheme Plans
Cardellicchio, Angelo	Trade-Off Between Interpretability and Accuracy: How Can XAI Build Trust in Track Geometry Predictive Maintenance?
Carnevali, Laura	Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review Efficient Derivation of Optimal Signal Schedules for Multimodal Intersections
Cavada, Roberto	Formal Analysis of a Railway Signaling Block Designed in AIDA
Ceccarelli, Andrea	Safe Maintenance of Railways using COTS Mobile Devices: The Remote Worker Dashboard
Cimatti, Alessandro	Formal Analysis of a Railway Signaling Block Designed in AIDA
Cirillo, Alberto	Safe Maintenance of Railways using COTS Mobile Devices: The Remote Worker Dashboard
Collart-Dutilleul, Simon	Bridging Formal Verification and Domain Validation in Railway Systems CPN-Based Modelling to Assess Dependability of Train-to-Train Wireless Communication for Virtual Coupling
D
Das, Susmoy	Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation
de Almeida Pereira, Dalay Israel	Use of Certified Industrial Tools for Formal Analysis and Monitoring of Communications-Based Train Control Systems From Relay-based Railway Interlocking Circuits to Formal Specification: An AI-driven Approach
Dharmawan, Wiryanto	Condition-Based Maintenance in Passenger Trains: Insights from Maintenance Logs and Accident Data
Di Giandomenico, Felicita	Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review
Dillmann, Stefan	SMT-based Verification of Railway Plannings
Dziedzic, Rebecca	Trade-Off Between Interpretability and Accuracy: How Can XAI Build Trust in Track Geometry Predictive Maintenance?
E
Esposito, Lorenzo	Safe Maintenance of Railways using COTS Mobile Devices: The Remote Worker Dashboard
F
Fantechi, Alessandro	Compositional Model Checking of Railway Interlocking Systems Featuring Flank Protection Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review Fusion^2: Achieving SIL4 Onboard Positioning for Autonomous Trams
Ferrari, Alessio	Empirical Formal Methods in Railways: Experiences and Roadmap
Flammini, Francesco	CPN-Based Modelling to Assess Dependability of Train-to-Train Wireless Communication for Virtual Coupling Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining
G
Geleta, Getachew Hagos	CPN-Based Modelling to Assess Dependability of Train-to-Train Wireless Communication for Virtual Coupling
Glemarec, Loïc	From Relay-based Railway Interlocking Circuits to Formal Specification: An AI-driven Approach
Gnesi, Stefania	Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review
Gonzales, Jair	EN 50716 in Practice: New Requirements and Practices for Safe Railway Software (part 1) EN 50716 in Practice: New Requirements and Practices for Safe Railway Software (part 2)
Gori, Gloria	Compositional Model Checking of Railway Interlocking Systems Featuring Flank Protection Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review Fusion^2: Achieving SIL4 Onboard Positioning for Autonomous Trams
Griggio, Alberto	Formal Analysis of a Railway Signaling Block Designed in AIDA
Gruteser, Jan	Automated Semantic Validation of Railway Signaling Data on the Basis of Schematron
H
Haxthausen, Anne E.	Compositional Model Checking of Railway Interlocking Systems Featuring Flank Protection
Hecht, Markus	Condition-Based Maintenance in Passenger Trains: Insights from Maintenance Logs and Accident Data
Hähnle, Reiner	SMT-based Verification of Railway Plannings
I
Idani, Akram	Bridging Formal Verification and Domain Validation in Railway Systems
Iliasov, Alexei	Configurable Interlocking Verification
J
Jaekel, Birgit	Automated Semantic Validation of Railway Signaling Data on the Basis of Schematron
Jaß, Philipp	Using N-Version Architectures for Railway Segmentation with Deep Neural Networks
Jezinski, Marek	Creating Synthetic Test Data for Rail Design Tools - The Case of Linear Scheme Plans
K
Klaus, Christoph	Automated Semantic Validation of Railway Signaling Data on the Basis of Schematron
L
Laibinis, Linas	Configurable Interlocking Verification
Lecomte, Thierry	Advancements in the CLEARSY Safety Platform: From Academic Research to Industrial SIL4 Certification
Ledru, Yves	Bridging Formal Verification and Domain Validation in Railway Systems
Lehnert, Martin	Automated Semantic Validation of Railway Signaling Data on the Basis of Schematron
Leuschel, Michael	Automated Semantic Validation of Railway Signaling Data on the Basis of Schematron
Licciardello, Riccardo	Trade-Off Between Interpretability and Accuracy: How Can XAI Build Trust in Track Geometry Predictive Maintenance?
Lidström, Christian	Formal Analysis of a Railway Signaling Block Designed in AIDA
M
Mandò, Gianluca	A Zero Latency Handover Scheme for Autonomous Tram Signaling in a 5G Scenario Fusion^2: Achieving SIL4 Onboard Positioning for Autonomous Trams
Mansouri, Shahab Aldin	Trade-Off Between Interpretability and Accuracy: How Can XAI Build Trust in Track Geometry Predictive Maintenance?
Mazzanti, Franco	Comparing Model Checking and Model-based Simulation
Mazzocca, Nicola	Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining
Mungiello, Innocenzo	Safe Maintenance of Railways using COTS Mobile Devices: The Remote Worker Dashboard
N
Nitti, Massimiliano	Trade-Off Between Interpretability and Accuracy: How Can XAI Build Trust in Track Geometry Predictive Maintenance?
R
Redondi, Gianluca	Formal Analysis of a Railway Signaling Block Designed in AIDA
Renò, Vito	Trade-Off Between Interpretability and Accuracy: How Can XAI Build Trust in Track Geometry Predictive Maintenance?
Repetto, Sergio	Safe Maintenance of Railways using COTS Mobile Devices: The Remote Worker Dashboard
Roggenbach, Markus	Creating Synthetic Test Data for Rail Design Tools - The Case of Linear Scheme Plans
Romanovsky, Alexander	Configurable Interlocking Verification
Rucher, Luigi	Fusion^2: Achieving SIL4 Onboard Positioning for Autonomous Trams
S
Sarti, Lorenzo	Safe Maintenance of Railways using COTS Mobile Devices: The Remote Worker Dashboard
Scaglione, Giuseppe	Safe Maintenance of Railways using COTS Mobile Devices: The Remote Worker Dashboard
Schild, Raoul	Condition-Based Maintenance in Passenger Trains: Insights from Maintenance Logs and Accident Data
Scommegna, Leonardo	Efficient Derivation of Optimal Signal Schedules for Multimodal Intersections
Seisenberger, Monika	Creating Synthetic Test Data for Rail Design Tools - The Case of Linear Scheme Plans
Sevegnani, Michele	Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation
Siegel, Günther	EN 50716 in Practice: New Requirements and Practices for Safe Railway Software (part 1) EN 50716 in Practice: New Requirements and Practices for Safe Railway Software (part 2)
T
Tamang, Dinesh	A Zero Latency Handover Scheme for Autonomous Tram Signaling in a 5G Scenario
Taylor, Dominic	Configurable Interlocking Verification
Tessi, Matteo	Formal Analysis of a Railway Signaling Block Designed in AIDA
Thomas, Carsten	Using N-Version Architectures for Railway Segmentation with Deep Neural Networks
Trenti, Dylan	Formal Analysis of a Railway Signaling Block Designed in AIDA
Tummeltshammer, Peter	Moving Block in ERJU
V
Vicario, Enrico	Efficient Derivation of Optimal Signal Schedules for Multimodal Intersections
Vitale, Francesco	Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining
W
Wunsch, Susanne	Automated Semantic Validation of Railway Signaling Data on the Basis of Schematron
Y
Yar, Asfand	Bridging Formal Verification and Domain Validation in Railway Systems
Z
Zoppi, Tommaso	Safe Maintenance of Railways using COTS Mobile Devices: The Remote Worker Dashboard Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining

Disclaimer | Powered by EasyChair Smart Program