Accepted Papers

Title of PaperAuthors

Merging Worlds - aligning safety and security


Christian Schlehuber and Dominik Renkel

Formal Model Validation through Acceptance Tests


 Tomas Fischer and Dana Dghyam

Survey on Formal Methods and Tools in Railways: The ASTRail Approach


Alessio Ferrari, Maurice H. ter Beek, Franco Mazzanti, Davide Basile, Stefania Gnesi, Alessandro Fantechi, Andrea Piattino and Daniele Trentini

Statistical model checking of hazards in an autonomous tramway positioning system


Davide Basile, Alessandro Fantechi, Luigi Rucher and Gianluca Mandò

Efficient Data Validation for Interlocking Systems


Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen and Ralf Pinger

Interlocking Formal Verification at Alstom Signalling


Camille Parillaud, Yoann Fonteneau and Fabien Belmonte

Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B


Mathieu Comptier, Michael Leuschel, Luis-Fernando Mejia, Julien Molinero Perez and Mareike Mutz

The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey


Muhammad Chenariyan Nakhaee, Djoerd Hiemstra, Mariëlle Stoelinga and Martijn van Noort

Integration Approach for Communications-based Train Control Applications in a High Assurance Security Architecture


Thorsten Schulz, Frank Golatowski and Dirk Timmermann

RBS2HLL: A formal modelling of relay-based interlocking


Naim Aber, Benjamin Blanc, Nathalie Ferkane, Mohand Ameziane Meziani and Julien Ordioni

Performance Evaluation of Metro Regulations Using Probabilistic Model-checking


Loic Helouet, Nathalie Bertrand, Ocan Sankur, Thomas Mari, Julie Parreaux and Benjamin Bordais

B-specification of Relay-based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution


Dalay Israel de Almeida Pereira, David Deharbe, Matthieu Perin and Philippe Bon

A separation of concerns approach for the verified modelling of railway signalling rules


Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime and Phlippe 

Automated Planning of ETCS Tracks


Stefan Dillmann and Reiner Hähnle

A Tool-supported Model-based Method for Facilitating the EN50129-compliant Safety Approval Process


Faiz Ul Muram, Barbara Gallina and Samina Kanwal

Towards a tool-based domain specific approach for railway systems modeling and validation


Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed and Philippe Bon

Safe and Time-Optimal Control for Railway Games


Shyam Lal Karra, Kim G. Larsen, Florian Lorber and Jiri Srba

Threat Modeling in the Railway Domain


Christoph Schmittner, Peter Tummeltshammer, David Hofbauer, Abdelkader Shaaban, Michael Meidlinger, Markus Tauber, Arndt Bonitz, Reinhard Hametner and Manuela Brandstetter