Felix Schaber

According to our database, Felix Schaber authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

2025

Moving Block in ERJU.

Peter Tummeltshammer, Felix Schaber

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

Promise-Driven Modeling: A Structured Approach for Modeling Cyber-Physical Systems.

Felix Schaber, Atif Mashkoor, Michael Leuschel

Proceedings of the Formal Methods for Industrial Critical Systems, 2025

2024

Towards a Novel Approach to Railway Safety Using STPA and Promise Theory.

Felix Schaber, Atif Mashkoor, Michael Leuschel

Proceedings of the Software Fault Prevention, Verification, and Validation, 2024