C. Michael Holloway
机构: Senior Research Engineer, NASA Langley Research Center
每年引用次数
引用次数
引用: 1,218
H-指数: 19
I10-指数 : 29
出版物: 94
A survey of functional programming language principles
C. M. Holloway
1986
A Technique for Showing Causal Arguments in Accident Reports
C. W. Johnson , C. M. Holloway
1
2005
The Strengths and Weaknesses of Logic Formalisms to Support Mishap Analysis
C. W. Johnson , C. M. Holloway
2002
A Look at Aircraft Accident Analysis in the Early Days: Do Early 20th Century Accident Investigation Techniques Have Any Lessons for Today?
C. W. Johnson , C. M. Holloway
System Safety, 2007 2nd Institution of Engineering and Technology International Conference on 235 -240
2
2007
A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996–2006)
C. W. Johnson , C. M. Holloway
The Safety of Systems 85 -104
13
2007
The ESA/NASA SOHO mission interruption: using the STAMP accident analysis technique for a software related 'mishap'
C. W. Johnson , C. M. Holloway
Software - Practice and Experience 33 ( 12) 1177 -1198
19
2003
Lfm2000 - Fifth NASA Langley Formal Methods Workshop
C M Holloway
formal methods
2
2000
The Second NASA Formal Methods Workshop 1992
Sally C. Johnson , C. Michael Holloway , Ricky W. Butler
1992
Second Workshop on the Investigation and Reporting of Incidents and Accidents, IRIA 2003
C. Michael Holloway , Kelly J. Hayhurst
6
2003
Software System Safety and the NASA Aeronautics Blueprint
C. Michael Holloway , Kelly J. Hayhurst
2002
Fourth NASA Langley Formal Methods Workshop
C. Michael Holloway , Kelly J. Hayhurst
1997
From Bridges and Rockets, Lessons for Software Systems
C. Michael Holloway
9
2004
Planning the Unplanned Experiment: Assessing the Efficacy of Standards for Safety Critical Software
Patrick J. Graydon , C. Michael Holloway
5
2015
Assurance Arguments for the Non-Graphically-Inclined: Two Approaches
Emily Heavner , C. Michael Holloway
1
2017
Industrial Practice
Pamela Zave , David L. Dill , John Rushby , Anthony Hall
Computer archive 29 ( 4) 22 -27
3
1996
Neither pollyanna nor chicken little: thoughts on the ethics of automation
C. Michael Holloway , John C. Knight , John A. McDermid
ETHICS '14 Proceedings of the IEEE 2014 International Symposium on Ethics in Engineering, Science, and Technology 1 -7
2
2014
An investigation of proposed techniques for quantifying confidence in assurance arguments
Patrick J. Graydon , C. Michael Holloway
Safety Science 92 53 -65
54
2017
Software Engineering and Epistemology
C. Michael Holloway
ACM Sigsoft Software Engineering Notes 20 ( 2) 20 -21
24
1995
Formal methods fact vs. fiction
C. Michael Holloway , Ben Di Vito , David Guaspari , Michael Smith
tri-ada 256 -258
1994
Understanding the overarching properties
C. Michael Holloway
Smpte Journal
2019