Sascha Müller

Orcid: 0000-0002-1913-1719

Affiliations:

DLR (German Aerospace Center), Braunschweig, Germany

According to our database¹, Sascha Müller authored at least 7 papers between 2018 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

Model checking of spacecraft operational designs: a scalability analysis.

[BibT_eX]

[DOI]

Philipp Martin Fischer

Andreas Gerndt

Michael Felderer

Softw. Syst. Model., December, 2025

2024

Applicability of Model Checking for Verifying Spacecraft Operational Designs.

[BibT_eX]

[DOI]

Philipp Martin Fischer

Andreas Gerndt

Michael Felderer

Proceedings of the Modellierung 2024, Potsdam, Germany, 2024

2023

Synthesizing FDIR recovery strategies for space systems.

[BibT_eX]

[DOI]

Sascha Müller

PhD thesis, 2023

2021

A Modular Approach to Non-deterministic Dynamic Fault Trees.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2021

2019

Synthesizing Failure Detection, Isolation, and Recovery Strategies from Nondeterministic Dynamic Fault Trees.

[BibT_eX]

[DOI]

Sascha Müller

Andreas Gerndt

Thomas Noll

J. Aerosp. Inf. Syst., February, 2019

Spacecraft Interface Management in Concurrent Engineering Sessions.

[BibT_eX]

[DOI]

Philipp Martin Fischer

Proceedings of the Cooperative Design, Visualization, and Engineering, 2019

2018

Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Safety-Critical Systems, 2018

Sascha Müller

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...