Joanne Bechta Dugan

Publication Activity (10 Years)

Years Active: 1984-2018
Publications (10 Years): 3

Top Topics

State Information

Binary Decision Diagrams

Reliability Analysis

High Efficiency

Top Venues

IEEE Trans. Reliab.

IEEE Trans. Syst. Man Cybern. Part A

IEEE Trans. Syst. Man Cybern. Syst.

Publications

Yuchang Mo, Liudong Xing, Joanne Bechta Dugan
Performability Analysis of k-to-l-Out-of-n Computing Systems Using Binary Decision Diagrams. IEEE Trans. Dependable Secur. Comput. 15 (1) (2018)
Ahmed A. Aly, Joanne Bechta Dugan
Experiential robot learning with deep neural networks. ICDL-EPIROB (2017)
Yuchang Mo, Liudong Xing, Suprasad V. Amari, Joanne Bechta Dugan
Efficient analysis of multi-state k-out-of-n systems. Reliab. Eng. Syst. Saf. 133 (2015)
Liudong Xing, Brock A. Morrissette, Joanne Bechta Dugan
Combinatorial Reliability Analysis of Imperfect Coverage Systems Subject to Functional Dependence. IEEE Trans. Reliab. 63 (1) (2014)
Yuchang Mo, Liudong Xing, Joanne Bechta Dugan
MDD-Based Method for Efficient Analysis on Phased-Mission Systems With Multimode Failures. IEEE Trans. Syst. Man Cybern. Syst. 44 (6) (2014)
Liudong Xing, Ola Tannous, Joanne Bechta Dugan
Reliability Analysis of Nonrepairable Cold-Standby Systems Using Sequential Binary Decision Diagrams. IEEE Trans. Syst. Man Cybern. Part A 42 (3) (2012)
Ronald D. Williams, Joanne Bechta Dugan
Improving efficiency in engineering education through asynchronous computer-based instruction. FIE (2011)
Josh Dehlinger, Joanne Bechta Dugan
Dynamic Event/Fault Tree Analysis of Multi-agent Systems Using Galileo. QSIC (2008)
Hichem Boudali, Joanne Bechta Dugan
Corrections on "A Continuous-Time Bayesian Network Reliability Modeling and Analysis Framework". IEEE Trans. Reliab. 57 (3) (2008)
Ganesh J. Pai, Joanne Bechta Dugan
Empirical Analysis of Software Fault Content and Fault Proneness Using Bayesian Methods. IEEE Trans. Software Eng. 33 (10) (2007)
Joanne Bechta Dugan, Ganesh J. Pai, Hong Xu
Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering. HASE (2007)
Zhihua Tang, Joanne Bechta Dugan
BDD-based reliability analysis of phased-mission systems with multimode failures. IEEE Trans. Reliab. 55 (2) (2006)
Hichem Boudali, Joanne Bechta Dugan
A continuous-time Bayesian network reliability modeling, and analysis framework. IEEE Trans. Reliab. 55 (1) (2006)
Ganesh J. Pai, Joanne Bechta Dugan, Khalid Lateef
Bayesian Networks applied to Software IV&V. SEW (2005)
Susan K. Donohue, Joanne Bechta Dugan, Charles L. Brown
Is My Software "Good Enough" to Release? - A Probabilistic Assessment. SEW (2005)
Hichem Boudali, Joanne Bechta Dugan
A discrete-time Bayesian network reliability modeling and analysis framework. Reliab. Eng. Syst. Saf. 87 (3) (2005)
Vinu Vijay Kumar, Rashi Verma, John C. Lach, Joanne Bechta Dugan
A Markov Reward Model for Reliable Synchronous Dataflow System Design. DSN (2004)
Yong Ou, Joanne Bechta Dugan
Modular solution of dynamic multi-phase systems. IEEE Trans. Reliab. 53 (4) (2004)
Liudong Xing, Joanne Bechta Dugan
A separable ternary decision diagram based analysis of generalized phased-mission reliability. IEEE Trans. Reliab. 53 (2) (2004)
Liudong Xing, Joanne Bechta Dugan
Comments on PMS BDD generation in 'A BDD-based algorithm for Reliability Analysis of phased-mission systems'. IEEE Trans. Reliab. 53 (2) (2004)
Ed Stoker, Joanne Bechta Dugan
When Does It Pay to Make Software More Reliable?. ISSRE (2003)
Yong Ou, Joanne Bechta Dugan
Approximate sensitivity analysis for acyclic Markov reliability models. IEEE Trans. Reliab. 52 (2) (2003)
Liudong Xing, Joanne Bechta Dugan
Analysis of generalized phased-mission system reliability, performance, and sensitivity. IEEE Trans. Reliab. 51 (2) (2002)
Lori M. Kaufman, Barry W. Johnson, Joanne Bechta Dugan
Coverage Estimation Using Statistics of the Extremes for When Testing Reveals No Failures. IEEE Trans. Computers 51 (1) (2002)
Leila Meshkat, Joanne Bechta Dugan, John D. Andrews
Dependability analysis of systems with on-demand and active failure modes, using dynamic fault trees. IEEE Trans. Reliab. 51 (2) (2002)
Ganesh J. Pai, Joanne Bechta Dugan
Automatic Synthesis of Dynamic Fault Trees from UML System Models. ISSRE (2002)
Hany H. Ammar, Tooraj Nikzadeh, Joanne Bechta Dugan
Risk assessment of software-system specifications. IEEE Trans. Reliab. 50 (2) (2001)
David Coppit, Kevin J. Sullivan, Joanne Bechta Dugan
Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees. ISSRE (2000)
Joanne Bechta Dugan, Kevin J. Sullivan, David Coppit
Developing a low-cost high-quality software tool for dynamic fault-tree analysis. IEEE Trans. Reliab. 49 (1) (2000)
Joanne Bechta Dugan
Galileo: A Tool for Dynamic Fault Tree Analysis. Computer Performance Evaluation / TOOLS (2000)
Kevin J. Sullivan, Joanne Bechta Dugan, David Coppit
The Galileo Fault Tree Analysis Tool. FTCS (1999)
Joanne Bechta Dugan, Kevin J. Sullivan, David Coppit
Developing a high-quality software tool for fault tree analysis. ISSRE (1999)
Ragavan Manian, Joanne Bechta Dugan, David Coppit, Kevin J. Sullivan
Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems. HASE (1998)
Lori M. Kaufman, Joanne Bechta Dugan, Barry W. Johnson
Using statistics of the extremes for software reliability analysis of safety critical systems. ISSRE (1998)
Hany H. Ammar, Tooraj Nikzadeh, Joanne Bechta Dugan
A Methodology For Risk Assessment Of Functional Specification Of Software Systems Using Colored Petri Nets. IEEE METRICS (1997)
Hany H. Ammar, Tooraj Nikzadeh, Joanne Bechta Dugan
An example of risk assessment of software systems specifications. ISSRE (1997)
Jian Chiu, Joanne Bechta Dugan
Analysis of a Multistage Interconnection Network using Binary Decision Diagrams. SRDS (1996)
Stacy A. Doyle, Joanne Bechta Dugan
Dependability Assessment using Binary Decision Diagrams (BDDs). FTCS (1995)
Joanne Bechta Dugan, K. H. Kim
(Position Paper) Quantitative Analysis of Software- and Hardware- Fault Tolerance. COMPSAC (1995)
Joanne Bechta Dugan
Reliability Analysis of a Hardware and Software Fault Tolerant Parallel Processor. SRDS (1994)
Joanne Bechta Dugan
Experimental analysis of models for correlation in multiversion software. ISSRE (1994)
Joanne Bechta Dugan, Randy Van Buren
Reliability evaluation of fly-by-wire computer systems. J. Syst. Softw. 25 (1) (1994)
Joanne Bechta Dugan, Michael R. Lyu
System reliability analysis of an N-version programming application. ISSRE (1993)
Dov Bulka, Joanne Bechta Dugan
Design and Analysis of Multibus Systems Using Projective Geometry. FTCS (1992)
Dov Bulka, Joanne Bechta Dugan
-Dimensional Hypercube. SRDS (1990)
Jill J. Hallenbeck, Joanne Bechta Dugan
Design of fault-tolerant systems. CBMS (1990)
Joanne Bechta Dugan, Dan C. Marinescu, Giovanni Chiola, Yoshio Sugasawa, William H. Sanders, Gianfranco Ciardo
Panel: Applications of Performance Petri Nets. PNPM (1989)
Joanne Bechta Dugan, Malathi Veeraraghavan, Mark Boyd, Nitin Mittal
Bounded Approximate Reliability Models for Distributed Systems. SRDS (1989)
Joanne Bechta Dugan, Kishor S. Trivedi
Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems. IEEE Trans. Computers 38 (6) (1989)
Joanne Bechta Dugan, Gianfranco Ciardo
Stochastic Petri Net Analysis of a Replicated File System. IEEE Trans. Software Eng. 15 (4) (1989)
Joanne Bechta Dugan, Gianfranco Ciardo
Stochastic Petri Net Analysis of a Replicated File System. PNPM (1987)
Robert Geist, Mark Smotherman, Kishor S. Trivedi, Joanne Bechta Dugan
The Reliability of Life-Critical Computer Systems. Acta Informatica 23 (6) (1986)
Joanne Bechta Dugan, Andrea Bobbio, Gianfranco Ciardo, Kishor S. Trivedi
The Design of a Unified Package for the Solution of Stochastic Petri Net Models. PNPM (1985)
Kishor S. Trivedi, Joanne Bechta Dugan, Robert Geist, Mark Smotherman
Issues in reliability modeling of fault-tolerant computers. Fehlertolerierende Rechensysteme (1984)
Joanne Bechta Dugan, Kishor S. Trivedi, Robert Geist, Victor F. Nicola
Extended Stochastic Petri Nets: Applications and Analysis. Performance (1984)