Joanne Bechta Dugan

	2012
39		Liudong Xing, Ola Tannous, Joanne Bechta Dugan: Reliability Analysis of Nonrepairable Cold-Standby Systems Using Sequential Binary Decision Diagrams. IEEE Transactions on Systems, Man, and Cybernetics, Part A 42(3): 715-726 (2012)
	2008
38		Josh Dehlinger, Joanne Bechta Dugan: Dynamic Event/Fault Tree Analysis of Multi-agent Systems Using Galileo. QSIC 2008: 429-434
37		Hichem 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
36		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
35		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
34		Hichem Boudali, Joanne Bechta Dugan: A continuous-time Bayesian network reliability modeling, and analysis framework. IEEE Transactions on Reliability 55(1): 86-97 (2006)
33		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
32		Ganesh J. Pai, Joanne Bechta Dugan, Khalid Lateef: Bayesian Networks applied to Software IV&V. SEW 2005: 293-304
31		Susan K. Donohue, Joanne Bechta Dugan, Charles L. Brown: Is My Software "Good Enough" to Release? - A Probabilistic Assessment. SEW 2005: 5-13
	2004
30		Vinu Vijay Kumar, Rashi Verma, John Lach, Joanne Bechta Dugan: A Markov Reward Model for Reliable Synchronous Dataflow System Design. DSN 2004: 817-825
29		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)
28		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)
27		Yong Ou, Joanne Bechta Dugan: Modular solution of dynamic multi-phase systems. IEEE Transactions on Reliability 53(4): 499-508 (2004)
	2003
26		Ed Stoker, Joanne Bechta Dugan: When Does It Pay to Make Software More Reliable?. ISSRE 2003: 321-331
25		Yong Ou, Joanne Bechta Dugan: Approximate sensitivity analysis for acyclic Markov reliability models. IEEE Transactions on Reliability 52(2): 220-230 (2003)
	2002
24		Ganesh J. Pai, Joanne Bechta Dugan: Automatic Synthesis of Dynamic Fault Trees from UML System Models. ISSRE 2002: 243-256
23		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
22		Joanne Bechta Dugan: Galileo: A Tool for Dynamic Fault Tree Analysis. Computer Performance Evaluation / TOOLS 2000: 328-331
21		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
20		Kevin J. Sullivan, Joanne Bechta Dugan, David Coppit: The Galileo Fault Tree Analysis Tool. FTCS 1999: 232-235
	1998
19		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
18		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
17		Jian Chiu, Joanne Bechta Dugan: Analysis of a Multistage Interconnection Network using Binary Decision Diagrams. SRDS 1996: 34-43
	1995
16		Joanne Bechta Dugan, K. H. Kim: (Position Paper) Quantitative Analysis of Software- and Hardware- Fault Tolerance. COMPSAC 1995: 392
15		Stacy A. Doyle, Joanne Bechta Dugan: Dependability Assessment using Binary Decision Diagrams (BDDs). FTCS 1995: 249-258
	1994
14		Joanne Bechta Dugan: Reliability Analysis of a Hardware and Software Fault Tolerant Parallel Processor. SRDS 1994: 74-83
13		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
12		Dov Bulka, Joanne Bechta Dugan: Design and Analysis of Multibus Systems Using Projective Geometry. FTCS 1992: 122-129
	1990
11		Jill J. Hallenbeck, Joanne Bechta Dugan: Design of fault-tolerant systems. CBMS 1990: 162-169
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		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

Coauthor Index

1	Hany H. Ammar	[18]
2	Andrea Bobbio	[3]
3	Hichem Boudali	[34] [37]
4	Mark Boyd	[8]
5	Charles L. Brown	[31]
6	Dov Bulka	[10] [12]
7	Randy Van Buren	[13]
8	Giovanni Chiola	[9]
9	Jian Chiu	[17]
10	Gianfranco Ciardo	[3] [5] [6] [9]
11	David Coppit	[19] [20] [21]
12	Josh Dehlinger	[38]
13	Susan K. Donohue	[31]
14	Stacy A. Doyle	[15]
15	Robert Geist	[1] [2] [4]
16	Jill J. Hallenbeck	[11]
17	Barry W. Johnson	[23]
18	Lori M. Kaufman	[23]
19	K. H. (Kane) Kim (K. H. Kim, Kane Kim, Kwang-Hae (Kane) Kim)	[16]
20	Vinu Vijay Kumar	[30]
21	John Lach	[30]
22	Khalid Lateef	[32]
23	Ragavan Manian	[19]
24	Dan C. Marinescu	[9]
25	Nitin Mittal	[8]
26	Victor F. Nicola	[1]
27	T. Nikzadeh	[18]
28	Yong Ou	[25] [27]
29	Ganesh J. Pai	[24] [32] [35] [36]
30	William H. Sanders	[9]
31	Mark Smotherman	[2] [4]
32	Ed Stoker	[26]
33	Yoshio Sugasawa	[9]
34	Kevin J. Sullivan	[19] [20] [21]
35	Zhihua Tang	[33]
36	Ola Tannous	[39]
37	Kishor S. Trivedi	[1] [2] [3] [4] [7]
38	Malathi Veeraraghavan	[8]
39	Rashi Verma	[30]
40	Liudong Xing	[28] [29] [39]
41	Hong Xu	[36]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page