| 1994 | Probabilistic Internal Clock Synchronization. | Flaviu Cristian, Christof Fetzer |
| 1994 | Probabilistic Validation using Worst Event Driven amd Importance Sampling Simulation. | Nacra Bennacer, Gerard Florin, Stphane Natkin |
| 1993 | Lazy Checkpointing Coordination for Bounding Rollback Propagation. | Yi-Min Wang, W. Kent Fuchs |
| 1993 | Using Atomic Broadcast to Implement a posteriori Agreement for Clock Synchronization. | Paulo Verssimo, Antnio Casimiro, Lus E. T. Rodrigues |
| 1993 | An Approach for Combinatorial Performance and Availability Analysis. | Malathi Veeraraghavan, Kishor S. Trivedi |
| 1993 | Some Remarks on Protecting Weak Keys and Poorly-Chosen Secrets from Guessing Attacks. | Gene Tsudik, Els Van Herreweghen |
| 1993 | An O(1) Quorum Consensus Protocol Tailored for the Client/Server Architecture. | Khaled S. Soufi, Geneva G. Belford |
| 1993 | Constructing Secure Distributed Systems Using Components. | Qi Shi, John A. McDermid |
| 1993 | APRICOTS - A Prototype Implementation of a ConTract System: Management of the Control Flow and the Communication System. | Friedemann Schwenkreis |
| 1993 | A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems. | Henk Schepers, Rob Gerth |
| 1993 | Using Logging and Asynchronous Checkpointing to Implement Recoverable Distributed Shared Memory. | Golden G. Richard III, Mukesh Singhal |
| 1993 | Rollback Based on Vector Time. | S. L. Peterson, Phil Kearns |
| 1993 | Efficient Transparent Optimistic Rollback Recovery for Distributed Application Programs. | David B. Johnson |
| 1993 | Processor Group Membership Protocols: Specification, Design, and Implementation. | Farnam Jahanian, Sameh A. Fakhouri, Ragunathan Rajkumar |
| 1993 | An Approach to Constructing Modular Fault-Tolerant Protocols. | Matti A. Hiltunen, Richard D. Schlichting |
| 1993 | A Secure Two Phase Locking Protocol. | Rasikan David, Sang Hyuk Son |
| 1993 | Bayesian Analysis for Fault Location in Homogeneous Distributed Systems. | Yu Lo Cyrus Chang, Leslie C. Lander, Horng-Shing Lu, Martin T. Wells |
| 1992 | The Two-Phase Commit Performance of the DECdtm Services. | Eyal Zimran |
| 1992 | Reliable Broadcasting in Faulty Hypercube Computers. | Jie Wu, Eduardo B. Fernndez |
| 1992 | The Triangular Lattice Protocol: A Highly Fault Tolerant and Highly Efficient Protocol for Replicated Data. | Chienwen Wu, Geneva G. Belford |
| 1992 | Optimistic Message Logging for Independent Checkpointing in Message-Passing Systems. | Yi-Min Wang, W. Kent Fuchs |
| 1992 | Managing Replicated Data in Heterogeneous Database Systems. | Jian Tang |
| 1992 | On the Verification and Validation of Protocols with High Fault Coverage Using UIO Sequences. | Xiao Sun, Yinan N. Shen, Fabrizio Lombardi |
| 1992 | Simulation of the Adapt On-Line Diagnosis Algorithm for General Topology Networks. | Mark Stahl, Richard W. Buskens, Ronald P. Bianchini Jr. |
| 1992 | Optimal Replica Control Protocols for Ring Networks. | Mirjana Spasojevic |