Abstract is missing.
- Connected or Autonomous Trains?Alessandro Fantechi. 3-19 [doi]
- Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and ValidationAkram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Philippe Bon. 23-40 [doi]
- Statistical Model Checking of Hazards in an Autonomous Tramway Positioning SystemDavide Basile, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò. 41-58 [doi]
- Performance Evaluation of Metro Regulations Using Probabilistic Model-CheckingNathalie Bertrand 0001, Benjamin Bordais, Loïc Hélouët, Thomas Mari, Julie Parreaux, Ocan Sankur. 59-76 [doi]
- Automated Planning of ETCS TracksStefan Dillmann, Reiner Hähnle. 79-90 [doi]
- The Recent Applications of Machine Learning in Rail Track Maintenance: A SurveyMuhammad Chenariyan Nakhaee, Djoerd Hiemstra, Mariëlle Stoelinga, Martijn van Noort. 91-105 [doi]
- Safe and Time-Optimal Control for Railway GamesShyam Lal Karra, Kim Guldstrand Larsen, Florian Lorber, Jirí Srba. 106-122 [doi]
- A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval ProcessFaiz Ul Muram, Barbara Gallina, Samina Kanwal. 125-141 [doi]
- Efficient Data Validation for Geographical Interlocking SystemsJan Peleska 0001, Niklas Krafczyk, Anne Elisabeth Haxthausen, Ralf Pinger. 142-158 [doi]
- Formal Model Validation Through Acceptance TestsTomas Fischer, Dana Dghaym. 159-169 [doi]
- A Separation of Concerns Approach for the Verified Modelling of Railway Signalling RulesYves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon. 173-190 [doi]
- RBS2HLL - A Formal Modeling of Relay-Based InterlockingNaïm Aber, Benjamin Blanc, Nathalie Ferkane, Mohand Meziani, Julien Ordioni. 191-201 [doi]
- Property-Based Modelling and Validation of a CBTC Zone Controller in Event-BMathieu Comptier, Michael Leuschel, Luis-Fernando Mejia, Julien Molinero Perez, Mareike Mutz. 202-212 [doi]
- Interlocking Formal Verification at Alstom SignallingCamille Parillaud, Yoann Fonteneau, Fabien Belmonte. 215-225 [doi]
- Survey on Formal Methods and Tools in Railways: The ASTRail ApproachAlessio Ferrari, Maurice H. ter Beek, Franco Mazzanti, Davide Basile, Alessandro Fantechi, Stefania Gnesi, Andrea Piattino, Daniele Trentini. 226-241 [doi]
- B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State EvolutionDalay Israel de Almeida Pereira, David Déharbe, Matthieu Perin, Philippe Bon. 242-258 [doi]
- Threat Modeling in the Railway DomainChristoph Schmittner, Peter Tummeltshammer, David Hofbauer, Abdelkader Magdy Shaaban, Michael Meidlinger, Markus Tauber, Arndt Bonitz, Reinhard Hametner, Manuela Brandstetter. 261-271 [doi]
- Integration Approach for Communications-Based Train Control Applications in a High Assurance Security ArchitectureThorsten Schulz, Frank Golatowski, Dirk Timmermann. 272-283 [doi]
- Merging Worlds - Aligning Safety and SecurityChristian Schlehuber, Dominik Renkel. 284-295 [doi]