C. Michael Holloway's Publications

Refereed & Invited Papers & Talks

  1. Holloway, C. M.; Johnson, C. W.: "Reducing our Ignorance: Finding Answers to Certain Epistemic Questions for Software Systems", Proceedings of the IET 6th International Conference on System Safety, September 20-22, 2011, Birmingham, U.K.

  2. Johnson, C. W.; Holloway, C. M.: "A Possible Approach for Addressing Neglected Human Factors Issues of Systems Engineering", Proceedings of the IET 6th International Conference on System Safety, September 20-22, 2011, Birmingham, U.K.

  3. Holloway, C. M.; Johnson, C. W.; Collins, K. R.: "A Safety Conundrum Illustrated: Logic, Mathematics, and Science are not Enough", Proceedings of the IET 5th International Conference on System Safety, 18-20 October 2010, Manchester, U.K.

  4. Johnson, C. W.; Holloway, C. M.: "Safety Arguments for Next Generation, Location Aware Computing", Proceedings of the IET 5th International Conference on System Safety, 18-20 October 2010, Manchester, U.K.

  5. Holloway, C. M.; Johnson, C. W.: "Towards a Comprehensive Consideration of Epistemic Questions in Software System Safety", in Proceedings of the IET 4th International Conference on System Safety, 25-26 October 2009, London, U.K.

  6. Holloway, C. M.: "Safety Case Notations: Alternatives for the Non-Graphically Inclined?" in Proceedings of the IET 3nd International Conference on System Safety, 21-23 October 2008, Birmingham, U.K.

  7. Holloway, C. M.; Johnson, C. W.: "How Past Loss of Control Accidents May Inform Safety Cases for Advanced Control Systems for Commercial Aircraft" in Proceedings of the IET 3nd International Conference on System Safety, 21-23 October 2008, Birmingham, U.K.

  8. Johnson, Chris W.; Shea, Christine; Holloway, C. Michael: "The Role of Trust and Interaction in Global Positioning System Related Accidents", Proceedings of the 26th International System Safety Conference, 25-29 August 2008, Vancouver, British Columbia, Canada.

  9. Johnson, Chris.; Holloway, Michael: "A Historical Perspective on Aviation Accident Investigation", Safety Systems, Volume 17, Number 2, January 2008. Invited paper for the 50th issue of the Safety-Critical Systems Club newsletter.

  10. Johnson, C. W.; Holloway, C. M.: "The Dangers of Failure Masking in Fault-Tolerant Software: Aspects of a Recent In-Flight Upset Event", Proceedings of the IET 2nd International Conference on System Safety, 22-24 October 2007, London, U.K.

  11. Johnson, C. W; Holloway, C. M.: "A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996-2006)", The Safety of Systems: Proceedings of the 15th Safety-Critical Systems Symposium, F. Redmill and T. Anderson, editors, 13-15 February 2007, Bristol, U.K., pp 85-104.

  12. Holloway, C. Michael: "Safety, Risk, and Other Misunderstood Ideas", Proceedings of the IET 1st International Conference on System Safety, 6-8 June 2006, London, U.K. (keynote address).

  13. Holloway, C. M.; Johnson, C. W.: "Why System Safety Professionals Should Read Accident Reports", Proceedings of the IET 1st International Conference on System Safety, 6-8 June 2006, London, U.K.

  14. Johnson, C. W.; Holloway, C. M.: "Questioning the Role of Requirements Engineering in the Causes of Safety-Critical Software Failures", Proceedings of the IET 1st International Conference on System Safety, 6-8 June 2006, London, U.K.

  15. Johnson, Chris W.; Holloway, C. Michael: "`Systemic Failures' and `Human Error' in Canadian TSB Aviation Accident Reports between 1996 and 2002," Proceedings of HCI in Aerospace 2004, 29 September - 1 October 2004, Toulouse, France.

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

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

  18. 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.

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

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

  21. Holloway, C. Michael; Butler, Ricky W.: "Impediments to Industrial Use of Formal Methods", IEEE Computer, April 1996, Volume 29, No.4, pp. 25-26.

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

  23. C. Michael Holloway: A Survey of Functional Programming Language Principles, NASA Technical Memorandum 89019, September, 1986.

