Canyam
AI summaries for academic research
Home
Preprint
Subscribe
Favorites
Tools
Analysis
Summary
Not logged in
Back
Journal Details
R
RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF
Papers
22
Citations
Related Insights
0
subscribe
Journal Papers
22
Related Insights
0
Journal Papers
22
Publication Date
Publication Date
IF
Citations
Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining
RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF
0
2026-01-01
0
PRE
AI
Vitale, Francesco; Zoppi, Tommaso; Flammini, Francesco; Mazzoccala, Nicola
Share
Save
Wireless Communications Challenges for Safety Applications in Railways
RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF
0
2026-01-01
0
PRE
AI
Berbineau, Marion
Share
Save
Formal Analysis of a Railway Signaling Block Designed in AIDA
RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF
0
2026-01-01
0
PRE
AI
Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Lidstrom, Christian; Redondi, Gianluca; Tessi, Matteo; Trenti, Dylan
Share
Save
Compositional Model Checking of Railway Interlocking Systems Featuring Flank Protection
RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF
0
2026-01-01
0
PRE
AI
Haxthausen, Anne E.; Fantechi, Alessandro; Gori, Gloria
Share
Save
Empirical Formal Methods in Railways: Experiences and Roadmap
RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF
0
2026-01-01
0
PRE
AI
Ferrari, Alessio
Share
Save
Comparing Model Checking and Model-Based Simulation
RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF
0
2026-01-01
0
PRE
AI
Basile, Davide; Mazzanti, Franco
Share
Save
Moving Block in ERJU
RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF
0
2026-01-01
0
PRE
AI
Tummeltshammer, Peter; Schaber, Felix
Share
Save
Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation
RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF
0
2026-01-01
0
PRE
AI
Almeida, Ricardo; Das, Susmoy; Archibald, Blair; Calder, Muffy; Sevegnani, Michele
Share
Save
A Zero Latency Handover Scheme for Autonomous Tram Signaling in a 5G Scenario
RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF
0
2026-01-01
0
PRE
AI
Tamang, Dinesh; Bartoli, Giulio; Abrardo, Andrea; Mando, Gianluca
Share
Save
Creating Synthetic Test Data for Rail Design Tools - The Case of Linear Scheme Plans
RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF
0
2026-01-01
0
PRE
AI
Jezinski, Marek T.; Roggenbach, Markus; Seisenberger, Monika; Cai, Victor; Caraffini, Fabio
Share
Save
Condition-Based Monitoring in Passenger Trains: Insights from Maintenance Logs and Accident Data
RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF
0
2026-01-01
0
PRE
AI
Dharmawan, Wiryanto; Beuss, Anton; Schild, Raoul; Hecht, Markus; Bender, Beate
Share
Save
Efficient Derivation of Optimal Signal Schedules for Multimodal Intersections
RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF
0
2026-01-01
0
PRE
AI
Bertocci, N.; Carnevali, L.; Scommegna, L.; Vicario, E.
Share
Save
Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review
RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF
0
2026-01-01
0
PRE
AI
Carnevali, Laura; Di Giandomenico, Felicita; Fantechi, Alessandro; Gnesi, Stefania; Gori, Gloria
Share
Save
SMT-Based Verification of Railway Plannings
RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF
0
2026-01-01
0
PRE
AI
Dillmann, Stefan; Haehnle, Reiner
Share
Save
Trade-Off Between Interpretability and Accuracy: How Can XAI Build Trust in Track Geometry Predictive Maintenance?
RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF
0
2026-01-01
0
PRE
AI
Mansouri, Shahab Aldin; Dziedzic, Rebecca; Licciardello, Riccardo; Goudarzi, Sepehr Abdi; Reno, Vito; Cardellicchio, Angelo; Nitti, Massimiliano
Share
Save
Using N-Version Architectures for Railway Segmentation with Deep Neural Networks
RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF
0
2026-01-01
0
PRE
AI
Jass, Philipp; Thomas, Carsten
Share
Save
Configurable Interlocking Verification
RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF
0
2026-01-01
0
PRE
AI
Iliasov, Alexei; Taylor, Dominic; Laibinis, Linas; Romanovsky, Alexander
Share
Save
Automated Semantic Validation of Railway Signaling Data on the Basis of Schematron
RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF
0
2026-01-01
0
PRE
AI
Wunsch, Susanne; Jaekel, Birgit; Lehnert, Martin; Klaus, Christoph; Gruteser, Jan; Leuschel, Michael
Share
Save
Use of Certified Industrial Tools for Formal Analysis and Monitoring of Communications-Based Train Control Systems
RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF
0
2026-01-01
0
PRE
AI
Almeida, Dalay
Share
Save
From Relay-Based Railway Interlocking Circuits to Formal Specification: An AI-Driven Approach
RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF
0
2026-01-01
0
PRE
AI
Almeida, Dalay; Glemarec, Loic
Share
Save
.png){kind=icon}
.png){kind=icon}
Not logged in.png){kind=icon}
Not logged in.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}