Hannes Stützer
Chair of Software & Systems Engineering (CSSE)
2025
Book chapter
Bridging static and dynamic design for enhanced safety analysis
Gonschorek, Tim; Stützer, Hannes; Ortmeier, Frank; Oppermann, Michael
In: 2025 Annual Reliability and Maintainability Symposium (RAMS) , 2025 - Piscataway, NJ : IEEE, insges. 7 S. [Symposium: 2025 Annual Reliability and Maintainability Symposium, RAMS, Destin, FL, USA, 27-30 January 2025]
2023
Book chapter
A formal verification framework for model checking safety requirements of a simulink landing gear case study
Gonschorek, Tim; Stützer, Hannes; Ortmeier, Frank; Wehmeier, Leon; Oppermann, Michael
In: European Conference on Safety and Reliability (ESREL), 3rd September - 7th September 2023, insges. 8 S. [Konferenz: 33rd European Safety and Reliability Conference (ESREL 2023), Southampton, UK, 3 - 8 September 2023]