Conference Program
The program is now available: https://easychair.org/smart-program/RSSRail2025/.
Regular paper presentations are scheduled to last 30 minutes including Q&A, while journal-first and short papers are scheduled to last 20 minutes including Q&A. Wednesday morning is dedicated to tutorials (see https://rssrail2025.isti.cnr.it/tutorials) and the conference finishes Friday at lunch.
The posters will be on display from the afternoon coffee break of the first day until the afternoon coffee break of the second day, and the authors will be available for explanations.
- Alexei Iliasov (The Formal Route, UK), Dominic Taylor (Consilium Aquis Sulis, UK) and Alexander Romanovsky (The Formal Route, UK): Ongoing and future developments of SafeCap interlocking verification
- Christèle Faure (SERMA - SafeRiver, France): Formal Proof for C language
- Véronique Delebarre (SafeRiver, GLARROS-TECH, France) and Jean Caire (RATP, France): How to cope with Interfaces between Safety and Security for Railway applications
- Giovanna Broccia (CNR-ISTI, Italy), Maurice H. ter Beek (CNR-ISTI, Italy) and Alessio Ferrari (University College Dublin, Ireland): Large Language Models as Design Partners: Automating GUI Mockups to Refine Requirements
Proceedings
The Proceedings have been published as LNCS volume 16236: https://link.springer.com/book/10.1007/978-3-032-10762-6
