Joanne Bechta Dugan

According to our database, Joanne Bechta Dugan authored at least 56 papers between 1984 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2019

Derivative-Free Optimization of Neural Networks using Local Search.

Ahmed Aly, Gianluca Guadagni, Joanne Bechta Dugan

Proceedings of the 10th IEEE Annual Ubiquitous Computing, 2019

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

Experiential Robot Learning with Accelerated Neuroevolution.

Ahmed Aly, Joanne Bechta Dugan

CoRR, 2018

2017

Experiential robot learning with deep neural networks.

Ahmed A. Aly, Joanne Bechta Dugan

Proceedings of the 2017 Joint IEEE International Conference on Development and Learning and Epigenetic Robotics, 2017

2015

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

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

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

Liudong Xing, Brock A. Morrissette, Joanne Bechta Dugan

IEEE Trans. Reliab., 2014

2012

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

2011

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

Ronald D. Williams, Joanne Bechta Dugan

Proceedings of the 2011 Frontiers in Education Conference, 2011

2008

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

Hichem Boudali, Joanne Bechta Dugan

IEEE Trans. Reliab., 2008

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

Josh Dehlinger, Joanne Bechta Dugan

Proceedings of the Eighth International Conference on Quality Software, 2008

2007

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

Ganesh J. Pai, Joanne Bechta Dugan

IEEE Trans. Software Eng., 2007

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

Joanne Bechta Dugan, Ganesh J. Pai, Hong Xu

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.

Zhihua Tang, Joanne Bechta Dugan

IEEE Trans. Reliab., 2006

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

Hichem Boudali, Joanne Bechta Dugan

IEEE Trans. Reliab., 2006

2005

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

Hichem Boudali, Joanne Bechta Dugan

Reliab. Eng. Syst. Saf., 2005

Bayesian Networks applied to Software IV&V.

Ganesh J. Pai, Joanne Bechta Dugan, Khalid Lateef

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

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

Susan K. Donohue, Joanne Bechta Dugan, Charles L. Brown

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.

Liudong Xing, 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

Modular solution of dynamic multi-phase systems.

Yong Ou, Joanne Bechta Dugan

IEEE Trans. Reliab., 2004

A Markov Reward Model for Reliable Synchronous Dataflow System Design.

Vinu Vijay Kumar, Rashi Verma, John C. Lach, Joanne Bechta Dugan

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.

Yong Ou, Joanne Bechta Dugan

IEEE Trans. Reliab., 2003

When Does It Pay to Make Software More Reliable?.

Ed Stoker, Joanne Bechta Dugan

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

2002

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

Liudong Xing, Joanne Bechta Dugan

IEEE Trans. Reliab., 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

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

Automatic Synthesis of Dynamic Fault Trees from UML System Models.

Ganesh J. Pai, Joanne Bechta Dugan

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

2001

Risk assessment of software-system specifications.

Hany H. Ammar, Tooraj Nikzadeh, Joanne Bechta Dugan

IEEE Trans. Reliab., 2001

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

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

David Coppit, Kevin J. Sullivan, Joanne Bechta Dugan

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

Galileo: A Tool for Dynamic Fault Tree Analysis.

Joanne Bechta Dugan

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

1999

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

Joanne Bechta Dugan, Kevin J. Sullivan, David Coppit

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

The Galileo Fault Tree Analysis Tool.

Kevin J. Sullivan, Joanne Bechta Dugan, David Coppit

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

1998

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

Lori M. Kaufman, Joanne Bechta Dugan, Barry W. Johnson

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

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

Ragavan Manian, Joanne Bechta Dugan, David Coppit, Kevin J. Sullivan

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.

Hany H. Ammar, Tooraj Nikzadeh, Joanne Bechta Dugan

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

An example of risk assessment of software systems specifications.

Hany H. Ammar, Tooraj Nikzadeh, Joanne Bechta Dugan

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

1996

Analysis of a Multistage Interconnection Network using Binary Decision Diagrams.

Jian Chiu, Joanne Bechta Dugan

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

1995

Dependability Assessment using Binary Decision Diagrams (BDDs).

Stacy A. Doyle, Joanne Bechta Dugan

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

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

Joanne Bechta Dugan, K. H. Kim

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

1994

Reliability evaluation of fly-by-wire computer systems.

Joanne Bechta Dugan, Randy Van Buren

J. Syst. Softw., 1994

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

Joanne Bechta Dugan

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

Experimental analysis of models for correlation in multiversion software.

Joanne Bechta Dugan

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

1993

System reliability analysis of an N-version programming application.

Joanne Bechta Dugan, Michael R. Lyu

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

1992

Design and Analysis of Multibus Systems Using Projective Geometry.

Dov Bulka, Joanne Bechta Dugan

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

1990

A Lower Bound On The Reliability of an <i>n</i>-Dimensional Hypercube.

Dov Bulka, Joanne Bechta Dugan

Proceedings of the Ninth Symposium on Reliable Distributed Systems, 1990

Design of fault-tolerant systems.

Jill J. Hallenbeck, Joanne Bechta Dugan

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.

Joanne Bechta Dugan, Gianfranco Ciardo

IEEE Trans. Software Eng., 1989

Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems.

Joanne Bechta Dugan, Kishor S. Trivedi

IEEE Trans. Computers, 1989

Bounded Approximate Reliability Models for Distributed Systems.

Joanne Bechta Dugan, Malathi Veeraraghavan, Mark Boyd, Nitin Mittal

Proceedings of the Eigthth Symposium on Reliable Distributed Systems, 1989

Panel: Applications of Performance Petri Nets.

Joanne Bechta Dugan, Dan C. Marinescu, Giovanni Chiola, Yoshio Sugasawa, William H. Sanders, Gianfranco Ciardo

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

1986

The Reliability of Life-Critical Computer Systems.

Robert Geist, Mark Smotherman, Kishor S. Trivedi, Joanne Bechta Dugan

Acta Informatica, 1986

1985

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

Joanne Bechta Dugan, Andrea Bobbio, Gianfranco Ciardo, Kishor S. Trivedi

Proceedings of the International Workshop on Timed Petri Nets, 1985

1984

Extended Stochastic Petri Nets: Applications and Analysis.

Joanne Bechta Dugan, Kishor S. Trivedi, Robert Geist, Victor F. Nicola

Proceedings of the Performance '84, 1984

Issues in reliability modeling of fault-tolerant computers.

Kishor S. Trivedi, Joanne Bechta Dugan, Robert Geist, Mark Smotherman

Proceedings of the Fehlertolerierende Rechensysteme, 1984