Nader Nayeri

According to our database, Nader Nayeri authored at least 3 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System.

Michael Leuschel, Nader Nayeri

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023

2020

Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model.

Dominik Hansen, Michael Leuschel, Philipp Körner, Sebastian Krings, Thomas Naulin, Nader Nayeri, David Schneider, Frank Skowron

Int. J. Softw. Tools Technol. Transf., 2020

2018

Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains.

Dominik Hansen, Michael Leuschel, David Schneider, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018