From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “fault tree analysis” 14

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Dynamic fault tree analysis using binary decision diagrams
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Software Engineering Research Open access

Daniel Basgöze

0

citations
SAFEST: Fault Tree Analysis Via Probabilistic Model Checking
2024 conference-paper Computer Science Software Reliability and Analysis Research Open access

Matthias Volk, Falak Sher, Joost-Pieter Katoen, Mariëlle I. A. Stoelinga

13

citations
Artifact for "BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees"
2022 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Software System Performance and Reliability Open access

Daniel Basgöze, Joost-Pieter Katoen, Shahid Ali Khan, Mariëlle I. A. Stoelinga

2

citations
Artifact for "BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees"
2022 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Software System Performance and Reliability Open access

Daniel Basgöze, Joost-Pieter Katoen, Shahid Ali Khan, Mariëlle I. A. Stoelinga

0

citations
Artifact for "BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees"
2022 University of Twente Research Information dataset Computer Science Software System Performance and Reliability Open access

Daniel Basgöze, Joost-Pieter Katoen, Shahid Ali Khan, Mariëlle I. A. Stoelinga

0

citations
Artefact for PhD thesis "Dynamic Fault Trees: Semantics, Analysis and Applications"
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Software System Performance and Reliability Open access

Matthias Volk

0

citations
Artefact for PhD thesis "Dynamic Fault Trees: Semantics, Analysis and Applications"
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Software System Performance and Reliability Open access

Matthias Volk

0

citations
Comparison of System Theoretic Process Analysis and Cause Tree Analysis Applied on an Autonomous Parking System from Safety of the Intended Functionality Perspective
2024 conference-paper Computer Science Technology and Data Analysis

Okan Özçetin, Pascal Brudke

3

citations
BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees
2022 arXiv (Cornell University) preprint Computer Science Software Reliability and Analysis Research Open access

Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Mariëlle I. A. Stoelinga

2

citations
Synthesizing and optimizing FDIR recovery strategies from fault trees
2020 Science of Computer Programming article Computer Science Software System Performance and Reliability Open access

Sascha Müller, Liana Mikaelyan, Andreas Gerndt, Thomas Noll

4

citations
DFT modeling approach for operational risk assessment of railway infrastructure
2022 International Journal on Software Tools for Technology Transfer article Computer Science Software Reliability and Analysis Research Open access

Norman Weik, Matthias Volk, Joost-Pieter Katoen, Nils Nießen

20

citations
Various Ways to Quantify BDMPs
2020 Electronic Proceedings in Theoretical Computer Science article Computer Science Software Reliability and Analysis Research Open access

Marc Bouissou, Shahid Ali Khan, Joost-Pieter Katoen, Pavel Krčál

5

citations
Various Ways to Quantify BDMPs
2020 RWTH Publications (RWTH Aachen) article Computer Science Software Reliability and Analysis Research Open access

Marc Bouissou, Shahid Ali Khan, Joost-Pieter Katoen, Pavel Krčál

3

citations
The probabilistic model checker Storm
2021 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk

245

citations

14 results