| 0 | -- | 0 | Anne Elisabeth Haxthausen, Alessandro Fantechi. Compositional Verification of Railway Interlocking Systems |
| 0 | -- | 0 | Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte, Jim Woodcock 0001. Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems |
| 0 | -- | 0 | Mark Bouwman, Djurre van der Wal, Bas Luttik, Mariëlle Stoelinga, Arend Rensink. A Case in Point: Verification and Testing of a EULYNX Interface |
| 0 | -- | 0 | Zakaryae Boudi, Abderrahim Ait Wakrime, Mohamed Toub, Mohamed Haloua. A Deep Reinforcement Learning Framework with Formal Verification |
| 0 | -- | 0 | Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Alexei Iliasov, Alexander B. Romanovsky, Paulius Stankaitis. A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems |