| Why engineers should consider formal methods CM Holloway 16th DASC. AIAA/IEEE digital avionics systems conference. Reflections to the …, 1997 | 149 | 1997 |
| A taxonomy of fallacies in system safety arguments WS Greenwell, JC Knight, CM Holloway, JJ Pease 24th International System Safety Conference, 2006 | 101 | 2006 |
| An investigation of proposed techniques for quantifying confidence in assurance arguments PJ Graydon, CM Holloway Safety science 92, 53-65, 2017 | 72 | 2017 |
| Impediments to industrial use of formal methods CM Holloway, RW Butler | 71 | 1996 |
| Safety case notations: Alternatives for the non-graphically inclined? CM Holloway 2008 3rd IET International Conference on System Safety, 1-6, 2008 | 68 | 2008 |
| NASA Langley's research and technology-transfer program in formal methods RW Butler, JL Caldwell, VA Carreno, CM Holloway, PS Miner, BL Di Vito COMPASS'95 Proceedings of the Tenth Annual Conference on Computer Assurance …, 1995 | 67 | 1995 |
| Evaluating the effectiveness of independent verification and validation JD Arthur, MK Groner, KJ Hayhurst, CM Holloway Computer 32 (10), 79-83, 1999 | 51 | 1999 |
| A survey of logic formalisms to support mishap analysis C Johnson, CM Holloway Reliability Engineering & System Safety 80 (3), 271-291, 2003 | 50 | 2003 |
| Understanding the overarching properties CM Holloway | 47 | 2019 |
| The ESA/NASA SOHO mission interruption: Using the STAMP accident analysis technique for a software related ‘mishap’ CW Johnson, CM Holloway Software: Practice and Experience 33 (12), 1177-1198, 2003 | 41 | 2003 |
| Explicate'78: Uncovering the implicit assurance case in do-178c CM Holloway Safety-Critical Systems Symposium 2015 (SSS 2015), 2015 | 40 | 2015 |
| Making the implicit explicit: Towards an assurance case for DO-178C CM Holloway International System Safety Conference, 2013 | 39 | 2013 |
| Formal design and verification of a reliable computing platform for real-time control. Phase 2: Results RW Butler, BL DiVito | 39 | 1992 |
| Software engineering and epistemology CM Holloway ACM SIGSOFT Software Engineering Notes 20 (2), 20-21, 1995 | 37 | 1995 |
| Challenges in software aspects of aerospace systems KJ Hayhurst, CM Holloway Proceedings 26th Annual NASA Goddard Software Engineering Workshop, 7-13, 2001 | 33 | 2001 |
| Towards understanding the DO-178C/ED-12C assurance case CM Holloway 7th IET International Conference on System Safety, incorporating the Cyber …, 2012 | 27 | 2012 |
| A longitudinal analysis of the causal factors in major maritime accidents in the USA and Canada (1996–2006) CW Johnson, CM Holloway The Safety of Systems: Proceedings of the Fifteenth Safety-critical Systems …, 2007 | 26 | 2007 |
| The dangers of failure masking in fault-tolerant software: aspects of a recent in-flight upset event CW Johnson, CM Holloway 2007 2nd Institution of Engineering and Technology International Conference …, 2007 | 21 | 2007 |
| From Bridges and Rockets, Lessons for Software Systems CM Holloway | 21 | 2004 |
| On the over-emphasis of human ‘error’as a cause of aviation accidents:‘systemic failures’ and ‘human error’in US NTSB and Canadian TSB aviation reports 1996–2003 C Johnson, C Holloway Proceedings of the 22nd International System Safety Conference (ISSC …, 2004 | 17 | 2004 |
Chris JohnsonPro Vice Chancellor, Engineering and Physical Sciences, Queen's University Belfast.Verified email at qub.ac.uk
