Sascha Müller

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 7

Top Topics

Automated Verification

Failure Detection

Top Venues

Sci. Comput. Program.

J. Aerosp. Inf. Syst.

Publications

Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller, Philipp Martin Fischer, Andreas Gerndt, Michael Felderer
Applicability of Model Checking for Verifying Spacecraft Operational Designs. Modellierung (2024)
Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller, Philipp Martin Fischer, Andreas Gerndt, Michael Felderer
Applicability of Model Checking for Verifying Spacecraft Operational Designs. MODELS (2023)
Sascha Müller, Adeline Jordon, Andreas Gerndt, Thomas Noll
A Modular Approach to Non-deterministic Dynamic Fault Trees. SAFECOMP (2021)
Sascha Müller, Liana Mikaelyan, Andreas Gerndt, Thomas Noll
Synthesizing and optimizing FDIR recovery strategies from fault trees. Sci. Comput. Program. 196 (2020)
Philipp Martin Fischer, Caroline Lange, Volker Maiwald, Sascha Müller, Andrii Kovalov, Janis Häseker, Thomas Gärtner, Andreas Gerndt
Spacecraft Interface Management in Concurrent Engineering Sessions. CDVE (2019)
Sascha Müller, Andreas Gerndt, Thomas Noll
Synthesizing Failure Detection, Isolation, and Recovery Strategies from Nondeterministic Dynamic Fault Trees. J. Aerosp. Inf. Syst. 16 (2) (2019)
Liana Mikaelyan, Sascha Müller, Andreas Gerndt, Thomas Noll
Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees. FTSCS (2018)