• Publications
  • Influence
A discrete-time Bayesian network reliability modeling and analysis framework
TLDR
We propose a novel reliability modeling and analysis framework based on the Bayesian network (BN) formalism for dynamic systems. Expand
  • 333
  • 20
Empirical Analysis of Software Fault Content and Fault Proneness Using Bayesian Methods
TLDR
We present a methodology for Bayesian analysis of software quality. Expand
  • 207
  • 14
  • PDF
The Galileo fault tree analysis tool
TLDR
We present Galileo, a dynamic fault tree modeling and analysis tool that combines the innovative DIF-Tree analysis methodology with a rich user interface built using package-oriented programming. Expand
  • 188
  • 12
  • PDF
Automatic synthesis of dynamic fault trees from UML system models
TLDR
We propose a framework for modeling computer-based systems, based on the Unified Modeling Language (UML), that facilitates automated dependability analysis during design. Expand
  • 139
  • 11
Developing a low-cost high-quality software tool for dynamic fault-tree analysis
TLDR
Sophisticated modeling and analysis methods are being developed in academic and industrial research labs for reliability engineering and other domains, but few such methods see widespread use. Expand
  • 192
  • 10
  • PDF
Combining various solution techniques for dynamic fault tree analysis of computer systems
TLDR
We extend the DIFtree analysis capability to model several different distributions of time-to-failure, including fixed probabilities (no time component), exponential (constant hazard rate), Weibull (time-varying hazard rate) and log-normal. Expand
  • 133
  • 10
  • PDF
A continuous-time Bayesian network reliability modeling, and analysis framework
TLDR
We present a continuous-time Bayesian network (CTBN) framework for dynamic systems reliability modeling and analysis. Expand
  • 182
  • 8
BDD-based reliability analysis of phased-mission systems with multimode failures
TLDR
This paper proposes a new algorithm (DEP-BDD) based on binary decision diagram (BD) for reliability analysis of phased-mission systems (PMS) with multimode failures. Expand
  • 76
  • 8
Extended Stochastic Petri Nets: Applications and Analysis
TLDR
An Extended Stochastic Petri Net (ESPN) model, useful for modeling systems which exhibit concurrent, asynchronous, or nondeterministic behavior is developed. Expand
  • 266
  • 6
Formal semantics of models for computational engineering: a case study on dynamic fault trees
TLDR
We present an approach based on the use of formal specification and denotational semantics techniques from software engineering and programming language design to define the semantics of a modeling framework that promises to aid reliability analysis. Expand
  • 73
  • 6
  • PDF