Abstract is missing.
- The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons LearnedRobin E. Bloomfield, Marcus Bendele, Peter G. Bishop, Robert J. Stroud, Simon Tonks. 3-19 [doi]
- Using Formal Proof and B Method at System Level for Industrial ProjectsDenis Sabatier. 20-31 [doi]
- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System ControllersJan Peleska, Wen-ling Huang, Felix Hübner. 32-49 [doi]
- A Formal Security Analysis of ERTMS Train to Trackside ProtocolsJoeri de Ruiter, Richard J. Thomas, Tom Chothia. 53-68 [doi]
- Operational Security - A Coming Evolution of Railway Operational Procedures Under the IT Security ThreatPo-Chi Huang, Birgit Milius. 69-78 [doi]
- Risk Assessment of the 3Des in ERTMSFlorent Pépin, Maria Grazia Vigliotti. 79-92 [doi]
- Failure Analysis of Chinese Train Control System Level 3 Based on Model CheckingXiao Han, Tao Tang, Jidong Lv, Haifeng Wang. 95-105 [doi]
- Correct Formalization of Requirement Specifications: A V-Model for Building Formal ModelsMarco Filax, Tim Gonschorek, Frank Ortmeier. 106-122 [doi]
- Static Verification of Railway Schema and Interlocking Design DataAlexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah. 123-133 [doi]
- Verification of Railway Interlocking - Compositional Approach with OCRAChristophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta. 134-149 [doi]
- Safety Verification of Heterogeneous Railway NetworksPaulius Stankaitis, Alexei Iliasov. 150-159 [doi]
- Comparing Formal Verification Approaches of Interlocking SystemsAnne Elisabeth Haxthausen, Hoang Nga Nguyen, Markus Roggenbach. 160-177 [doi]
- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway SystemsLuke J. W. Martin. 178-188 [doi]
- Applying Abstract Interpretation to Verify EN-50128 Software Safety RequirementsDaniel Kästner, Christian Ferdinand. 191-202 [doi]
- The PERF Approach for Formal VerificationNazim Benaïssa, David Bonvoisin, Abderrahmane Feliachi, Julien Ordioni. 203-214 [doi]
- Abstract Software Specifications and Automatic Proof of RefinementClaire Dross, Yannick Moy. 215-230 [doi]
- S3: Proving the Safety of Critical SystemsNicolas Breton, Yoann Fonteneau. 231-242 [doi]
- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-ErgoSylvain Conchon, Mohamed Iguernelala. 243-253 [doi]