Követés
C. Michael Holloway
C. Michael Holloway
Senior Research Engineer, NASA Langley Research Center
E-mail megerősítve itt: nasa.gov
Cím
Hivatkozott rá
Hivatkozott rá
Év
Why engineers should consider formal methods
CM Holloway
16th DASC. AIAA/IEEE digital avionics systems conference. Reflections to the …, 1997
1481997
A taxonomy of fallacies in system safety arguments
WS Greenwell, JC Knight, CM Holloway, JJ Pease
24th International System Safety Conference, 2006
952006
Impediments to industrial use of formal methods
CM Holloway, RW Butler
691996
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
651995
An investigation of proposed techniques for quantifying confidence in assurance arguments
PJ Graydon, CM Holloway
Safety science 92, 53-65, 2017
642017
Safety case notations: Alternatives for the non-graphically inclined?
CM Holloway
2008 3rd IET International Conference on System Safety, 1-6, 2008
642008
Evaluating the effectiveness of independent verification and validation
JD Arthur, MK Groner, KJ Hayhurst, CM Holloway
Computer 32 (10), 79-83, 1999
511999
A survey of logic formalisms to support mishap analysis
C Johnson, CM Holloway
Reliability Engineering & System Safety 80 (3), 271-291, 2003
502003
Understanding the overarching properties
CM Holloway
442019
Explicate'78: Uncovering the implicit assurance case in do-178c
CM Holloway
Safety-Critical Systems Symposium 2015 (SSS 2015), 2015
392015
Formal design and verification of a reliable computing platform for real-time control. Phase 2: Results
RW Butler, BL DiVito
391992
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
382003
Making the implicit explicit: Towards an assurance case for DO-178C
CM Holloway
International System Safety Conference, 2013
372013
Software engineering and epistemology
CM Holloway
ACM SIGSOFT Software Engineering Notes 20 (2), 20-21, 1995
361995
Challenges in software aspects of aerospace systems
KJ Hayhurst, CM Holloway
Proceedings 26th Annual NASA Goddard Software Engineering Workshop, 7-13, 2001
322001
Towards understanding the DO-178C/ED-12C assurance case
CM Holloway
7th IET International Conference on System Safety, incorporating the Cyber …, 2012
272012
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
232007
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
222007
From Bridges and Rockets, Lessons for Software Systems
CM Holloway
212004
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
172004
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20