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 6 papers between 2019 and 2023.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Synthesizing FDIR recovery strategies for space systems.

[BibT_eX]

[DOI]

Sascha Müller

PhD thesis, 2023

Applicability of Model Checking for Verifying Spacecraft Operational Designs.

[BibT_eX]

[DOI]

Philipp Martin Fischer

Andreas Gerndt

Michael Felderer

Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2021

A Modular Approach to Non-deterministic Dynamic Fault Trees.

[BibT_eX]

[DOI]

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

2020

Synthesizing and optimizing FDIR recovery strategies from fault trees.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2020

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

Sascha Müller

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...