default search action

combined dblp search
author search
venue search
publication search

ask others

RSSRail 2019: Lille, France

> Home > Conferences and Workshops > RSSRail

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/2019
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

- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/Fantechi19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/Fantechi19
Alessandro Fantechi:
Connected or Autonomous Trains? 3-19

Railways System and Infrastructure Advance Modelling

- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/IdaniLWAB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/IdaniLWAB19
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
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/BasileFRM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/BasileFRM19
Davide Basile, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò:
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System. 41-58
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/0001BHMPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/0001BHMPS19
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

- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/DillmannH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/DillmannH19
Stefan Dillmann, Reiner Hähnle:
Automated Planning of ETCS Tracks. 79-90
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/NakhaeeHSN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/NakhaeeHSN19
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
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/KarraLLS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/KarraLLS19
Shyam Lal Karra, Kim Guldstrand Larsen, Florian Lorber, Jirí Srba:
Safe and Time-Optimal Control for Railway Games. 106-122

Safety Process and Validation

- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/MuramGK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/MuramGK19
Faiz Ul Muram, Barbara Gallina, Samina Kanwal:
A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process. 125-141
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/0001KHP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/0001KHP19
Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger:
Efficient Data Validation for Geographical Interlocking Systems. 142-158
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/FischerD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/FischerD19
Tomas Fischer, Dana Dghaym:
Formal Model Validation Through Acceptance Tests. 159-169

Modelling

- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/LedruIAWB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/LedruIAWB19
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
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/AberBFMO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/AberBFMO19
Naïm Aber, Benjamin Blanc, Nathalie Ferkane, Mohand Meziani, Julien Ordioni:
RBS2HLL - A Formal Modeling of Relay-Based Interlocking. 191-201
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/ComptierLMPM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/ComptierLMPM19
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

- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/ParillaudFB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/ParillaudFB19
Camille Parillaud, Yoann Fonteneau, Fabien Belmonte:
Interlocking Formal Verification at Alstom Signalling. 215-225
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/FerrariBMBFGPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/FerrariBMBFGPT19
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
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/PereiraDPB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/PereiraDPB19
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

- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/SchmittnerTHSMT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/SchmittnerTHSMT19
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
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/SchulzGT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/SchulzGT19
Thorsten Schulz, Frank Golatowski, Dirk Timmermann:
Integration Approach for Communications-Based Train Control Applications in a High Assurance Security Architecture. 272-283
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/SchlehuberR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/SchlehuberR19
Christian Schlehuber, Dominik Renkel:
Merging Worlds - Aligning Safety and Security. 284-295

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.