An Analytical Model for Predicting the Impact of Maintenance Resource Allocation on Air Traffic Control System Availability, Proc. 2001 Reliability and Maintainability Symposium, Philadelphia, PA, January, 2001

Reliability/Availability Modeling, Prediction, and Measurement for e-Commerce and other Internet Information Systems, Proc. Reliability and Maintainability Symposium

Integration of System Dependability and Software Reliability Growth Models for E-Commerce Systems, High Assurance System Engineering Conference, Albuquerque, NM, November, 2000

Dependabilty Analysis for E-Commerce System Business Decisions, Digest of FastAbstracts: The International Conference on Dependable Systems and Networks /June 2000

Use of Importance Sampling and Related Techniques to Measure Very High Reliability Software, IEEE Aerospace 2000 Conference, Big Sky, MT, March, 2000

An Analytical Model for Predicting the Impact of Maintenance Resource Allocation on National Airspace System Availability, National Research Council Transportation Research Board 79th Annual Meeting, Washington, DC, January, 2000

Experience and Using MEADEP, 1999 Annual Reliability and Maintainability Symposium, Washington DC, USA, Jan 18-21, 1999. Visit the MEADEP Homepage

"MEADEP - A Dependability Evaluation Tool for Engineers", IEEE Transactions on Reliability Visit the MEADEP Homepage

"MEADEP and Its Applications in Dependability Analysis for A Nuclear Power Safety System", IEEE Transactions on Nuclear Science Visit the MEADEP Homepage

"Impact of Maintenance Staffing on Availability of the U.S. Air Traffic Control System", 1998 IEEE Reliability and Maintainability Symposium Proceedings, Anaheim, CA, January, 1998

"MEADEP and Its Applications in Evaluating Dependability for Air Traffic Control Systems", 1998 IEEE Reliability and Maintainability Symposium Proceedings, Anaheim, CA, January, 1998 Visit the MEADEP Homepage

"Engineering Oriented Dependability Evaluation: MEADEP and Its Applications", 1997 Pacific Rim International Symposium on Fault-Tolerant Systems, Taipei, Taiwan, December, 1997 Visit the MEADEP Homepage

An Approach to Measuring and Assessing Dependability for Critical Software Systems, 8th IEEE International Symposium on Software Reliability Engineering, Albuquerque, New Mexico, November, 1997

"MEADEP and Its Applications in Dependability Analysis for a Nuclear Power Safety System", IEEE/ANS Symposium on Nuclear Power Systems, Albuquerque, New Mexico, November, 1997 Visit the MEADEP Homepage

"Quantitative Reliability and Availability Assessment for Critical Systems Including Software", Proceedings of the 12th Annual Conference on Computer Assurance, Gaitherburg, Maryland, June, 1997

"Software Dependability Assessment - Myth and Reality", Issues in NASA Program and Project Management No 12, Washington, DC, June 1996

"A Methodology and Tool for Measurement-Based Dependability Evaluation of Digital Systems in Critical Applications", IEEE Transactions on Nuclear Science, June, 1996

"Toward Accessibility Enhancement of Dependability Modeling Techniques and Tools", Computer-Aided Design, Test and Evaluation for Dependability Workshop, Beijing, China, July, 1996

"Making Dependability Evaluation More Effective and Efficient for Engineers", Computer- Aided Design, Test and Evaluation for Dependability Workshop, Beijing, China, July, 1996

"Measurement-Based Dependability Evaluation for Safety-Grade Digital Systems", The 1996 American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Technology, Pennsylvania State University, USA, May, 1996

"Ada95 Object-Oriented and Real-Time support for Development of Software Fault Tolerance Reusable Components", International Workshop on Object-Oriented and Real-Time Dependable Systems, Laguna Beach, California, February, 1996

"A Methodology and Tool for Measurement-Based Dependability Evaluation of Digital I & C Systems in Critical Applications", IEEE 1995 Nuclear Science Symposium and Medical Imaging Conference, San Francisco, CA, November, 1995

"A Proposal for Standardized Software Dependability Data", ISSES '95, Montreal, Canada, August, 1995

"Structured Approach to Modeling Fault-Tolerant Systems Using SPNP", Evaluation Techniques for Dependable Systems, San Antonio, Texas, October, 1995

"Experimental Analysis of Computer System Dependability", Tutorial: 1995 IEEE Reliability and Maintainability Symposium, Washington, DC, January, 1995

"Rare Conditions and their Effect on Software Failures", Proc. 1994 IEEE Reliability and Maintainability Symposium, Los Angeles, CA, January, 1994

"Rare Conditions: An Important Cause of Failures", Proc. 1993 Computer Assurance and Safety Conference (COMPASS), Gaithersburg, MD, June, 1993

"Avionics Software Performability", Proc. NAECON '92, Dayton, OH, 1992

"Performability Model for Real-Time Software", Proc. First International Workshop on Performability, University of Twente, Netherlands, February 1991

"Software Reliability in the System Context", IEEE Transactions on Software Engineering, January 1986

"Effect of Languages and Development Practices on Fault Density", International Conference on Computers and Applications, Beijing, China, June 1984

Trends in Software Reliability for Digital Flight Control, NASA Ames Research Center Contractor Report 166456, April 1983

"Allocation of Resources for Software Reliability", Proc. Fall COMPCON'81, Washington, September 1981

"Mini-Tutorial on Software Reliability", Proc. COMPSAC'80, Chicago, October 1980

Software Reliability Factors for the ATC Computer System Replacement Program, prepared for the Federal Aviation Administration under contract DOT-FA-79WAI-081, 1980

"Reliable Software for Spacecraft", Proc. Spring COMPCON'80, San Francisco, February 1980

"Measurement, Estimation, and Prediction of Software Reliability" in Software Engineering Techniques, Infotech State of the Art Reports, Maidenhead, Berks., England, 1977

"Reliability Measurement during Software Development", Proc. AIAA Computers in Aerospace Conference, Los Angeles CA, October 1977