Jan Gruteser

According to our database, Jan Gruteser authored at least 5 papers between 2023 and 2026.

Collaborative distances:

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

2026

Hardware-in-the-Loop Validation of Formal Models: An Application to AI-Controlled Drones.

Fabian Vu, Jan Gruteser, Philipp Körner, Michael Leuschel, David Geleßus, Miles Vella

Proceedings of the NASA Formal Methods, 2026

2025

Automated Semantic Validation of Railway Signaling Data on the Basis of Schematron.

Susanne Wunsch, Birgit Jaekel, Martin Lehnert, Christoph Klaus, Jan Gruteser, Michael Leuschel

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

2024

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems.

Jan Gruteser, Jan Roßbach, Fabian Vu, Michael Leuschel

Proceedings of the Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, 2024

Validation of RailML Using ProB.

Jan Gruteser, Michael Leuschel

Proceedings of the Engineering of Complex Computer Systems - 28th International Conference, 2024

2023

A Formal Model of Train Control with AI-Based Obstacle Detection.

Jan Gruteser, David Geleßus, Michael Leuschel, Jan Roßbach, Fabian Vu

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