SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Various Ways to Quantify BDMPs
4 references·0 citing·14 second hop
Various Ways to Quantify BDMPs (2020)Various Ways to Quantify BDMPsThe Galileo fault tree analysis tool (2003)The Galileo fault tree analys…A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes (2003)A new formalism that combines…Knowledge Modelling and Reliability Processing: Presentation of the Figaro Language and Associated Tools (1991)Knowledge Modelling and Relia…New methodology for obtaining cut sets for fault trees (1972)New methodology for obtaining…New algorithms for fault trees analysis (1993)Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains (2007)Modeling safety and security interdependencies with BDMP (Boolean logic Driven Markov Processes) (2010)Dynamic system safety analysis in HiP-HOPS with Petri Nets and Bayesian Networks (2018)A modular approach for analyzing static and dynamic fault trees (2002)Automatic synthesis of dynamic fault trees from UML system models (2002)A new Bayesian network approach to solve dynamic fault trees (2005)A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis (2009)New approaches to evaluating fault trees (1997)Fault tree analysis and binary decision diagrams (2002)“Bow-tie” model in layer of protection analysis (2011)An ordering heuristic for building binary decision diagrams from fault-trees (2002)Component-based modeling of systems for automated fault tree generation (2009)Notes on Computational Uncertainties in Probabilistic Risk/Safety Assessment (2018)
this work references cited by second hop

References

  • 2003A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes230 cited
  • 2003The Galileo fault tree analysis tool182 cited
  • 1972New methodology for obtaining cut sets for fault trees119 cited
  • 1991Knowledge Modelling and Reliability Processing: Presentation of the Figaro Language and Associated Tools68 cited

Cited by

No citing works inside the corpus for this window.

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work