Other Papers & Conference Presentations

  1. Holloway, C. M.; Johnson, C. W.: "Epistemic Questions & Answers for Software System Safety", Proceedings of the 28th International System Safety Conference, 30 August - 3 September 2010, Minneapolis, Minnesota.

  2. Holloway, C. M.; Johnson, C. W.: "A Look at Aircraft Accident Analysis in the Early Days: Do Early 20th Century Accident Investigation Techniques Have Any Lessons for Today?", Proceedings of the IET 2nd International Conference on System Safety, 22-24 October 2007, London, U.K.

  3. Greenwell, William S; Knight, John C.; Holloway, C. Michael; Pease, Jacob J.: "A Taxonomy of Fallacies in System Safety Arguments", Proceedings of the 24th International System Safety Conference, 31 July - 4 August 2006, Albuquerque, New Mexico.

  4. Holloway, C. Michael: "Software and Accidents: A Discussion about the Past & Speculation about the Future", 2006 Software and Complex Electronic Hardware Standardization Conference, June 2006, Atlanta, Georgia. (Slides may be available on request)

  5. Hayhurst, Kelly J.; Holloway, C. Michael: "Visions of Automation and Realities of Certification", Infotech@Aerospace, 26-29 September 2005, Arlington, Virginia. (An electronic version of the paper is not posted; if you are interested in it, please send me e-mail.)

  6. Holloway, C. Michael; Johnson, Chris W.:"On the Prevalence of Organizational Factors in Recent U.S. Transportation Accidents", Proceedings of the 23rd International System Safety Conference, 22-26 August 2005, San Diego, California.

  7. Johnson, Chris W.; Holloway, C. Michael: "A Technique for Showing Causal Arguments in Accident Reports", Proceedings of the 23rd International System Safety Conference, 22-26 August 2005, San Diego, California.

  8. Holloway, C. Michael: "Why You Should Read Accident Reports", 2005 Software and Complex Electronic Hardware Standardization Conference, July 2005, Norfolk, Virginia. (Slides may be available on request)

  9. Greenwell, William S.; Holloway, C. Michael; Knight, John C.: "A Taxonomy of Fallacies in System Safety Arguments", Technical Report CS-2005-02, University of Virginia Department of Computer Science, December 10, 2004.

  10. Holloway, C. Michael; Johnson, Chris W.: "Distribution of Causes in Selected U.S. Aviation Accident Reports Between 1996 and 2003," Proceedings of the 22nd International System Safety Conference, 2-6 August 2004, Providence, Rhode Island.

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

  12. 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.

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

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

  15. Holloway, C. Michael: "Issues in Software Safety: Polly Ann Smith Co. v. Ned I. Ludd", Proceedings of the 20th International System Safety Conference, 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, Cambridge, MA, 19-20 February 2002)

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

  17. 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.

  18. 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.

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

  20. 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", 10th Annual Conference on Computer Assurance (COMPASS 95),Gaithersburg, MD, June 1995.

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

  22. 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.

Selected 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; 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.

  4. 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. Hayhurst, Kelly J; Holloway, C. Michael (compilers): Proceedings of the Second Workshop on the Investigation and Reporting of Incidents and Accidents, NASA/CP-2003-212642, NASA Langley Research Center, Hampton, Virginia, September 2003.

  2. Holloway, C. Michael (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, NASA Langley Research Center, Hampton, Virginia, September 1997.

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

  5. Johnson, Sally C.; Holloway, C. Michael; and Butler, Ricky W. (editors): Second NASA Formal Methods Workshop 1992.NASA Conference Publication 10110, NASA Langley Research Center, Hampton, Virginia, November 1992.

last modified: 26 January 2012 (09:07:31)