SZodixStudyAcademic Library

Shelves Open access

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

A fast BDD algorithm for large coherent fault trees analysis · Study

ArticleShelves

ArticleA fast BDD algorithm for large coherent fault trees analysis

Woo Sik Jung2003

Article2003

A fast BDD algorithm for large coherent fault trees analysis

Woo Sik Jung · Sang Hoon Han · Jaejoo Ha

115 citations·0/0 files stored·Reliability Engineering & System Safety

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 — 115 citations exist upstream.

References

1993New algorithms for fault trees analysis 1996A linear-time algorithm to find modules of fault trees 2002A fault tree analysis strategy using binary decision diagrams 1997Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia 2001Mathematical foundations of minimal cutsets

Cited by

2004Can we trust PRA?2018Multi-unit Level 1 probabilistic safety assessment: Approaches and their application to a six-unit nuclear power plant site 2006An improved decomposition scheme for assessing the reliability of embedded systems by using dynamic fault trees 2008Binary Decision Diagrams for Reliability Studies 2010Analysis of large fault trees based on functional decomposition 2022A review on the realization methods of dynamic fault tree 2015BDD algorithms based on modularization for fault tree analysis 2015Development of reliability and probabilistic safety assessment program RiskA

Related works

Explore the map →

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

2015BDD algorithms based on modularization for fault tree analysisarticle · 4 shared references 2015Dynamic labelling of BDD and ZBDD for efficient non-coherent fault tree analysisarticle · 4 shared references 2008Analysis of non-coherent fault trees using ternary decision diagramsarticle · 4 shared references 2004Minimal cut set/sequence generation for dynamic fault treesother · 3 shared references 2009An efficient phased mission reliability analysis for autonomous vehiclesarticle · 3 shared references 2022Dynamic and dependent tree theory (D2T2): A framework for the analysis of fault trees with dependent basic eventsarticle · 3 shared references

Details

Year2003

Typearticle

Published2003-12-19

VenueReliability Engineering & System Safety

ISSN-L0951-8320

Languageen

Citations115

Files0 public / 0

ShelfRisk and Safety Analysis

Identifiers

doi10.1016/j.ress.2003.10.009

openalex_workW2000164931

Links

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