Reflections on the Verification of the Security of an Operating System Kernel. - Jonathan M. Silverman (SOSP, 1983)

Zeus: An object-oriented distributed operating system for reliable applications. - James C. Browne; James E. Dutton; Vincent Fernandes; Annette S. Palmer; Jonathan M. Silverman; Anand R. Tripathi; Pong-Sheng Wang (ACM Annual Conference, 1984)

Communications in a Distributed Computer Testbed. - Jonathan M. Silverman (ICDCS, 1984)

A Performance Model of a Fault-Tolerant Distributed System for Evaluating Reliability Mechanisms. - Annette S. Palmer; James C. Browne; Jonathan M. Silverman; Anand R. Tripathi; Rajkumar Velpuri (Int. CMG Conference, 1985)