J. Dugan

Publications
Influence

A discrete-time Bayesian network reliability modeling and analysis framework

H. Boudali, J. Dugan
Computer Science
Reliab. Eng. Syst. Saf.
1 March 2005

We propose a novel reliability modeling and analysis framework based on the Bayesian network (BN) formalism for dynamic systems. Expand

Empirical Analysis of Software Fault Content and Fault Proneness Using Bayesian Methods

Ganesh J. Pai, J. Dugan
Computer Science
IEEE Transactions on Software Engineering
1 October 2007

We present a methodology for Bayesian analysis of software quality. Expand

The Galileo fault tree analysis tool

K. Sullivan, J. Dugan, D. Coppit
Computer Science
Digest of Papers. Twenty-Ninth Annual…
15 June 1999

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

Automatic synthesis of dynamic fault trees from UML system models

Ganesh J. Pai, J. Dugan
Computer Science
13th International Symposium on Software…
12 November 2002

We propose a framework for modeling computer-based systems, based on the Unified Modeling Language (UML), that facilitates automated dependability analysis during design. Expand

Developing a low-cost high-quality software tool for dynamic fault-tree analysis

J. Dugan, K. Sullivan, D. Coppit
Computer Science
IEEE Trans. Reliab.
1 March 2000

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

Combining various solution techniques for dynamic fault tree analysis of computer systems

R. Manian, J. Dugan, D. Coppit, K. Sullivan
Computer Science
Proceedings Third IEEE International High…
13 November 1998

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

A continuous-time Bayesian network reliability modeling, and analysis framework

H. Boudali, J. Dugan
Computer Science
IEEE Transactions on Reliability
6 March 2006

We present a continuous-time Bayesian network (CTBN) framework for dynamic systems reliability modeling and analysis. Expand

BDD-based reliability analysis of phased-mission systems with multimode failures

Zhihua Tang, J. Dugan
Mathematics, Computer Science
IEEE Transactions on Reliability
5 June 2006

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

Extended Stochastic Petri Nets: Applications and Analysis

J. Dugan, Kishor S. Trivedi, R. Geist, V. Nicola
Computer Science
Performance
1984

An Extended Stochastic Petri Net (ESPN) model, useful for modeling systems which exhibit concurrent, asynchronous, or nondeterministic behavior is developed. Expand

Formal semantics of models for computational engineering: a case study on dynamic fault trees

D. Coppit, K. Sullivan, J. Dugan
Computer Science
Proceedings 11th International Symposium on…
8 October 2000

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

Recommended Authors