| Synthesizing FDIR recovery strategies from non-deterministic dynamic fault trees S Müller, A Gerndt, T Noll AIAA SPACE and Astronautics Forum and Exposition, 5163, 2017 | 4 | 2017 |
| Dynamic Fault Tree Analysis for a Distributed Onboard Computer K Höflinger, S Müller, T Peng, M Ulmer, D Lüdtke, A Gerndt 2019 IEEE Aerospace Conference, 1-13, 2019 | 1 | 2019 |
| Spacecraft Interface Management in Concurrent Engineering Sessions PM Fischer, C Lange, V Maiwald, S Müller, A Kovalov, J Häseker, ... International Conference on Cooperative Design, Visualization and …, 2019 | | 2019 |
| Synthesizing Failure Detection, Isolation, and Recovery Strategies from Nondeterministic Dynamic Fault Trees S Müller, A Gerndt, T Noll Journal of Aerospace Information Systems 16 (2), 52-60, 2018 | | 2018 |
| Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees L Mikaelyan, S Müller, A Gerndt, T Noll International Workshop on Formal Techniques for Safety-Critical Systems, 37-54, 2018 | | 2018 |
| About Tycho, Maven, p2 and Target-Platforms: From Pain to Best Practice S Müller, PM Fischer, T Schlauch | | |
| Towards a Conceptual Data Model for Fault Detection, Isolation and Recovery in Virtual Satellite S Müller, A Gerndt | | |
