Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319339504, 9783319339511

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-33951-1_13 ◽

2016 ◽

pp. 178-188 ◽

Cited By ~ 5

Author(s):

Luke J. W. Martin

Keyword(s):

Machine Learning ◽

Railway Systems

Download Full-text

Abstract Software Specifications and Automatic Proof of Refinement

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-33951-1_16 ◽

2016 ◽

pp. 215-230 ◽

Cited By ~ 2

Author(s):

Claire Dross ◽

Yannick Moy

Keyword(s):

Software Specifications

Download Full-text

A Formal Security Analysis of ERTMS Train to Trackside Protocols

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-33951-1_4 ◽

2016 ◽

pp. 53-68 ◽

Cited By ~ 2

Author(s):

Joeri de Ruiter ◽

Richard J. Thomas ◽

Tom Chothia

Keyword(s):

Security Analysis

Download Full-text

Static Verification of Railway Schema and Interlocking Design Data

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-33951-1_9 ◽

2016 ◽

pp. 123-133 ◽

Cited By ~ 3

Author(s):

Alexei Iliasov ◽

Paulius Stankaitis ◽

David Adjepon-Yamoah

Keyword(s):

Design Data ◽

Static Verification

Download Full-text

The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-33951-1_1 ◽

2016 ◽

pp. 3-19 ◽

Cited By ~ 7

Author(s):

Robin Bloomfield ◽

Marcus Bendele ◽

Peter Bishop ◽

Robert Stroud ◽

Simon Tonks

Keyword(s):

Risk Assessment ◽

Cyber Security ◽

Lessons Learned ◽

Railway Systems

Download Full-text

Safety Verification of Heterogeneous Railway Networks

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-33951-1_11 ◽

2016 ◽

pp. 150-159 ◽

Cited By ~ 1

Author(s):

Paulius Stankaitis ◽

Alexei Iliasov

Keyword(s):

Safety Verification ◽

Railway Networks

Download Full-text

Risk Assessment of the 3Des in ERTMS

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-33951-1_6 ◽

2016 ◽

pp. 79-92 ◽

Cited By ~ 3

Author(s):

Florent Pépin ◽

Maria Grazia Vigliotti

Keyword(s):

Risk Assessment

Download Full-text

Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-33951-1_18 ◽

2016 ◽

pp. 243-253 ◽

Cited By ~ 2

Author(s):

Sylvain Conchon ◽

Mohamed Iguernlala

Download Full-text

Comparing Formal Verification Approaches of Interlocking Systems

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-33951-1_12 ◽

2016 ◽

pp. 160-177 ◽

Cited By ~ 2

Author(s):

Anne Elisabeth Haxthausen ◽

Hoang Nga Nguyen ◽

Markus Roggenbach

Keyword(s):

Formal Verification

Download Full-text

Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-33951-1_7 ◽

2016 ◽

pp. 95-105 ◽

Cited By ~ 1

Author(s):

Xiao Han ◽

Tao Tang ◽

Jidong Lv ◽

Haifeng Wang

Keyword(s):

Control System ◽

Model Checking ◽

Failure Analysis ◽

System Level ◽

Train Control ◽

Train Control System ◽

Level 3

Download Full-text

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems

Abstract Software Specifications and Automatic Proof of Refinement

A Formal Security Analysis of ERTMS Train to Trackside Protocols

Static Verification of Railway Schema and Interlocking Design Data

The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned

Safety Verification of Heterogeneous Railway Networks

Risk Assessment of the 3Des in ERTMS

Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo

Comparing Formal Verification Approaches of Interlocking Systems

Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science
Latest Publications