| 2000 | 19th IEEE Symposium on Reliable Distributed Systems, SRDS'00, Nürnberg, Germany, October 16-18, 2000, Proceedings |
| 2000 | A Pragmatic Implementation of e-Transactions. Svend Frølund, Rachid Guerraoui |
| 2000 | Abstractions for Devising Byzantine-Resilient State Machine Replication. Assia Doudou, Rachid Guerraoui, Benoît Garbinato |
| 2000 | An Evolutionary Algorithm for Identifying Faults in t-Diagnosable Systems. Mourad Elhadef, Béchir el Ayeb |
| 2000 | An Investigation of Membership and Clique Avoidance in TTP/C. Günther Bauer, Michael Paulitsch |
| 2000 | Consistent Detection of Global Predicates under a Weak Fault Assumption. Felix C. Gärtner, Sven Kloppenburg |
| 2000 | Continuous Clock Synchronization in Wireless Real-Time Applications. Michael Mock, Reiner Frings, Edgar Nett, Spiro Trikaliotis |
| 2000 | Database Replication Techniques: A Three Parameter Classification. Matthias Wiesmann, André Schiper, Fernando Pedone, Bettina Kemme, Gustavo Alonso |
| 2000 | Detection of Livelocks in Communication Protocols by Means of a Polygon Time Structure. Jerzy Brzezinski, Michal Sajkowski |
| 2000 | Deterministic Scheduling for Transactional Multithreaded Replicas. Ricardo Jiménez-Peris, Marta Patiño-Martínez, Sergio Arévalo |
| 2000 | Dynamic Node Management and Measure Estimation in a State-Driven Fault Injector. Ramesh Chandra, Michel Cukier, Ryan M. Lefever, William H. Sanders |
| 2000 | High Availability of the Memory Hierarchy in a Cluster. Christine Morin, Renaud Lottiaux, Anne-Marie Kermarrec |
| 2000 | Implementing a Reflective Fault-Tolerant CORBA System. Marc-Olivier Killijian, Jean-Charles Fabre |
| 2000 | Improvement of the QoS via an Adaptive and Dynamic Distribution of Applications in a Mobile Environment. Françoise André, Anne-Marie Kermarrec, Frederic Le Mouel |
| 2000 | Issues Insufficiently Resolved in Century 20 in the Fault-Tolerant Distributed Computing Field. K. H. Kim |
| 2000 | Modeling Fault-Tolerant Mobile Agent Execution as a Sequence of Agreement Problems. Stefan Pleisch, André Schiper |
| 2000 | On the Use of Model Checking Techniques for Dependability Evaluation. Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
| 2000 | Optimal Implementation of the Weakest Failure Detector for Solving Consensus. Mikel Larrea, Antonio Fernández, Sergio Arévalo |
| 2000 | Optimistic Virtual Synchrony. Jeremy B. Sussman, Idit Keidar, Keith Marzullo |
| 2000 | Performance Analysis of the CORBA Event Service using Stochastic Reward Nets. Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy |
| 2000 | Performance of Mobile, Single-Object, Replication Protocols. Ugur Çetintemel, Peter J. Keleher |
| 2000 | Pronto: A Fast Failover Protocol for Off-the-shelf Commercial Databases. Fernando Pedone, Svend Frølund |
| 2000 | Proxy-based Recovery for Applications on Wireless Hand-held Devices. Bin Yao, W. Kent Fuchs |
| 2000 | Reliable Broadcast in the Crash-Recovery Model. Romain Boichat, Rachid Guerraoui |
| 2000 | Semantically Reliable Multicast Protocols. José Pereira, Rui Oliveira, Luís E. T. Rodrigues |
| 2000 | Using Multicast Communication to Reduce Deadlock in Replicated Databases. JoAnne Holliday, Divyakant Agrawal, Amr El Abbadi |