From

Institution

Field

Type

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

Reset

Papers matching “fault tree analysis” 24

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis
2022 conference-paper Engineering Safety Systems Engineering in Autonomy

Shahid Ali Khan, Waqar Ahmad, Osman Hasan

0

citations
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: 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 Engineering Engineering and Test Systems Open access

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
Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees
2021 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 Manufacturing Process and Optimization Open access

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

4

citations
Preliminary Investigations of the Electrical Tree Growth at Frequencies of 50 Hz and 2.2 kHz by means of Partial Discharge Analysis
2021 conference-paper Materials Science High voltage insulation and dielectric phenomena

F. Gallesi, F. Guastavino, Isabella Nett, Ralf Puffer, Bastian Soppe, Jan Vocke

5

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
Advanced Microscopy and Machine Learning for Multiscale Analysis of Porosity and Mineralogy
2026 conference-abstract Environmental Science Microbial Fuel Cells and Bioremediation Open access

Joyce Schmatz, Mingze Jiang, Julia Schmitz

0

citations
A review of the internal short circuit mechanism in lithium‐ion batteries: Inducement, detection and prevention
2021 International Journal of Energy Research article Engineering Advanced Battery Technologies Research

Lili Huang, Lishuo Liu, Languang Lu, Xuning Feng, Xuebing Han, Weihan Li, +5 more

197

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
A Compositional Semantics of Boolean-Logic Driven Markov Processes
2023 IEEE Transactions on Dependable and Secure Computing article Engineering Safety Systems Engineering in Autonomy

Shahid Ali Khan, Joost-Pieter Katoen, Marc Bouissou

3

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

245

citations

24 results