From

Institution

Field

Type

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

Reset

Papers matching “fault tree analysis” 22

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 Decision Sciences Risk and Safety Analysis Open access

Daniel Basgöze

0

citations
SAFEST: The Static and Dynamic Fault Tree Analysis Tool
2023 European Safety and Reliability Conference (ESREL) conference-paper Decision Sciences Risk and Safety Analysis Open access

Matthias Volk, Muzammil Ibne Irshad, Joost-Pieter Katoen, Falak Sher, Mariëlle I. A. Stoelinga, Zafar Ahmad

0

citations
Evaluating tool support for fault tree analysis of satellite constellations
2025 RWTH Publications (RWTH Aachen) article Decision Sciences Risk and Safety Analysis Open access

0

citations
SAFEST: Fault Tree Analysis Via Probabilistic Model Checking
2024 Proceedings, annual Reliability and Maintainability Symposium/Proceedings. Annual Reliability and Maintainability Symposium conference-paper Decision Sciences Risk and Safety Analysis 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 Decision Sciences Risk and Safety Analysis 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 Decision Sciences Risk and Safety Analysis 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 Decision Sciences Risk and Safety Analysis 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 Decision Sciences Risk and Safety Analysis 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 Decision Sciences Risk and Safety Analysis Open access

Matthias Volk

0

citations
BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees
2022 arXiv (Cornell University) preprint Decision Sciences Risk and Safety Analysis Open access

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

2

citations
Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees
2021 Latin-American Symposium on Dependable Computing conference-paper Decision Sciences Risk and Safety Analysis Open access

Shahid Ali Khan, Joost-Pieter Katoen, Matthias Volk, Zafar Ahmad, Falak Sher

3

citations
Information requirements analysis for process-oriented decision support via predictive quality models in production
2024 Procedia CIRP article Engineering Fault Detection and Control Systems Open access

Daniel Buschmann, Tobias Schulze, Sebastian Beckschulte, Robert Heinrich Schmitt

4

citations
Synthesizing and optimizing FDIR recovery strategies from fault trees
2020 Science of Computer Programming article Computer Science Formal Methods in Verification Open access

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

4

citations
Advanced Microscopy and Machine Learning for Multiscale Analysis of Porosity and Mineralogy
2026 conference-abstract Environmental Science CO2 Sequestration and Geologic Interactions Open access

Joyce Schmatz, Mingze Jiang, Julia Schmitz

0

citations
D6.6 Divide and quantum open source software
2022 Zenodo (CERN European Organization for Nuclear Research) report Computer Science Quantum Computing Algorithms and Architecture Open access

Sebastiaan Brand, Alfons Laarman

1

citations
DFT modeling approach for operational risk assessment of railway infrastructure
2022 International Journal on Software Tools for Technology Transfer article Decision Sciences Risk and Safety Analysis 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 Decision Sciences Risk and Safety Analysis 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 Decision Sciences Risk and Safety Analysis Open access

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

3

citations
Data-driven decision support for process quality improvements
2021 Procedia CIRP article Engineering Fault Detection and Control Systems Open access

Daniel Buschmann, Chrismarie Enslin, Hannes Elser, Daniel Lütticke, Robert Heinrich Schmitt

10

citations
Experimental study of polymeric cable insulation under DC-superimposed long temporary overvoltage and lightning impulse voltage stress
2026 Materials Research Express article Materials Science High voltage insulation and dielectric phenomena Open access

Robert Gerlach, Till Scholz, Willem Leterme, Bastian Soppe, Tanumay Karmokar, Isabella Nett, +1 more

0

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

246

citations
Trace-elemental and multi-isotopic (Sr-Nd-Pb) discrimination of jade in the circum-Caribbean: Implications for pre-colonial inter-island exchange networks
2021 Journal of Archaeological Science article Earth and Planetary Sciences Mineralogy and Gemology Studies Open access

Alice Knaf, HABIBA HABIBA, Termeh Shafie, Janne M. Koornneef, Andreas T. Hertwig, Juan Cárdenas-Párraga, +8 more

16

citations

22 results