C. Michael Holloway's Publications
last modified: <2019-08-03 (09:34)>

Eleven of My Favorite Things

  1. Holloway, C. Michael. 2019. a very brief informal but adequately comprehensive introduction to argument.
  2. Holloway, C. Michael. 2019. Understanding the Overarching Properties. NASA/TM-2019-220292.
  3. Holloway, C. Michael. 2019. An eclectic introduction to assurance cases.
  4. Holloway, C. Michael. 2018. Understanding Assurance Cases: An Educational Series in Five Parts. (Module 1: Foundation; Module 2: Application; Module 3: Evaluation; Module 4: Creation; Module 5: Speculation).
  5. Holloway, C. Michael, John C. Knight, and John A. McDermid. 2014. Neither Pollyanna nor Chicken Little: Thoughts on the Ethics of Automation. 2014 IEEE International Symposium on Ethics in Engineering, Science and Technology. May 23-24. Chicago, Illinois.
  6. Holloway, C. M. and C. W. Johnson. 2011. Reducing our Ignorance: Finding Answers to Certain Epistemic Questions for Software Systems. IET 6th International Conference on System Safety. September 20-22. Birmingham, UK.
  7. Holloway, C. M., C. W. Johnson, and K. R. Collins. 2010. A Safety Conundrum Illustrated: Logic, Mathematics, and Science are not Enough. IET 5th International Conference on System Safety, October 18-20. Manchester, UK.
  8. Holloway, C. M. and C. W. Johnson. 2006. Why System Safety Professionals Should Read Accident Reports. IET 1st International Conference on System Safety. June 6-8. London, UK.
  9. Holloway, C. Michael, Chris W. Johnson. 2004. Distribution of Causes in Selected U.S. Aviation Accident Reports Between 1996 and 2003. 22nd International System Safety Conference, August 2-6. Providence, RI.
  10. Holloway, C. Michael. 2002. Issues in Software Safety: Polly Ann Smith Co. v. Ned I. Ludd. Proceedings of the 20th International System Safety Conference. August 5-9. Denver, CO.
  11. Holloway, C. Michael. 1999. From Bridges and Rockets, Lessons for Software Systems. Proceedings of the 17th International System Safety Conference. August 16-21. Orlando, FL.

NASA, FAA & Journal

  1. Holloway, C. Michael and P. J. Graydon. 2018. Explicate '78: Assurance Case Applicability to Digital Systems. DOT/FAA/TC-17/67. (The published version was edited without my participation. The technical content is mostly unchanged put the published version is much duller than my original. Nearly all of my humor of the was excised.)
  2. Heaver, Emily and C. Michael Holloway. 2017. Assurance Arguments for the Non-graphically-inclined: Two Approaches. NASA/TM-2017-219650.
  3. Graydon, Patrick and C. Michael Holloway. 2017. An Investigation of Proposed Techniques for Quantifying Confidence in Assurance Arguments. Safety Science. vol. 92, February. pp. 53-65.
  4. Graydon, Patrick and C. Michael Holloway. 2016. An Investigation of Proposed Techniques for Quantifying Confidence in Assurance Arguments. NASA/TM-2016-219195.
  5. Graydon, Patrick and C. Michael Holloway. 2015. Planning the Unplanned Experiment: Towards Assessing the Efficacy of Standards for Safety-Critical Software. NASA/TM-2015-218804.
  6. Johnson, Chris and Michael Holloway. 2008. A Historical Perspective on Aviation Accident Investigation. Safety Systems. Volume 17, Number 2, January. (Invited paper for the 50th issue of the Safety-Critical Systems Club newsletter)
  7. Johnson, Chris W., C. Michael Holloway 2003. 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. pp. 1177-1198.
  8. Johnson, Chris W. and C. Michael Holloway. 2003. A Survey of Logic Formalisms to Support Mishap Analysis. Reliability Engineering and Systems Safety. Volume 80, Issue 3, June. pp. 271-291.
  9. Hayhurst, Kelly J. and C. Michael Holloway. 2002. Aviation Software Guidelines. IEEE Software, Volume 19, Number 5, Sep/Oct.
  10. Hayhurst, Kelly J. and C. Michael Holloway. 2001. Challenges in Software Aspects of Aviation Systems. Proceedings of the 26 Annual NASA Goddard Software Engineering Workshop. (IEEE/NASA SEW-26). November 2001. Greenbelt, MD.
  11. Arthur, James D., Markus K. Groner, Kelly J. Hayhurst, and C. Michael Holloway.. 1999. Evaluating the Effectiveness of Independent Verification and Validation. IEEE Computer, Volume 32, No. 10, October. pp. 79-83.
  12. Hayhurst, Kelly J, C. Michael Holloway, Cheryl A.Dorsey, John C. Knight, Nancy G. Leveson, G. Frank McCormick, and Jeffrey C. Yang 1998. Streamlining Software Aspects of Certification: Technical Team Report on the First Industry Workshop NASA TM-1998-207648.
  13. Holloway, C. Michael and Ricky W. Butler. 1996. Impediments to Industrial Use of Formal Methods. IEEE Computer. Volume 29, No.4, April. pp. 25-26.
  14. Holloway, C. Michael. 1994. Epistemology, Software Enginering, and Formal Methods. The Role of Computers in Research and Development at Langley Research Center. NASA Conference Publication 10159.
  15. Butler, Ricky W., Ben L. Di Vito, Ben L., and C. Michael Holloway. 1994. Formal Design and Verification of a Reliable Computing Platform For Real-Time Control (Phase 3 Results). NASA Technical Memorandum 109140.
  16. C. Michael Holloway. 1992. The Syntax of Dragoon: Evaluation and Recommendations. NASA Technical Memorandum 4385.
  17. C. Michael Holloway. 1986. A Survey of Functional Programming Language Principles. NASA Technical Memorandum 89019.

