Issues in reliability modeling of fault-tolerant computers. - Kishor S. Trivedi; Joanne Bechta Dugan; Robert Geist; Mark Smotherman (Fehlertolerierende Rechensysteme, 1984)

Extended Stochastic Petri Nets: Applications and Analysis. - Joanne Bechta Dugan; Kishor S. Trivedi; Robert Geist; Victor F. Nicola (Performance, 1984)

The Design of a Unified Package for the Solution of Stochastic Petri Net Models. - Joanne Bechta Dugan; Andrea Bobbio; Gianfranco Ciardo; Kishor S. Trivedi (PNPM, 1985)

The Reliability of Life-Critical Computer Systems. - Robert Geist; Mark Smotherman; Kishor S. Trivedi; Joanne Bechta Dugan (Acta Informatica, 1986)

Panel: Applications of Performance Petri Nets. - Joanne Bechta Dugan; Dan C. Marinescu; Giovanni Chiola; Yoshio Sugasawa; William H. Sanders; Gianfranco Ciardo (PNPM, 1989)

Bounded Approximate Reliability Models for Distributed Systems. - Joanne Bechta Dugan; Malathi Veeraraghavan; Mark Boyd; Nitin Mittal (SRDS, 1989)

Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems. - Joanne Bechta Dugan; Kishor S. Trivedi (IEEE Trans. Computers, 1989)

Stochastic Petri Net Analysis of a Replicated File System. - Joanne Bechta Dugan; Gianfranco Ciardo (IEEE Trans. Software Eng., 1989)

Design of fault-tolerant systems. - Jill J. Hallenbeck; Joanne Bechta Dugan (CBMS, 1990)

A Lower Bound On The Reliability of an n-Dimensional Hypercube. - Dov Bulka; Joanne Bechta Dugan (SRDS, 1990)

Design and Analysis of Multibus Systems Using Projective Geometry. - Dov Bulka; Joanne Bechta Dugan (FTCS, 1992)

System reliability analysis of an N-version programming application. - Joanne Bechta Dugan; Michael R. Lyu (ISSRE, 1993)

Experimental analysis of models for correlation in multiversion software. - Joanne Bechta Dugan (ISSRE, 1994)

Reliability Analysis of a Hardware and Software Fault Tolerant Parallel Processor. - Joanne Bechta Dugan (SRDS, 1994)

Reliability evaluation of fly-by-wire computer systems. - Joanne Bechta Dugan; Randy Van Buren (J. Syst. Softw., 1994)

(Position Paper) Quantitative Analysis of Software- and Hardware- Fault Tolerance. - Joanne Bechta Dugan; K. H. Kim (COMPSAC, 1995)

Dependability Assessment using Binary Decision Diagrams (BDDs). - Stacy A. Doyle; Joanne Bechta Dugan (FTCS, 1995)

Analysis of a Multistage Interconnection Network using Binary Decision Diagrams. - Jian Chiu; Joanne Bechta Dugan (SRDS, 1996)

An example of risk assessment of software systems specifications. - Hany H. Ammar; Tooraj Nikzadeh; Joanne Bechta Dugan (ISSRE, 1997)

A Methodology For Risk Assessment Of Functional Specification Of Software Systems Using Colored Petri Nets. - Hany H. Ammar; Tooraj Nikzadeh; Joanne Bechta Dugan (IEEE METRICS, 1997)

Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems. - Ragavan Manian; Joanne Bechta Dugan; David Coppit; Kevin J. Sullivan (HASE, 1998)

Using statistics of the extremes for software reliability analysis of safety critical systems. - Lori M. Kaufman; Joanne Bechta Dugan; Barry W. Johnson (ISSRE, 1998)

The Galileo Fault Tree Analysis Tool. - Kevin J. Sullivan; Joanne Bechta Dugan; David Coppit (FTCS, 1999)

Developing a high-quality software tool for fault tree analysis. - Joanne Bechta Dugan; Kevin J. Sullivan; David Coppit (ISSRE, 1999)

Galileo: A Tool for Dynamic Fault Tree Analysis. - Joanne Bechta Dugan (Computer Performance Evaluation / TOOLS, 2000)

Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees. - David Coppit; Kevin J. Sullivan; Joanne Bechta Dugan (ISSRE, 2000)

Developing a low-cost high-quality software tool for dynamic fault-tree analysis. - Joanne Bechta Dugan; Kevin J. Sullivan; David Coppit (IEEE Trans. Reliab., 2000)

Risk assessment of software-system specifications. - Hany H. Ammar; Tooraj Nikzadeh; Joanne Bechta Dugan (IEEE Trans. Reliab., 2001)

Automatic Synthesis of Dynamic Fault Trees from UML System Models. - Ganesh J. Pai; Joanne Bechta Dugan (ISSRE, 2002)

