Jonathan M. Silverman

Zeus: An object-oriented distributed operating system for reliable applications

James C. Browne, Anand R. Tripathi, James E. Dutton, 1984, ACM '84.

A Performance Model of a Fault-Tolerant Distributed System for Evaluating Reliability Mechanisms

James C. Browne, Anand R. Tripathi, Annette S. Palmer, 1985, Int. CMG Conference.

Communications in a Distributed Computer Testbed

Jonathan M. Silverman, 1984, ICDCS.

Reflections on the verification of the security of an operating system kernel

Jonathan M. Silverman, J. Silverman, 1983, SOSP '83.