Jan Roßbach

According to our database, Jan Roßbach authored at least 5 papers between 2023 and 2025.

Collaborative distances:

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

2025

A case for data-oriented specifications: simpler implementation of B tools and DSLs.

Philipp Körner, Florian Mager, Jan Roßbach

Innov. Syst. Softw. Eng., September, 2025

Certified control for train sign classification.

Jan Roßbach, Michael Leuschel

Sci. Comput. Program., 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

Evaluating AI-Based Components in Autonomous Railway Systems - A Methodology.

Jan Roßbach, Oliver De Candido, Ahmed Hammam, Michael Leuschel

Proceedings of the KI 2024: Advances in Artificial Intelligence, 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