C. Michael Holloway

According to our database, C. Michael Holloway authored at least 8 papers between 1994 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2014

Towards Assessing Necessary Competence.

C. Michael Holloway, Chris W. Johnson

CoRR, 2014

2007

A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996-2006).

Chris W. Johnson, C. Michael Holloway

Proceedings of the Safety of Systems, 2007

2003

The ESA/NASA SOHO mission interruption: using the STAMP accident analysis technique for a software related 'mishap'.

Chris W. Johnson, C. Michael Holloway

Softw. Pract. Exp., 2003

A survey of logic formalisms to support mishap analysis.

Chris W. Johnson, C. Michael Holloway

Reliab. Eng. Syst. Saf., 2003

1999

Evaluating the Effectiveness of Independendent Verification and Validation.

James D. Arthur, Markus K. Gröner, Kelly J. Hayhurst, C. Michael Holloway

Computer, 1999

1996

An Invitation to Formal Methods.

Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave

Computer, 1996

1995

Software Engineering and Epistemology.

C. Michael Holloway

ACM SIGSOFT Softw. Eng. Notes, 1995

1994

Formal Methods Fact vs. Fiction.

C. Michael Holloway, Ben L. Di Vito, David Guaspari, Michael K. Smith

Proceedings of the 1994 Conference on TRI-Ada 1994, 1994