Sascha Müller

Orcid: 0000-0002-1913-1719

Affiliations:
  • DLR (German Aerospace Center), Braunschweig, Germany


According to our database1, Sascha Müller authored at least 6 papers between 2019 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Synthesizing FDIR recovery strategies for space systems.
PhD thesis, 2023

Applicability of Model Checking for Verifying Spacecraft Operational Designs.
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.
Proceedings of the Computer Safety, Reliability, and Security, 2021

2020
Synthesizing and optimizing FDIR recovery strategies from fault trees.
Sci. Comput. Program., 2020

2019
Synthesizing Failure Detection, Isolation, and Recovery Strategies from Nondeterministic Dynamic Fault Trees.
J. Aerosp. Inf. Syst., February, 2019

Spacecraft Interface Management in Concurrent Engineering Sessions.
Proceedings of the Cooperative Design, Visualization, and Engineering, 2019


  Loading...