Accepted Papers
| Title of Paper | Authors |
|---|---|
|
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 |
