2026

Jan Gruteser, Michael Leuschel, Susanne Wunsch
Type-Safe Validation of XML Railway Data in B.
In Journeys Between Formal Methods and the Railway Industry -- Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday, 2026.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-032-12484-5_16
Katharina Engels, Jan Gruteser, Michael Leuschel
An Event-B Sequent Prover in Prolog and ProB.
In 13th Rodin User and Developer Workshop, 2026.
- LINK
Fabian Vu, Jan Gruteser, Philipp Körner, Michael Leuschel, David Geleßus, Miles Vella
Hardware-in-the-Loop Validation of Formal Models: An Application to AI-Controlled Drones.
In Proceedings NFM 2026, LNCS, 16622, Springer, 120--141, 2026.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-032-28079-4_6

2025

Timo Strobel, Wolfgang-Reza Sharavi, Sadegh Sadeghipour, Nicolas Grube, Michael Leuschel, Jan Gruteser, Jan Roßbach, Oliver De Candido, Anja Philippsen, Dorian Knoblauch
KI-LOK – a joint project involving test procedures for AI-based components in railway operations.
In SIGNALLING & DATACOMMUNICATION, 29--37, 2025.
- LINK
Jan Gruteser, Michael Leuschel
Interactive Trace Replay for Event-B Models.
In 12th Rodin User and Developer Workshop, 2025.
- PDF
- LINK
Katharina Engels, Jan Gruteser, Michael Leuschel
Interactive Proving with ProB.
In 12th Rodin User and Developer Workshop, 2025.
- PDF
- LINK
Susanne Wunsch, Birgit Jaekel, Martin Lehnert, Christoph Klaus, Jan Gruteser, Michael Leuschel
Automated Semantic Validation of Railway Signaling Data on the Basis of Schematron.
In Proceedings RSSRail 2025, LNCS, 16236, Springer, 213--230, 2025.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-032-10762-6_17

Jan Gruteser, Michael Leuschel
Validation of railML Using ProB.
In Proceedings ICECCS 2024, LNCS, 14784, Springer, 245--256, 2024.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-66456-4_13
Michael Leuschel, Jan Gruteser
Real Animation of TLA+ Models.
In TLA+ Community Event, 2024.
- PDF
Jan Gruteser, Jan Roßbach, Fabian Vu, Michael Leuschel
Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems.
In Proceedings FMAS 2024, EPTCS, 411, 151--159, 2024.
- The final authenticated version is available online at https://doi.org/10.4204/EPTCS.411.10
Michael Leuschel, Jan Gruteser, Jan Roßbach
Prüfverfahren für KI-basierte Komponenten im Eisenbahnbetrieb (KI-LOK).
Technical Report, Heinrich-Heine-Universität Düsseldorf, HHU-STUPS 2024-12-1, 2024.
- PDF
- LINK

Jan Gruteser, David Geleßus, Michael Leuschel, Jan Roßbach, Fabian Vu
A Formal Model of Train Control with AI-Based Obstacle Detection.
In Proceedings RSSRail 2023, Birgit Milius and Simon Collart Dutilleul and Thierry Lecomte, LNCS, 14198, Springer, 128--145, 2023.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-43366-5_8
Jan Gruteser
Modeling and Verification of Railway Systems: Translation of RailML Into the B-Method.
Master Thesis, Heinrich-Heine-Universität, Düsseldorf, Germany, 2023.
- LINK