| 2000 | On the Quality of Service of Failure Detectors. | Wei Chen, Sam Toueg, Marcos Kawazoe Aguilera |
| 2000 | Reliability-Availability-Serviceability Characteristics of a Compressed-Memory System. | Jim Chen, David Har, Ken Mak, Charles O. Schulz, R. Brett Tremaine, Michael E. Wazlowski |
| 2000 | Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams. | Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang |
| 2000 | Demonstration of the Remote Exploration and Experimentation (REE) Fault-Tolerant Parallel-Processing Supercomputer for Spacecraft Onboard Scientific Data Processing. | Fannie Chen, Loring Craymer, Jeff Deifik, Alvin J. Fogel, Daniel S. Katz, Alfred G. Silliman Jr., Raphael R. Some, Sean A. Upchurch, Keith Whisnant |
| 2000 | Synchronous System and Perfect Failure Detector: Solvability and Efficiency Issue. | Bernadette Charron-Bost, Rachid Guerraoui, Andr Schiper |
| 2000 | Loki: A State-Driven Fault Injector for Distributed Systems. | Ramesh Chandra, Ryan M. Lefever, Michel Cukier, William H. Sanders |
| 2000 | Whither Generic Recovery from Application Faults? A Fault Study using Open-Source Software. | Subhachandra Chandra, Peter M. Chen |
| 2000 | Diagnosis of Regular Structures. | Antonio Caruso, Stefano Chessa, Piero Maestrini, Paolo Santi |
| 2000 | Towards Continuous Availability of Internet Services through Availability Domains. | Nicholas S. Bowen, Daniel C. Sturman, Tina Ting Liu |
| 2000 | A New Rolling Stock Architecture Using Safety Computers and Networks. | Jean-Baptiste Boulli, Michel Brun |
| 2000 | DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems. | Andrea Bondavalli, Ivan Mura, Silvano Chiaradonna, Roberto Filippini, S. Poli, F. Sandrini |
| 2000 | A C/C++ Source-to-Source Compiler for Dependable Applications. | Alfredo Benso, Silvia Chiusano, Paolo Prinetto, Luca Tagliaferri |
| 2000 | Transparent Redundancy in the Time-Triggered Architecture. | Gnther Bauer, Hermann Kopetz |
| 2000 | From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach. | Roberto Baldoni, Jean-Michel Hlary, Michel Raynal |
| 2000 | A Fault Tolerance Infrastructure for Dependable Computing with High-Performance COTS Components. | Algirdas Avizienis |
| 2000 | Method to Recover Internet Packet Losses Using (n, n - 1, m) Convolutional Codes. | Masayuki Arai, Anna Yamaguchi, Kazuhiko Iwasaki |
| 2000 | Data Replication Strategies for Fault Tolerance and Availability on Commodity Clusters. | Cristiana Amza, Alan L. Cox, Willy Zwaenepoel |
| 2000 | A Low Latency, Loss Tolerant Architecture and Protocol for Wide Area Group Communication. | Yair Amir, Claudiu Danilov, Jonathan Robert Stanton |
| 2000 | Dynamic Byzantine Quorum Systems. | Lorenzo Alvisi, Evelyn Tumlin Pierce, Dahlia Malkhi, Michael K. Reiter, Rebecca N. Wright |
| 2000 | Design, Implementation, and Performance of Checkpointing in NetSolve. | Adnan Agbaria, James S. Plank |