Abstract is missing.
- Cyber Security in Railways: Quo Vadis?Jens Braband. 3-14 [doi]
- LTE System Design for Urban Light Rail TransportGianluca Mandò, Giovanni Giambene. 17-33 [doi]
- A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCSRoberto Canonico, Stefano Marrone, Roberto Nardone, Valeria Vittorini. 34-50 [doi]
- Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-engineeringWilliam G. Temple, Yue Wu, Binbin Chen, Zbigniew Kalbarczyk. 51-67 [doi]
- Formal Modelling Techniques for Efficient Development of Railway Control ProductsM. Butler, Dana Dghaym, T. Fischer, Thai Son Hoang, Klaus Reichl, Colin F. Snook, Peter Tummeltshammer. 71-86 [doi]
- OVADO - Enhancing Data Validation for Safety-Critical Railway SystemsManel Fredj, Sven Leger, Abderrahmane Feliachi, Julien Ordioni. 87-98 [doi]
- A Domain-Specific Language for Generic Interlocking Models and Their PropertiesLinh H. Vu, Anne Elisabeth Haxthausen, Jan Peleska. 99-115 [doi]
- Bayesian Network Modeling Applied on Railway Level Crossing SafetyCi Liang, Mohamed Ghazel, Olivier Cazier, Laurent Bouillaut, El-Miloudi El-Koursi. 116-130 [doi]
- Deductive Verification of Railway OperationsEduard Kamburjan, Reiner Hähnle. 131-147 [doi]
- Safety Analysis of a CBTC System: A Rigorous Approach with Event-BMathieu Comptier, David Déharbe, Julien Molinero Perez, Louis Mussat, Pierre Thibaut, Denis Sabatier. 148-159 [doi]
- B-PERFect - Applying the PERF Approach to B Based System DevelopmentsAlexandra Halchin, Abderrahmane Feliachi, Neeraj Kumar Singh, Yamine Aït Ameur, Julien Ordioni. 160-172 [doi]
- Formal Verification of Train Control with Air Pressure BrakesStefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm, André Platzer. 173-191 [doi]
- An Efficient Evaluation Scheme for KPIs in Regulated Urban Train SystemsBruno Adeline, Pierre Dersin, Éric Fabre, Loïc Hélouët, Karim Kecir. 195-211 [doi]
- Redundant and Reliable Architecture Based on Open Source Tools for Light-Rail-Transit On-Board-SystemsVincenzo Di Massa, Mirko Damiani, Maurizio Papini, Gianluca Mandò. 212-220 [doi]
- Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear ProgrammingDavide Basile, Felicita Di Giandomenico, Stefania Gnesi. 221-237 [doi]
- Theories, Techniques and Tools for Engineering Heterogeneous Railway NetworksPaulius Stankaitis, Alexei Iliasov. 241-250 [doi]
- Are Standards an Ambiguity-Free Reference for Product Validation?Alessio Ferrari, Mario Fusani, Stefania Gnesi. 251-264 [doi]