Coverage Estimation Using Statistics of the Extremes for When Testing Reveals No Failures. - Lori M. Kaufman; Barry W. Johnson; Joanne Bechta Dugan (IEEE Trans. Computers, 2002)

Dependability analysis of systems with on-demand and active failure modes, using dynamic fault trees. - Leila Meshkat; Joanne Bechta Dugan; John D. Andrews (IEEE Trans. Reliab., 2002)

Analysis of generalized phased-mission system reliability, performance, and sensitivity. - Liudong Xing; Joanne Bechta Dugan (IEEE Trans. Reliab., 2002)

When Does It Pay to Make Software More Reliable?. - Ed Stoker; Joanne Bechta Dugan (ISSRE, 2003)

Approximate sensitivity analysis for acyclic Markov reliability models. - Yong Ou; Joanne Bechta Dugan (IEEE Trans. Reliab., 2003)

A Markov Reward Model for Reliable Synchronous Dataflow System Design. - Vinu Vijay Kumar; Rashi Verma; John C. Lach; Joanne Bechta Dugan (DSN, 2004)

Modular solution of dynamic multi-phase systems. - Yong Ou; Joanne Bechta Dugan (IEEE Trans. Reliab., 2004)

Comments on PMS BDD generation in 'A BDD-based algorithm for Reliability Analysis of phased-mission systems'. - Liudong Xing; Joanne Bechta Dugan (IEEE Trans. Reliab., 2004)

A separable ternary decision diagram based analysis of generalized phased-mission reliability. - Liudong Xing; Joanne Bechta Dugan (IEEE Trans. Reliab., 2004)

Is My Software "Good Enough" to Release? - A Probabilistic Assessment. - Susan K. Donohue; Joanne Bechta Dugan; Charles L. Brown (SEW, 2005)

Bayesian Networks applied to Software IV&V. - Ganesh J. Pai; Joanne Bechta Dugan; Khalid Lateef (SEW, 2005)

A discrete-time Bayesian network reliability modeling and analysis framework. - Hichem Boudali; Joanne Bechta Dugan (Reliab. Eng. Syst. Saf., 2005)

A continuous-time Bayesian network reliability modeling, and analysis framework. - Hichem Boudali; Joanne Bechta Dugan (IEEE Trans. Reliab., 2006)

BDD-based reliability analysis of phased-mission systems with multimode failures. - Zhihua Tang; Joanne Bechta Dugan (IEEE Trans. Reliab., 2006)

Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering. - Joanne Bechta Dugan; Ganesh J. Pai; Hong Xu (HASE, 2007)

Empirical Analysis of Software Fault Content and Fault Proneness Using Bayesian Methods. - Ganesh J. Pai; Joanne Bechta Dugan (IEEE Trans. Software Eng., 2007)

Dynamic Event/Fault Tree Analysis of Multi-agent Systems Using Galileo. - Josh Dehlinger; Joanne Bechta Dugan (QSIC, 2008)

Corrections on "A Continuous-Time Bayesian Network Reliability Modeling and Analysis Framework". - Hichem Boudali; Joanne Bechta Dugan (IEEE Trans. Reliab., 2008)

Improving efficiency in engineering education through asynchronous computer-based instruction. - Ronald D. Williams; Joanne Bechta Dugan (FIE, 2011)

Reliability Analysis of Nonrepairable Cold-Standby Systems Using Sequential Binary Decision Diagrams. - Liudong Xing; Ola Tannous; Joanne Bechta Dugan (IEEE Trans. Syst. Man Cybern. Part A, 2012)

Combinatorial Reliability Analysis of Imperfect Coverage Systems Subject to Functional Dependence. - Liudong Xing; Brock A. Morrissette; Joanne Bechta Dugan (IEEE Trans. Reliab., 2014)

MDD-Based Method for Efficient Analysis on Phased-Mission Systems With Multimode Failures. - Yuchang Mo; Liudong Xing; Joanne Bechta Dugan (IEEE Trans. Syst. Man Cybern. Syst., 2014)

Efficient analysis of multi-state k-out-of-n systems. - Yuchang Mo; Liudong Xing; Suprasad V. Amari; Joanne Bechta Dugan (Reliab. Eng. Syst. Saf., 2015)

Experiential robot learning with deep neural networks. - Ahmed A. Aly; Joanne Bechta Dugan (ICDL-EPIROB, 2017)

Experiential Robot Learning with Accelerated Neuroevolution. - Ahmed Aly; Joanne Bechta Dugan (CoRR, 2018)

Performability Analysis of k-to-l-Out-of-n Computing Systems Using Binary Decision Diagrams. - Yuchang Mo; Liudong Xing; Joanne Bechta Dugan (IEEE Trans. Dependable Secur. Comput., 2018)

Derivative-Free Optimization of Neural Networks using Local Search. - Ahmed Aly; Gianluca Guadagni; Joanne Bechta Dugan (UEMCON, 2019)