Jonathan M. Silverman

Publication Activity (10 Years)

Years Active: 1983-1985
Publications (10 Years): 0

Publications

Annette S. Palmer, James C. Browne, Jonathan M. Silverman, Anand R. Tripathi, Rajkumar Velpuri
A Performance Model of a Fault-Tolerant Distributed System for Evaluating Reliability Mechanisms. Int. CMG Conference (1985)
James C. Browne, James E. Dutton, Vincent Fernandes, Annette S. Palmer, Jonathan M. Silverman, Anand R. Tripathi, Pong-Sheng Wang
Zeus: An object-oriented distributed operating system for reliable applications. ACM Annual Conference (1984)
Jonathan M. Silverman
Communications in a Distributed Computer Testbed. ICDCS (1984)
Jonathan M. Silverman
Reflections on the Verification of the Security of an Operating System Kernel. SOSP (1983)