| 2008 |
|---|
| 37 | EE | Josh Dehlinger,
Joanne Bechta Dugan:
Dynamic Event/Fault Tree Analysis of Multi-agent Systems Using Galileo.
QSIC 2008: 429-434 |
| 36 | EE | H. Boudali,
Joanne Bechta Dugan:
Corrections on "A Continuous-Time Bayesian Network Reliability Modeling and Analysis Framework".
IEEE Transactions on Reliability 57(3): 532-533 (2008) |
| 2007 |
|---|
| 35 | EE | Joanne Bechta Dugan,
Ganesh J. Pai,
Hong Xu:
Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering.
HASE 2007: 245-255 |
| 34 | EE | Ganesh J. Pai,
Joanne Bechta Dugan:
Empirical Analysis of Software Fault Content and Fault Proneness Using Bayesian Methods.
IEEE Trans. Software Eng. 33(10): 675-686 (2007) |
| 2006 |
|---|
| 33 | EE | H. Boudali,
Joanne Bechta Dugan:
A continuous-time Bayesian network reliability modeling, and analysis framework.
IEEE Transactions on Reliability 55(1): 86-97 (2006) |
| 32 | EE | Zhihua Tang,
Joanne Bechta Dugan:
BDD-based reliability analysis of phased-mission systems with multimode failures.
IEEE Transactions on Reliability 55(2): 350-360 (2006) |
| 2005 |
|---|
| 31 | EE | Ganesh J. Pai,
Joanne Bechta Dugan,
Khalid Lateef:
Bayesian Networks applied to Software IV&V.
SEW 2005: 293-304 |
| 30 | EE | Susan K. Donohue,
Joanne Bechta Dugan,
Charles L. Brown:
Is My Software "Good Enough" to Release? - A Probabilistic Assessment.
SEW 2005: 5-13 |
| 2004 |
|---|
| 29 | EE | Vinu Vijay Kumar,
Rashi Verma,
John Lach,
Joanne Bechta Dugan:
A Markov Reward Model for Reliable Synchronous Dataflow System Design.
DSN 2004: 817-825 |
| 28 | EE | Liudong Xing,
Joanne Bechta Dugan:
Comments on PMS BDD generation in 'A BDD-based algorithm for Reliability Analysis of phased-mission systems'.
IEEE Transactions on Reliability 53(2): 169-173 (2004) |
| 27 | EE | Liudong Xing,
Joanne Bechta Dugan:
A separable ternary decision diagram based analysis of generalized phased-mission reliability.
IEEE Transactions on Reliability 53(2): 174-184 (2004) |
| 26 | EE | Yong Ou,
Joanne Bechta Dugan:
Modular solution of dynamic multi-phase systems.
IEEE Transactions on Reliability 53(4): 499-508 (2004) |
| 2003 |
|---|
| 25 | EE | Ed Stoker,
Joanne Bechta Dugan:
When Does It Pay to Make Software More Reliable?.
ISSRE 2003: 321-331 |
| 24 | EE | Yong Ou,
Joanne Bechta Dugan:
Approximate sensitivity analysis for acyclic Markov reliability models.
IEEE Transactions on Reliability 52(2): 220-230 (2003) |
| 2002 |
|---|
| 23 | EE | Ganesh J. Pai,
Joanne Bechta Dugan:
Automatic Synthesis of Dynamic Fault Trees from UML System Models.
ISSRE 2002: 243-256 |
| 22 | EE | 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): 3-12 (2002) |
| 2000 |
|---|
| 21 | EE | Joanne Bechta Dugan:
Galileo: A Tool for Dynamic Fault Tree Analysis.
Computer Performance Evaluation / TOOLS 2000: 328-331 |
| 20 | EE | David Coppit,
Kevin J. Sullivan,
Joanne Bechta Dugan:
Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees.
ISSRE 2000: 270-282 |
| 1999 |
|---|
| 19 | EE | Kevin J. Sullivan,
Joanne Bechta Dugan,
David Coppit:
The Galileo Fault Tree Analysis Tool.
FTCS 1999: 232-235 |
| 1998 |
|---|
| 18 | EE | Ragavan Manian,
Joanne Bechta Dugan,
David Coppit,
Kevin J. Sullivan:
Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems.
HASE 1998: 21-28 |
| 1997 |
|---|
| 17 | EE | Hany H. Ammar,
T. Nikzadeh,
Joanne Bechta Dugan:
A Methodology For Risk Assessment Of Functional Specification Of Software Systems Using Colored Petri Nets.
IEEE METRICS 1997: 108- |
| 1996 |
|---|
| 16 | | Jian Chiu,
Joanne Bechta Dugan:
Analysis of a Multistage Interconnection Network using Binary Decision Diagrams.
SRDS 1996: 34-43 |
| 1995 |
|---|
| 15 | | Joanne Bechta Dugan,
K. H. Kim:
(Position Paper) Quantitative Analysis of Software- and Hardware- Fault Tolerance.
COMPSAC 1995: 392 |
| 14 | | Stacy A. Doyle,
Joanne Bechta Dugan:
Dependability Assessment using Binary Decision Diagrams (BDDs).
FTCS 1995: 249-258 |
| 1994 |
|---|
| 13 | | Joanne Bechta Dugan:
Reliability Analysis of a Hardware and Software Fault Tolerant Parallel Processor.
SRDS 1994: 74-83 |
| 12 | EE | Joanne Bechta Dugan,
Randy Van Buren:
Reliability evaluation of fly-by-wire computer systems.
Journal of Systems and Software 25(1): 109-120 (1994) |
| 1992 |
|---|
| 11 | | Dov Bulka,
Joanne Bechta Dugan:
Design and Analysis of Multibus Systems Using Projective Geometry.
FTCS 1992: 122-129 |
| 1990 |
|---|
| 10 | | Dov Bulka,
Joanne Bechta Dugan:
A Lower Bound On The Reliability of an n-Dimensional Hypercube.
SRDS 1990: 44-53 |
| 1989 |
|---|
| 9 | | Joanne Bechta Dugan,
Dan C. Marinescu,
Giovanni Chiola,
Yoshio Sugasawa,
William H. Sanders,
Gianfranco Ciardo:
Panel: Applications of Performance Petri Nets.
PNPM 1989: 164 |
| 8 | | Joanne Bechta Dugan,
Malathi Veeraraghavan,
Mark Boyd,
Nitin Mittal:
Bounded Approximate Reliability Models for Distributed Systems.
SRDS 1989: 137-147 |
| 7 | | Joanne Bechta Dugan,
Kishor S. Trivedi:
Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems.
IEEE Trans. Computers 38(6): 775-787 (1989) |
| 6 | EE | Joanne Bechta Dugan,
Gianfranco Ciardo:
Stochastic Petri Net Analysis of a Replicated File System.
IEEE Trans. Software Eng. 15(4): 394-401 (1989) |
| 1987 |
|---|
| 5 | | Joanne Bechta Dugan,
Gianfranco Ciardo:
Stochastic Petri Net Analysis of a Replicated File System.
PNPM 1987: 84-92 |
| 1986 |
|---|
| 4 | | Robert Geist,
Mark Smotherman,
Kishor S. Trivedi,
Joanne Bechta Dugan:
The Reliability of Life-Critical Computer Systems.
Acta Inf. 23(6): 621-642 (1986) |
| 1985 |
|---|
| 3 | | 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: 6-13 |
| 1984 |
|---|
| 2 | | Kishor S. Trivedi,
Joanne Bechta Dugan,
Robert Geist,
Mark Smotherman:
Issues in reliability modeling of fault-tolerant computers.
Fehlertolerierende Rechensysteme 1984: 228-239 |
| 1 | | Joanne Bechta Dugan,
Kishor S. Trivedi,
Robert Geist,
Victor F. Nicola:
Extended Stochastic Petri Nets: Applications and Analysis.
Performance 1984: 507-519 |
