Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRSSRail 2019: Lille, France
- 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
Keynote Talk
- Alessandro Fantechi
:
Connected or Autonomous Trains? 3-19
Railways System and Infrastructure Advance Modelling
- 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. 23-40 - Davide Basile, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò:
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System. 41-58 - Nathalie Bertrand, Benjamin Bordais, Loïc Hélouët, Thomas Mari, Julie Parreaux, Ocan Sankur:
Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking. 59-76
Scheduling and Track Planning
- Stefan Dillmann, Reiner Hähnle:
Automated Planning of ETCS Tracks. 79-90 - Muhammad Chenariyan Nakhaee, Djoerd Hiemstra, Mariëlle Stoelinga, Martijn van Noort:
The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey. 91-105 - Shyam Lal Karra, Kim Guldstrand Larsen, Florian Lorber, Jirí Srba:
Safe and Time-Optimal Control for Railway Games. 106-122
Safety Process and Validation
- Faiz Ul Muram, Barbara Gallina, Samina Kanwal:
A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process. 125-141 - Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger:
Efficient Data Validation for Geographical Interlocking Systems. 142-158 - Tomas Fischer, Dana Dghaym:
Formal Model Validation Through Acceptance Tests. 159-169
Modelling
- 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. 173-190 - Naïm Aber, Benjamin Blanc, Nathalie Ferkane, Mohand Meziani, Julien Ordioni:
RBS2HLL - A Formal Modeling of Relay-Based Interlocking. 191-201 - 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. 202-212
Formal Verification
- Camille Parillaud, Yoann Fonteneau, Fabien Belmonte:
Interlocking Formal Verification at Alstom Signalling. 215-225 - 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. 226-241 - 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. 242-258
Security
- 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. 261-271 - Thorsten Schulz, Frank Golatowski, Dirk Timmermann:
Integration Approach for Communications-Based Train Control Applications in a High Assurance Security Architecture. 272-283 - Christian Schlehuber, Dominik Renkel:
Merging Worlds - Aligning Safety and Security. 284-295
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-26 18:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
