- Eduard Kamburjan, Reiner Hähnle
:
Deductive Verification of Railway Operations. RSSRail 2017: 131-147 - Ci Liang, Mohamed Ghazel
, Olivier Cazier, Laurent Bouillaut, El-Miloudi El-Koursi:
Bayesian Network Modeling Applied on Railway Level Crossing Safety. RSSRail 2017: 116-130 - Gianluca Mandò, Giovanni Giambene
:
LTE System Design for Urban Light Rail Transport. RSSRail 2017: 17-33 - Vincenzo Di Massa, Mirko Damiani, Maurizio Papini, Gianluca Mandò:
Redundant and Reliable Architecture Based on Open Source Tools for Light-Rail-Transit On-Board-Systems. RSSRail 2017: 212-220 - Stefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm, André Platzer
:
Formal Verification of Train Control with Air Pressure Brakes. RSSRail 2017: 173-191 - Paulius Stankaitis, Alexei Iliasov:
Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks. RSSRail 2017: 241-250 - William G. Temple, Yue Wu, Binbin Chen
, Zbigniew Kalbarczyk:
Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-engineering. RSSRail 2017: 51-67 - Linh H. Vu, Anne E. Haxthausen
, Jan Peleska:
A Domain-Specific Language for Generic Interlocking Models and Their Properties. RSSRail 2017: 99-115 - Alessandro Fantechi, Thierry Lecomte
, Alexander B. Romanovsky:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings. Lecture Notes in Computer Science 10598, Springer 2017, ISBN 978-3-319-68498-7 [contents] - 2016
- Nazim Benaïssa, David Bonvoisin, Abderrahmane Feliachi, Julien Ordioni:
The PERF Approach for Formal Verification. RSSRail 2016: 203-214 - Robin E. Bloomfield, Marcus Bendele, Peter G. Bishop
, Robert J. Stroud, Simon Tonks:
The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned. RSSRail 2016: 3-19 - Nicolas Breton, Yoann Fonteneau:
S3: Proving the Safety of Critical Systems. RSSRail 2016: 231-242 - Sylvain Conchon, Mohamed Iguernelala:
Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo. RSSRail 2016: 243-253 - Claire Dross, Yannick Moy:
Abstract Software Specifications and Automatic Proof of Refinement. RSSRail 2016: 215-230 - Marco Filax
, Tim Gonschorek
, Frank Ortmeier:
Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models. RSSRail 2016: 106-122 - Xiao Han, Tao Tang, Jidong Lv, Haifeng Wang:
Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking. RSSRail 2016: 95-105 - Anne Elisabeth Haxthausen
, Hoang Nga Nguyen, Markus Roggenbach:
Comparing Formal Verification Approaches of Interlocking Systems. RSSRail 2016: 160-177 - Po-Chi Huang, Birgit Milius
:
Operational Security - A Coming Evolution of Railway Operational Procedures Under the IT Security Threat. RSSRail 2016: 69-78 - Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah:
Static Verification of Railway Schema and Interlocking Design Data. RSSRail 2016: 123-133 - Daniel Kästner, Christian Ferdinand:
Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements. RSSRail 2016: 191-202 - Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta:
Verification of Railway Interlocking - Compositional Approach with OCRA. RSSRail 2016: 134-149 - Luke J. W. Martin:
Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems. RSSRail 2016: 178-188 - Jan Peleska, Wen-ling Huang, Felix Hübner:
A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers. RSSRail 2016: 32-49 - Florent Pépin, Maria Grazia Vigliotti:
Risk Assessment of the 3Des in ERTMS. RSSRail 2016: 79-92 - Joeri de Ruiter
, Richard J. Thomas
, Tom Chothia:
A Formal Security Analysis of ERTMS Train to Trackside Protocols. RSSRail 2016: 53-68 - Denis Sabatier:
Using Formal Proof and B Method at System Level for Industrial Projects. RSSRail 2016: 20-31 - Paulius Stankaitis, Alexei Iliasov:
Safety Verification of Heterogeneous Railway Networks. RSSRail 2016: 150-159 - Thierry Lecomte
, Ralf Pinger, Alexander B. Romanovsky
:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings. Lecture Notes in Computer Science 9707, Springer 2016, ISBN 978-3-319-33950-4 [contents]