Jan Gruteser

Kontakt

Heinrich-Heine-Universität Düsseldorf
Institut für Informatik
Universitätsstraße 1
D-40225 Düsseldorf
Raum: 25.12.02.52

Tel.: +49 211 81-12635
Fax: +49 211 81-10712
E-Mail: jan.gruteser(at)hhu.de

Sprechzeit: Mo. 13:00 - 14:00 n.V.

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

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