John P. J. Kelly

Publication Activity (10 Years)

Years Active: 1984-1991
Publications (10 Years): 0

Publications

Susan C. Murphy, Per Gunningberg, John P. J. Kelly
Experiences with Estelle, LOTOS and SDL: A Protocol Implementation Experiment. Comput. Networks ISDN Syst. 22 (1) (1991)
John P. J. Kelly, Thomas I. McVittie, Wayne I. Yamamoto
Implementing Design Diversity to Achieve Fault Tolerance. IEEE Softw. 8 (4) (1991)
Dave E. Eckhardt, Alper K. Caglayan, John C. Knight, Larry D. Lee, David F. McAllister, Mladen A. Vouk, John P. J. Kelly
An Experimental Evaluation of Software Redundancy as a Strategy For Improving Reliability. IEEE Trans. Software Eng. 17 (7) (1991)
John P. J. Kelly, Susan C. Murphy
Achieving Dependability Throughout the Development Process: A Distributed Software Experiment. IEEE Trans. Software Eng. 16 (2) (1990)
John P. J. Kelly, Thomas I. McVittie, Susan C. Murphy
Techniques for building dependable distributed systems: multi-version software testing. FTCS (1990)
John P. J. Kelly
Current Experiences with Fault Tolerant Software Design: Dependability Through Diverse Formal Specifications? Fehlertolerierende Rechensysteme (1989)
John P. J. Kelly, David E. Jr. Eckhardt, Mladen A. Vouk, David F. McAllister, Alper K. Caglayan
A large scale second generation experiment in multi-version software: description and early results. FTCS (1988)
Algirdas Avizienis, John P. J. Kelly
Fault Tolerance by Design Diversity: Concepts and Experiments. Computer 17 (8) (1984)