John P. J. Kelly

According to our database, John P. J. Kelly authored at least 8 papers between 1984 and 1991.

Collaborative distances:

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

1991

An Experimental Evaluation of Software Redundancy as a Strategy For Improving Reliability.

Dave E. Eckhardt, Alper K. Caglayan, John C. Knight, Larry D. Lee, David F. McAllister, Mladen A. Vouk, John P. J. Kelly

IEEE Trans. Software Eng., 1991

Implementing Design Diversity to Achieve Fault Tolerance.

John P. J. Kelly, Thomas I. McVittie, Wayne I. Yamamoto

IEEE Softw., 1991

Experiences with Estelle, LOTOS and SDL: A Protocol Implementation Experiment.

Susan C. Murphy, Per Gunningberg, John P. J. Kelly

Comput. Networks ISDN Syst., 1991

1990

Achieving Dependability Throughout the Development Process: A Distributed Software Experiment.

John P. J. Kelly, Susan C. Murphy

IEEE Trans. Software Eng., 1990

Techniques for building dependable distributed systems: multi-version software testing.

John P. J. Kelly, Thomas I. McVittie, Susan C. Murphy

Proceedings of the 20th International Symposium on Fault-Tolerant Computing, 1990

1989

Current Experiences with Fault Tolerant Software Design: Dependability Through Diverse Formal Specifications?

John P. J. Kelly

Proceedings of the Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, 1989

1988

A large scale second generation experiment in multi-version software: description and early results.

John P. J. Kelly, David E. Jr. Eckhardt, Mladen A. Vouk, David F. McAllister, Alper K. Caglayan

Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988

1984

Fault Tolerance by Design Diversity: Concepts and Experiments.

Algirdas Avizienis, John P. J. Kelly

Computer, 1984