Safety Conferences

  1. Graydon, P. J. and C. M. Holloway 2015. Evidence Under a Magnifying Glass: Thoughts on Safety Argument Epistemology. IET 10th System Safety and Cyber Security Conference. October. Bristol, UK.
  2. Graydon, Patrick and C. Michael Holloway. 2015. Planning the Unplanned Experiment: Towards Assessing the Efficacy of Standards for Safety-Critical Software, 33rd International System Safety Conference. August. San Diego, CA.
  3. Holloway, C. Michael. 2015. Explicate '78: Uncovering the Implicit Assurance Case in DO-178C. Engineering Systems for Safety. Proceedings of the 23rd Safety-critical Systems Symposium. M. Parsons & T. Anderson (eds). February. Bristol, UK.
  4. Holloway, C. Michael. 2013. Making the Implicit Explicit: Towards an Assurance Case for DO-178C. 31st International System Safety Conference. August 12-16. Boston, MA.
  5. Holloway, C. M. 2012. Towards Understanding the DO-178C / ED-12C Assurance Case. IET 7th International Conference on System Safety. October. Edinburgh, Scotland.
  6. Johnson, C. W., H. A. Oltedal, and C. M. Holloway. 2012. Comparing the Identification of Recommendations by Different Accident Investigators Using a Common Methodology. IET 7th International Conference on System Safety. October. Edinburgh, Scotland.
  7. Brown, Sean and C. Michael Holloway. 2012. Analyzing a Midair Collision Over the Hudson River. 30th International System Safety Conference. August. Atlanta, GA.
  8. Johnson, C. W. and C. M. Holloway. 2011. A Possible Approach for Addressing Neglected Human Factors Issues of Systems Engineering. IET 6th International Conference on System Safety. September. Birmingham, UK.
  9. Johnson, C. W. and C. M. Holloway. 2010. Safety Arguments for Next Generation, Location Aware Computing. IET 5th International Conference on System Safety. October. Manchester, UK.
  10. Holloway, C. M. and C. W. Johnson. 2010. Epistemic Questions & Answers for Software System Safety. 28th International System Safety Conference. September. Minneapolis, Minnesota.
  11. Holloway, C. M. and C. W. Johnson. 2009. Towards a Comprehensive Consideration of Epistemic Questions in Software System Safety. IET 4th International Conference on System Safety. October. London, UK.
  12. Holloway, C. M. 2008. Safety Case Notations: Alternatives for the Non-Graphically Inclined? IET 3nd International Conference on System Safety. October. Birmingham, UK.
  13. Holloway, C. M. and C. W. Johnson. 2008. How Past Loss of Control Accidents May Inform Safety Cases for Advanced Control Systems for Commercial Aircraft. IET 3nd International Conference on System Safety. October. Birmingham, UK.
  14. Johnson, Chris W., Christine Shea, and C. Michael Holloway. 2008. The Role of Trust and Interaction in Global Positioning System Related Accidents. 26th International System Safety Conference. August. Vancouver, British Columbia, Canada.
  15. Johnson, C. W. and C. M. Holloway. 2007. The Dangers of Failure Masking in Fault-Tolerant Software: Aspects of a Recent In-Flight Upset Event. IET 2nd International Conference on System Safety. October. London, UK.
  16. Holloway, C. M. and C. W. Johnson. 2007. A Look at Aircraft Accident Analysis in the Early Days: Do Early 20th Century Accident Investigation Techniques Have Any Lessons for Today?. IET 2nd International Conference on System Safety, October. London, UK.
  17. Johnson, C. W. and C. M. Holloway. 2007. 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 (eds). February. Bristol, UK.
  18. Holloway, C. Michael. 2006. Safety, Risk, and Other Misunderstood Ideas. IET 1st International Conference on System Safety. (unpublished keynote address) June. London, UK.
  19. Johnson, C. W. and C. M. Holloway. 2006. Questioning the Role of Requirements Engineering in the Causes of Safety-Critical Software Failures. IET 1st International Conference on System Safety. June. London, UK.
  20. Greenwell, William S, John C. Knight, C. Michael Holloway, and Jacob J. Pease. 2006. A Taxonomy of Fallacies in System Safety Arguments. 24th International System Safety Conference. July 31 - August 4. Albuquerque, NM.
  21. Holloway, C. Michael and Chris W. Johnson. 2005. On the Prevalence of Organizational Factors in Recent U.S. Transportation Accidents. 23rd International System Safety Conference, August. San Diego, CA. (note: for reasons I have not been able to determine, this paper is not available on NTRS)
  22. Johnson, Chris W. and C. Michael Holloway. 2005. A Technique for Showing Causal Arguments in Accident Reports. 23rd International System Safety Conference. August. San Diego, CA.
  23. Holloway, C. Michael and Kelly J. Hayhurst. 2003. Software System Safety & the NASA Aeronautics Blueprint. Proceedings of the 21st International System Safety Conference. August. Ottawa, Ontario, Canada.
  24. Johnson, Chris W. and C. Michael Holloway. 2003. The Strengths and Weaknesses of Logic Formalisms to Support Mishap Analysis. Proceedings of the 21st International System Safety Conference. August. Ottawa, Ontario, Canada.
  25. Hanks, Kimberly S., John C. Knight, and C. Michael Holloway. 2002. The Role of Natural Language in Accident Investigation and Reporting Guidelines. 2002 Workshop on the Investigation and Reporting of Incidents and Accidents. July. Glasgow, Scotland.

