Publications

Copyright Notice for IEEE papers:

This material is posted here with permission of the IEEE. Internal or
personal use of this material is permitted. However, permission to
reprint/republish this material for advertising or promotional purposes or
for creating new collective works for resale or redistribution must be
obtained from the IEEE by writing to pubs-permissions@ieee.org.

By choosing to view this document, you agree to all provisions of
the copyright laws protecting it.

Software Development Research Publications

• David Coppit, Kevin J. Sullivan, and Joanne Bechta Dugan. Formal Semantics of Models for Computational Engineering: A Case Study on Dynamic Fault Trees. Proceedings of the International Symposium on Software Reliability Engineering, pages 270-282, San Jose, California, 8-11 October 2000. 
  [Abstract, PDF]
• David Coppit and Kevin J. Sullivan. Multiple mass-market applications as components. In Proceedings of the 22nd International Conference on Software Engineering, pages 273-82, Limerick, Ireland, 4-11 June 2000.
  [Abstract, PDF]
• David Coppit and Kevin J. Sullivan. Galileo: A tool built from mass-market applications. In Proceedings of the 22nd International Conference on Software Engineering, pages 750-3, Limerick, Ireland, 4-11 June 2000.
  [Abstract, PDF]
• Joanne Bechta Dugan, Kevin J. Sullivan, and David Coppit. Developing a low-cost, high-quality software tool for dynamic fault tree analysis. Transactions on Reliability, December 1999, pages 49-59.
  [Abstract, PDF]
• Joanne Bechta Dugan, Kevin J. Sullivan, and David Coppit. Developing a high-quality software tool for fault tree analysis. In Proceedings of the International Symposium on Software Reliability Engineering, pages 222-31, Boca Raton, Florida, 1-4 November 1999.
  [Abstract, PDF]
• Kevin J. Sullivan, Mark Marchukov, and John Socha. Analysis of a conflict between aggregation and interface negotiation in Microsoft's component object model. IEEE Transactions on Software Engineering, 25(5), September 1999.
  [Abstract, PDF]
• Kevin J. Sullivan, Joanne Bechta Dugan, and David Coppit. The Galileo fault tree analysis tool. In Proceedings of the 29th Annual International Symposium on Fault-Tolerant Computing, pages 232-5, Madison, Wisconsin, 15-18 June 1999.
  [Abstract, PDF]
• David Coppit and Kevin J. Sullivan. Formal specification in collaborative design of critical software tools. In Proceedings Third IEEE International High-Assurance Systems Engineering Symposium, pages 13-20, Washington, D.C., 13-14 November 1998. 
  [Abstract, PDF]
• Kevin J. Sullivan. Better, faster, cheaper tools: A case study and demonstration. In Annual Reliability and Maintainability Symposium 1997 Proceedings, pages 216-19, Philadelphia, PA, 13-16 January 1997.
  [Abstract, PS]

Reliability Engineering Research Publications

• Tariq Assaf and Joanne Bechta Dugan. Diagnostic Expert Systems from Dynamic Fault Trees. In Annual Reliability and Maintainability Symposium 2004 Proceedings, LA, January 2004. [Abstract, PDF]

• Zhihua Tang and Joanne Bechta Dugan. Minimal Cut Set/Sequence Generation for Dynamic fault Trees. In Annual Reliability and Maintainability Symposium 2004 Proceedings, LA,  January 2004.
  [Abstract, PDF]

• Zhihua Tang and Joanne Bechta Dugan. An Integrated Method for Incorporating Common Cause Failures in System Analysis. In Annual Reliability and Maintainability Symposium 2004 Proceedings, LA,  January 2004.
  [Abstract, PDF]

• Hong Xu and Joanne Bechta Dugan. Combining Dynamic Fault Trees and Event Trees for Probabilistic Risk Assessment. In Annual Reliability and Maintainability Symposium 2004 Proceedings, LA,  January 2004.
  [Abstract, PDF]

• Tariq Assaf and Joanne Bechta Dugan. Automatic generation of Diagnostic Expert Systems from Fault Trees. In Annual Reliability and Maintainability Symposium 2003 Proceedings, Tampa, FL,  January 2003.
  [Abstract, PDF]

• Liudong Xing and Joanne Bechta Dugan. Analysis of Generalized Phased-Mission Systems Reliability, Performance and Sensitivity. IEEE Transaction on Reliability, 2001.
  [Abstract, PDF]

• Yong Ou and Joanne Bechta Dugan. Sensitivity Analysis of Modular Dynamic Fault Trees. IEEE International Computer Performance and Dependability Symposium, March 2000.
  [Abstract, PDF]
• Leila Meshkat, Joanne Bechta Dugan, and John D. Andrews. Analysis of safety systems with on-demand and dynamic failure modes.
  [Abstract, PDF]
• Ragavan Manian, David W. Coppit, Kevin J. Sullivan, and Joanne Bechta Dugan. Bridging the gap between systems and dynamic fault tree models. In Annual Reliability and Maintainability Symposium 1999 Proceedings, pages 105-11, Washington, DC, USA, 18-21 January 1999.
  [Abstract, PDF]
• Ragavan Manian, Joanne Bechta Dugan, David Coppit, and Kevin Sullivan. Combining various solution techniques for dynamic fault tree analysis of computer systems. In Proceedings Third IEEE International High-Assurance Systems Engineering Symposium, pages 21-28, Washington, D.C., 13-14 November 1998.
  [Abstract, PDF]
• Stacy A. Doyle and Joanne Bechta Dugan. Dependability Assessment using Binary Decision Diagrams (BDDs). In Proceedings of the 25th Annual International Symposium on Fault-Tolerant Computing, Pasadena, California, 27-30 June 1995.
  [Abstract, PDF]

• Joanne Bechta Dugan and Tariq S. Assaf. Dynamic Fault Tree Analysis of a Reconfigurable Software System. The 19th International System Safety Conference, Huntsville, Alabama, September, 2001.
  [Abstract, PDF]

• Joanne Bechta Dugan, Bharath Venkataraman, and Rohit Gulati. DIFTree: A software package for the analysis of dynamic fault tree models. In Annual Reliability and Maintainability Symposium 1997 Proceedings, Philadelphia, PA, 13-16 January 1997.
  [Abstract, PDF]