The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Joanne Bechta Dugan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  35. Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering. [Citation Graph (, )][DBLP]


  36. Dynamic Event/Fault Tree Analysis of Multi-agent Systems Using Galileo. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002