Joanne Bechta Dugan

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