C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Sascha Müller
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 5
Top Topics
Fault Detection
Concurrent Engineering
Labeled Trees
Online Auctions
Top Venues
FTSCS
Sci. Comput. Program.
SAFECOMP
MODELS
</>
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.
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)
Liana Mikaelyan
,
Sascha Müller
,
Andreas Gerndt
,
Thomas Noll
Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees.
FTSCS
(2018)