Stefan Dillmann

According to our database, Stefan Dillmann authored at least 2 papers between 2019 and 2025.

Collaborative distances:

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

2025

SMT-Based Verification of Railway Plannings.

Stefan Dillmann, Reiner Hähnle

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

2019

Automated Planning of ETCS Tracks.

Stefan Dillmann, Reiner Hähnle

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