# Joanne Bechta Dugan

According to our database

^{1}, Joanne Bechta Dugan## Awards

## IEEE Fellow

IEEE Fellow 2000, "For contributions to dependability analysis of fault tolerant computer systems".

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Performability Analysis of k-to-l-Out-of-n Computing Systems Using Binary Decision Diagrams.

IEEE Trans. Dependable Sec. Comput., 2018

2015

Efficient analysis of multi-state k-out-of-n systems.

Rel. Eng. & Sys. Safety, 2015

2014

MDD-Based Method for Efficient Analysis on Phased-Mission Systems With Multimode Failures.

IEEE Trans. Systems, Man, and Cybernetics: Systems, 2014

Combinatorial Reliability Analysis of Imperfect Coverage Systems Subject to Functional Dependence.

IEEE Trans. Reliability, 2014

2012

Reliability Analysis of Nonrepairable Cold-Standby Systems Using Sequential Binary Decision Diagrams.

IEEE Trans. Systems, Man, and Cybernetics, Part A, 2012

2011

Improving efficiency in engineering education through asynchronous computer-based instruction.

Proceedings of the 2011 Frontiers in Education Conference, 2011

2008

Corrections on "A Continuous-Time Bayesian Network Reliability Modeling and Analysis Framework".

IEEE Trans. Reliability, 2008

Dynamic Event/Fault Tree Analysis of Multi-agent Systems Using Galileo.

Proceedings of the Eighth International Conference on Quality Software, 2008

2007

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

IEEE Trans. Software Eng., 2007

Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering.

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

2006

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

IEEE Trans. Reliability, 2006

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

IEEE Trans. Reliability, 2006

2005

A discrete-time Bayesian network reliability modeling and analysis framework.

Rel. Eng. & Sys. Safety, 2005

Bayesian Networks applied to Software IV&V.

Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

Is My Software "Good Enough" to Release? - A Probabilistic Assessment.

Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

2004

A separable ternary decision diagram based analysis of generalized phased-mission reliability.

IEEE Trans. Reliability, 2004

Comments on PMS BDD generation in 'A BDD-based algorithm for Reliability Analysis of phased-mission systems'.

IEEE Trans. Reliability, 2004

Modular solution of dynamic multi-phase systems.

IEEE Trans. Reliability, 2004

A Markov Reward Model for Reliable Synchronous Dataflow System Design.

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003

Approximate sensitivity analysis for acyclic Markov reliability models.

IEEE Trans. Reliability, 2003

When Does It Pay to Make Software More Reliable?.

Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

2002

Analysis of generalized phased-mission system reliability, performance, and sensitivity.

IEEE Trans. Reliability, 2002

Dependability analysis of systems with on-demand and active failure modes, using dynamic fault trees.

IEEE Trans. Reliability, 2002

Coverage Estimation Using Statistics of the Extremes for When Testing Reveals No Failures.

IEEE Trans. Computers, 2002

Automatic Synthesis of Dynamic Fault Trees from UML System Models.

Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

2001

Risk assessment of software-system specifications.

IEEE Trans. Reliability, 2001

2000

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

IEEE Trans. Reliability, 2000

Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees.

Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

Galileo: A Tool for Dynamic Fault Tree Analysis.

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

1999

Developing a high-quality software tool for fault tree analysis.

Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

The Galileo Fault Tree Analysis Tool.

Proceedings of the Digest of Papers: FTCS-29, 1999

1998

Using statistics of the extremes for software reliability analysis of safety critical systems.

Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998

Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems.

Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

1997

A Methodology For Risk Assessment Of Functional Specification Of Software Systems Using Colored Petri Nets.

Proceedings of the 4th IEEE International Software Metrics Symposium (METRICS 1997), 1997

An example of risk assessment of software systems specifications.

Proceedings of the Eighth International Symposium on Software Reliability Engineering, 1997

1996

Analysis of a Multistage Interconnection Network using Binary Decision Diagrams.

Proceedings of the 15th Symposium on Reliable Distributed Systems, 1996

1995

Dependability Assessment using Binary Decision Diagrams (BDDs).

Proceedings of the Digest of Papers: FTCS-25, 1995

(Position Paper) Quantitative Analysis of Software- and Hardware- Fault Tolerance.

Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1994

Reliability evaluation of fly-by-wire computer systems.

Journal of Systems and Software, 1994

Reliability Analysis of a Hardware and Software Fault Tolerant Parallel Processor.

Proceedings of the 13th Symposium on Reliable Distributed Systems, 1994

Experimental analysis of models for correlation in multiversion software.

Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

1993

System reliability analysis of an N-version programming application.

Proceedings of the Fourth International Symposium on Software Reliability Engineering, 1993

1992

Design and Analysis of Multibus Systems Using Projective Geometry.

Proceedings of the Digest of Papers: FTCS-22, 1992

1990

A Lower Bound On The Reliability of an

*n*-Dimensional Hypercube.
Proceedings of the Ninth Symposium on Reliable Distributed Systems, 1990

Design of fault-tolerant systems.

Proceedings of the Third Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'90), 1990

1989

Stochastic Petri Net Analysis of a Replicated File System.

IEEE Trans. Software Eng., 1989

Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems.

IEEE Trans. Computers, 1989

Bounded Approximate Reliability Models for Distributed Systems.

Proceedings of the Eigthth Symposium on Reliable Distributed Systems, 1989

Panel: Applications of Performance Petri Nets.

Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

1987

Stochastic Petri Net Analysis of a Replicated File System.

Proceedings of the Second International Workshop on Petri Nets and Performance Models, 1987

1986

The Reliability of Life-Critical Computer Systems.

Acta Inf., 1986

1985

The Design of a Unified Package for the Solution of Stochastic Petri Net Models.

Proceedings of the International Workshop on Timed Petri Nets, 1985

1984

Extended Stochastic Petri Nets: Applications and Analysis.

Proceedings of the Performance '84, 1984

Issues in reliability modeling of fault-tolerant computers.

Proceedings of the Fehlertolerierende Rechensysteme, 1984