Other Conferences & Venues

  1. Holloway, C. Michael. 2006. Software and Accidents: A Discussion about the Past & Speculation about the Future. 2006 Software and Complex Electronic Hardware Standardization Conference. June. Atlanta, GA. (slides are available on request)
  2. Hayhurst, Kelly J. and C. Michael Holloway. 2005. Visions of Automation and Realities of Certification Infotech@Aerospace. September. Arlington, VA. (No link is provided because I was quite unhappy with the compromises that were made to the paper to pass internal review. I loved the original version. If you feel compelled to see it, you can find it through NTRS.)
  3. Holloway, C. Michael. 2005. Why You Should Read Accident Reports. 2005 Software and Complex Electronic Hardware Standardization Conference. July. Norfolk, VA. (slides are available on request)
  4. Greenwell, William S., C. Michael Holloway, and John C. Knight. 2005. A Taxonomy of Fallacies in System Safety Arguments. Technical Report CS-2005-02. December. University of Virginia Department of Computer Science. Charlottesville, Virginia.
  5. Johnson, Chris W. and C. Michael Holloway.. 2004. `Systemic Failures' and `Human Error' in Canadian TSB Aviation Accident Reports between 1996 and 2002. Proceedings of HCI in Aerospace 2004. September. Toulouse, France.
  6. Hayhurst, Kelly J., and C. Michael Holloway.. 2003. Considering Object Oriented Technology in Aviation Applications. Proceedings of the 22nd Digital Avionics Systems Conference. October. Indianapolis, Indiana.
  7. Holloway, C. Michael. 1997. Why Engineers Should Consider Formal Methods. Proceedings of the 16th AIAA/IEEE Digital Avionics Systems Conference. Volume 1. October. Irvine CA.
  8. Holloway, C. Michael. 1995. Ada 95 and Safety-Critical Software. 14th AIAA/IEEE Digital Avionics Systems Conference. November. City. State.
  9. Butler, Ricky, James Caldwell, Victor Carreno, Michael Holloway, Paul Miner, and Ben Di Vito, Ben. 1995. NASA Langley's Research and Technology Transfer Program in Formal Methods. 10th Annual Conference on Computer Assurance (COMPASS 95). June. Gaithersburg, MD
  10. C. Michael Holloway. 1995 Software Engineering and Epistemology. Software Engineering Notes. Volume 20, No. 2, April.

Compilations

  1. Hayhurst, Kelly J and C. Michael Holloway (compilers). 2003. Proceedings of the Second Workshop on the Investigation and Reporting of Incidents and Accidents. NASA/CP-2003-212642.
  2. Holloway, C. Michael (compiler). 2000. Lfm2000: Fifth NASA Langley Formal Methods Workshop. NASA/CP-2000-210100.
  3. Holloway, C. Michael and Kelly J. Hayhurst, Kelly J. (editors). 1997. Lfm97: Fourth NASA Langley Formal Methods Workshop. NASA Conference Publication 3356.
  4. Holloway, C. Michael (editor). 1995. Third NASA Langley Formal Methods Workshop. NASA Conference Publication 10176.
  5. 5 Johnson, Sally C., C. Michael Holloway, and Ricky W. Butler (editors). 1992. Second NASA Formal Methods Workshop 1992. NASA Conference Publication 10110.