SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

DFTCalc: A Tool for Efficient Fault Tree Analysis · Study

WorkDFTCalc: A Tool for Efficient Fault Tree Analysis

Florian Arnold2013

OA

Workgreen2013

DFTCalc: A Tool for Efficient Fault Tree Analysis

Florian Arnold · Axel Belinfante · Freark I. van der Berg · Dennis Guck · Mariëlle I. A. Stoelinga

67 citations·0/0 files stored·Lecture notes in computer science

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Risk and Safety Analysis Reliability and Maintenance Optimization Formal Methods in Verification

Abstract

No abstract was published for this record.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 67 citations exist upstream.

References

2007Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains 2009A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis 2013Fault Trees

Cited by

2018Quantitative Analysis of Dynamic Fault Trees by means of Monte Carlo Simulations: Event-Driven Simulation Approach 2016Uncovering Dynamic Fault Trees 2022A comprehensive review on dynamic risk analysis methodologies 2019A Hierarchical Approach for Dynamic Fault Trees Solution Through Semi-Markov Process 2017Fault trees on a diet: automated reduction by graph rewriting 2019Modelling and Resolution of Dynamic Reliability Problems by the Coupling of Simulink and the Stochastic Hybrid Fault Tree Object Oriented (SHyFTOO) Library 2019Ffort: A Benchmark Suite for Fault Tree Analysis 2024SAFEST: Fault Tree Analysis Via Probabilistic Model Checking

Related works

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

2016Fuzzy temporal fault tree analysis of dynamic systemsarticle · 2 shared references 2018Quantitative Analysis of Dynamic Fault Trees by means of Monte Carlo Simulations: Event-Driven Simulation Approacharticle · 2 shared references 2016Uncovering Dynamic Fault Treesother · 2 shared references 2019A Hierarchical Approach for Dynamic Fault Trees Solution Through Semi-Markov Processarticle · 2 shared references 2020A Hybrid Modular Approach for Dynamic Fault Tree Analysisarticle · 2 shared references 2015Scalable Analysis of Fault Trees with Dynamic Featuresother · 2 shared references

Details

Year2013

Typeother

Published2013-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations67

Files0 public / 0

ShelfRisk and Safety Analysis

Identifiers

doi10.1007/978-3-642-40793-2_27

openalex_workW186920959

Links

Imported from OpenAlex (CC0) — nothing here is generated.