Slides of the conference presentations and workshops are listed below.
Tuesday - 10th October:
- Lodiana Beqiri, Zeinab Bakhshi, Sasikumar Punnekkat and Antonio Cicchetti — Estimation of Remaining Useful Life for Railway Gearbox Bearings using Machine Learning
- Michael Wild, Jan Steffen Becker, Günter Ehmen and Eike Möhlmann — Towards Scenario-based Certification of Highly Automated Railway Systems
- Giulio Masetti, Felicita Di Giandomenico and Silvano Chiaradonna — Dependability Modeling and Analysis of UPS Architectures for the Italian Railway Signaling System
Wednesday - 11th October:
- Ehsan Poorhadi and Elena Troubitsyna — Automating an Analysis of Safety-Security Interactions for Railway Systems
- Gustav Zickert and Nikitas Stathatos — Halfway Generic Verification of Railway Control Systems