- Simon Collart Dutilleul, Anne E. Haxthausen
, Thierry Lecomte
:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings. Lecture Notes in Computer Science 13294, Springer 2022, ISBN 978-3-031-05813-4 [contents] - 2019
- Nathalie Bertrand, Benjamin Bordais, Loïc Hélouët, Thomas Mari, Julie Parreaux, Ocan Sankur:
Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking. RSSRail 2019: 59-76 - Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen
, Ralf Pinger:
Efficient Data Validation for Geographical Interlocking Systems. RSSRail 2019: 142-158 - Naïm Aber, Benjamin Blanc, Nathalie Ferkane, Mohand Meziani, Julien Ordioni:
RBS2HLL - A Formal Modeling of Relay-Based Interlocking. RSSRail 2019: 191-201 - Davide Basile
, Alessandro Fantechi
, Luigi Rucher, Gianluca Mandò:
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System. RSSRail 2019: 41-58 - Mathieu Comptier, Michael Leuschel, Luis-Fernando Mejia, Julien Molinero Perez, Mareike Mutz:
Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B. RSSRail 2019: 202-212 - Stefan Dillmann
, Reiner Hähnle
:
Automated Planning of ETCS Tracks. RSSRail 2019: 79-90 - Alessandro Fantechi
:
Connected or Autonomous Trains? RSSRail 2019: 3-19 - Alessio Ferrari
, Maurice H. ter Beek
, Franco Mazzanti
, Davide Basile
, Alessandro Fantechi
, Stefania Gnesi
, Andrea Piattino, Daniele Trentini:
Survey on Formal Methods and Tools in Railways: The ASTRail Approach. RSSRail 2019: 226-241 - Tomas Fischer, Dana Dghaym:
Formal Model Validation Through Acceptance Tests. RSSRail 2019: 159-169 - Akram Idani
, Yves Ledru, Abderrahim Ait Wakrime
, Rahma Ben Ayed, Philippe Bon:
Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation. RSSRail 2019: 23-40 - Shyam Lal Karra, Kim Guldstrand Larsen
, Florian Lorber, Jirí Srba
:
Safe and Time-Optimal Control for Railway Games. RSSRail 2019: 106-122 - Yves Ledru, Akram Idani
, Rahma Ben Ayed, Abderrahim Ait Wakrime
, Philippe Bon:
A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules. RSSRail 2019: 173-190 - Faiz Ul Muram
, Barbara Gallina
, Samina Kanwal:
A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process. RSSRail 2019: 125-141 - Muhammad Chenariyan Nakhaee, Djoerd Hiemstra
, Mariëlle Stoelinga
, Martijn van Noort:
The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey. RSSRail 2019: 91-105 - Camille Parillaud, Yoann Fonteneau, Fabien Belmonte:
Interlocking Formal Verification at Alstom Signalling. RSSRail 2019: 215-225 - Dalay Israel de Almeida Pereira
, David Déharbe
, Matthieu Perin
, Philippe Bon:
B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution. RSSRail 2019: 242-258 - Christian Schlehuber, Dominik Renkel:
Merging Worlds - Aligning Safety and Security. RSSRail 2019: 284-295 - Christoph Schmittner
, Peter Tummeltshammer, David Hofbauer, Abdelkader Magdy Shaaban, Michael Meidlinger, Markus Tauber
, Arndt Bonitz, Reinhard Hametner, Manuela Brandstetter:
Threat Modeling in the Railway Domain. RSSRail 2019: 261-271 - Thorsten Schulz
, Frank Golatowski
, Dirk Timmermann
:
Integration Approach for Communications-Based Train Control Applications in a High Assurance Security Architecture. RSSRail 2019: 272-283 - Simon Collart Dutilleul, Thierry Lecomte, Alexander B. Romanovsky:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings. Lecture Notes in Computer Science 11495, Springer 2019, ISBN 978-3-030-18743-9 [contents] - 2017
- Bruno Adeline, Pierre Dersin, Éric Fabre, Loïc Hélouët, Karim Kecir
:
An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems. RSSRail 2017: 195-211 - Davide Basile
, Felicita Di Giandomenico, Stefania Gnesi:
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming. RSSRail 2017: 221-237 - Jens Braband:
Cyber Security in Railways: Quo Vadis? RSSRail 2017: 3-14 - Michael J. Butler, Dana Dghaym, Tomas Fischer, Thai Son Hoang
, Klaus Reichl, Colin F. Snook
, Peter Tummeltshammer:
Formal Modelling Techniques for Efficient Development of Railway Control Products. RSSRail 2017: 71-86 - Roberto Canonico, Stefano Marrone
, Roberto Nardone
, Valeria Vittorini:
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS. RSSRail 2017: 34-50 - Mathieu Comptier, David Déharbe, Julien Molinero Perez, Louis Mussat, Pierre Thibaut, Denis Sabatier:
Safety Analysis of a CBTC System: A Rigorous Approach with Event-B. RSSRail 2017: 148-159 - Alessio Ferrari
, Mario Fusani, Stefania Gnesi:
Are Standards an Ambiguity-Free Reference for Product Validation? RSSRail 2017: 251-264 - Manel Fredj, Sven Leger, Abderrahmane Feliachi, Julien Ordioni:
OVADO - Enhancing Data Validation for Safety-Critical Railway Systems. RSSRail 2017: 87-98 - Alexandra Halchin, Abderrahmane Feliachi, Neeraj Kumar Singh, Yamine Aït Ameur, Julien Ordioni:
B-PERFect - Applying the PERF Approach to B Based System Developments. RSSRail 2017: 160-172