Felix Schaber

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

Collaborative distances:

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

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