 | 1985 |
|---|
| 4 |       | 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: 363-378 |
| 1984 |
|---|
| 3 |  | 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 Conference on Computer Science 1984: 179-188 |
| 2 | | Jonathan M. Silverman:
Communications in a Distributed Computer Testbed.
ICDCS 1984: 108-116 |
| 1983 |
|---|
| 1 | | Jonathan M. Silverman:
Reflections on the Verification of the Security of an Operating System Kernel.
SOSP 1983: 143-154 |
