cMh Selected Publications

Papers (some with presentations)

  1. Hayhurst, Kelly J.; Holloway, C. Michael: "Considering Object Oriented Technology in Aviation Applications", to appear in the Proceedings of the 22nd Digital Avionics Systems Conference, 12-16 October 2003, Indianapolis, Indiana, paper 3.B.1.

  2. Johnson, Chris W.; Holloway, C. Michael: "The ESA/NASA SOHO Mission Interruption: Using the STAMP Accident Analysis Technique for a Software Related `Mishap'"link to external site, Software: Practice and Experience, Volume 33, Number 12, October 2003, pp. 1177-1198.

  3. Holloway, C. Michael; Hayhurst, Kelly J.: "Software System Safety & the NASA Aeronautics Blueprint", Proceedings of the 21st International System Safety Conference, 4-8 August 2003, Ottawa, Ontario, Canada, pp. 1183-1192.

  4. Johnson, Chris W.; Holloway, C. Michael: "The Strengths and Weaknesses of Logic Formalisms to Support Mishap Analysis", to appear in the Proceedings of the 21st International System Safety Conference, 4-8 August 2003, Ottawa, Ontario, Canada, pp. 1133-1142.

  5. Johnson, Chris W.; Holloway, C. Michael: "A Survey of Logic Formalisms to Support Mishap Analysis"link to external site, Reliability Engineering and Systems Safety, Volume 80, Issue 3, June 2003, pp 271-291.

  6. Hayhurst, Kelly J; Holloway, C. Michael: "Aviation Software Guidelines", IEEE Software, Volume 19, Number 5, Sep/Oct 2002.

  7. Holloway, C. Michael: "Issues in Software Safety: Polly Ann Smith Co. v. Ned I. Ludd", Proceedings of the 20th International System Safety Conference external link, 5-9 August 2002, Denver, Colorado. An earlier version of this paper was presented at the 2nd Meeting of the U.S. Software System Safety Working Group external link, Cambridge, MA, 19-20 February 2002.

  8. Hanks, Kimberly S.; Knight, John C.; and Holloway, C. Michael: "The Role of Natural Language in Accident Investigation and Reporting Guidelines," 2002 Workshop on the Investigation and Reporting of Incidents and Accidents, Glasgow, Scotland, July 2002.

  9. Hayhurst, Kelly J; Holloway, C. Michael: "Challenges in Software Aspects of Aviation Systems", in the Proceedings of the 26 Annual NASA Goddard Software Engineering Workshop (IEEE/NASA SEW-26), 27-29 November 2001, Greenbelt, MD, pp. 7-13.

  10. Holloway, C. Michael: "From Bridges and Rockets, Lessons for Software Systems", in the Conference Proceedings of the 17th International System Safety Conference, August 16-21, 1999, Orlando, Florida, pages 598-607.

  11. Arthur, James D.; Groner, Markus K.; Hayhurst, Kelly J.; and Holloway. C. Michael: "Evaluating the Effectiveness of Independent Verification and Validation", in IEEE Computer, October 1999, pp. 79-83.

  12. Hayhurst, Kelly J; Holloway, C. Michael; Dorsey, Cheryl A.; Knight, John C.; Leveson, Nancy G.; McCormick, G. Frank; Yang, Jeffrey C.: Streamlining Software Aspects of Certification: Technical Team Report on the First Industry Workshop, NASA TM-1998-207648, April 1998.

  13. Holloway, C. Michael: "Why Engineers Should Consider Formal Methods", Proceedings of the 16th AIAA/IEEE Digital Avionics Systems Conference, October 26-30, 1997, Irvine CA, Volume 1, pages 1.3-16 - 1.3.-22.

  14. Holloway, C. Michael; Butler, Ricky W.: "Impediments to Industrial Use of Formal Methods", in IEEE Computer, April 1996, pp. 25-26.

  15. C. Michael Holloway. "Ada 95 and Safety-Critical Software". In 14th AIAA/IEEE Digital Avionics Systems Conference, pages 504-509, November 1995.

  16. Butler, Ricky; Caldwell, James; Carreno, Victor; Holloway, Michael; Miner, Paul; and Di Vito, Ben: " NASA Langley`s Research and Technology Transfer Program in Formal Methods." in 10th Annual Conference on Computer Assurance (COMPASS 95), Gaithersburg, MD, June 1995. An expanded version is viewable here in PDF (Download Adobe Acrobat Reader external link if needed). (Note: For information on less recent work, see the COMPASS 91 paper).

  17. C. Michael Holloway: "Software Engineering and Epistemology", in Software Engineering Notes, Volume 20, No. 2, April 1995

  18. Butler, Ricky W.; Di Vito, Ben L.; and Holloway, C. Michael: Formal Design and Verification of a Reliable Computing Platform For Real-Time Control (Phase 3 Results). NASA Technical Memorandum 109140, August, 1994.

  19. C. Michael Holloway: The Syntax of Dragoon: Evaluation and Recommendations, NASA Technical Memorandum 4385, July 1992.

Presentations

  1. C. Michael Holloway: Applying the Results of "A Conditional Resolution of the Apparent Paradox of Self-Deception" to Research. A talk delivered to my branch in May 1999.

  2. C. Michael Holloway: An Overview of Why...Because...Analysis (WBA). A talk delivered to my branch in March 1999.

  3. C. Michael Holloway: An Informal Introduction to Formal Methods, presentation at Third NASA Langley Formal Methods Workshop.

  4. C. Michael Holloway; Ben Di Vito; David Guaspari; Michael Smith: Formal Methods: Fact vs. Fiction, Panel Summary and Position Papers in TRI-Ada `94, Baltimore, Maryland, November 1994.

  5. Holloway, C. Michael: Epistemology, Software Enginering, and Formal Methods, extended abstract and presentation in The Role of Computers in Research and Development at Langley Research Center, NASA Conference Publication 10159, October 1994, pages 570-595.

Compilations

  1. Proceedings of the Second Workshop on the Investigation and Reporting of Incidents and Accidents (IRIA 2003), NASA/CP-2003-212642, Kelly J. Hayhurst and C. Michael Holloway (compilers), September 2003.

  2. C. Michael Holloway (compiler). Lfm2000: Fifth NASA Langley Formal Methods Workshop. NASA/CP-2000-210100, NASA Langley Research Center, Hampton, Virginia, June 2000.

  3. Holloway, C. Michael; Hayhurst, Kelly J. (editors): Lfm97: Fourth NASA Langley Formal Methods Workshop, NASA Conference Publication 3356, September 1997.

  4. Holloway, C. Michael (editor): Third NASA Langley Formal Methods Workshop, NASA Conference Publication 10176, June 1995.

  5. Johnson, Sally C.; Holloway, C. Michael; and Butler, Ricky W. (eds.): Second NASA Formal Methods Workshop 1992. NASA Conference Publication 10110, Nov. 1992.

Note: The external link tag identifies links that are outside of the NASA domain.

Curator and Responsible NASA Official: C. Michael Holloway
last modified: 21 October 2003 (09:51:14)