default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRSSRail 2017: Pistoia, Italy
- 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
Keynote Talk
- Jens Braband:
Cyber Security in Railways: Quo Vadis? 3-14
Communication Challenges in Railway Systems
- Gianluca Mandò, Giovanni Giambene:
LTE System Design for Urban Light Rail Transport. 17-33 - Roberto Canonico, Stefano Marrone, Roberto Nardone, Valeria Vittorini:
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS. 34-50 - William G. Temple, Yue Wu, Binbin Chen, Zbigniew Kalbarczyk:
Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-engineering. 51-67
Formal Modelling and Verification for Safety
- Michael J. Butler, Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin F. Snook, Peter Tummeltshammer:
Formal Modelling Techniques for Efficient Development of Railway Control Products. 71-86 - Manel Fredj, Sven Leger, Abderrahmane Feliachi, Julien Ordioni:
OVADO - Enhancing Data Validation for Safety-Critical Railway Systems. 87-98 - Linh H. Vu, Anne E. Haxthausen, Jan Peleska:
A Domain-Specific Language for Generic Interlocking Models and Their Properties. 99-115 - Ci Liang, Mohamed Ghazel, Olivier Cazier, Laurent Bouillaut, El-Miloudi El-Koursi:
Bayesian Network Modeling Applied on Railway Level Crossing Safety. 116-130 - Eduard Kamburjan, Reiner Hähnle:
Deductive Verification of Railway Operations. 131-147 - Mathieu Comptier, David Déharbe, Julien Molinero Perez, Louis Mussat, Pierre Thibaut, Denis Sabatier:
Safety Analysis of a CBTC System: A Rigorous Approach with Event-B. 148-159 - Alexandra Halchin, Abderrahmane Feliachi, Neeraj Kumar Singh, Yamine Aït Ameur, Julien Ordioni:
B-PERFect - Applying the PERF Approach to B Based System Developments. 160-172 - Stefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm, André Platzer:
Formal Verification of Train Control with Air Pressure Brakes. 173-191
Light Rail and Urban Transit
- Bruno Adeline, Pierre Dersin, Éric Fabre, Loïc Hélouët, Karim Kecir:
An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems. 195-211 - 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. 212-220 - Davide Basile, Felicita Di Giandomenico, Stefania Gnesi:
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming. 221-237
Engineering Techniques and Standards
- Paulius Stankaitis, Alexei Iliasov:
Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks. 241-250 - Alessio Ferrari, Mario Fusani, Stefania Gnesi:
Are Standards an Ambiguity-Free Reference for Product Validation? 251-264
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 2025-12-20 23:47 CET 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:
