| 2000 | 2000 Pacific Rim International Symposium on Dependable Computing (PRDC 2000), 18-20 December 2000, Los Angeles, CA, USA |
| 2000 | A performance comparison between the DR-net and a hierarchical RAID system. Yasuyuki Mimatsu, Haruo Yokota |
| 2000 | A reconfigurable fault-tolerant hypercube architecture with global sparing. Siu-Cheung Chau, Ada Wai-Chee Fu |
| 2000 | A scalable membership service for group communications in WANs. Heejeong Kim, Dongman Lee, Hee Yong Youn |
| 2000 | A survivability framework for connection-oriented group communications. William Yurcik, David Tipper |
| 2000 | A testable design for asynchronous fine-grain pipeline circuits. Masayuki Tsukisaka, Takashi Nanya |
| 2000 | Building dependable COTS microkernel-based systems using MAFALDA. Jean-Charles Fabre, Manuel Rodríguez, Jean Arlat, J.-M. Sizun |
| 2000 | Dependability analysis of transmission techniques for MPEG-2 streams. Luigi Romano, Nicola Mazzocca, Antonio Coronato, Giuseppe De Pietro |
| 2000 | Effects of failure correlation on software in operation. Katerina Goseva-Popstojanova, Kishor S. Trivedi |
| 2000 | Electrical phenomena during Hot Swap events. Carsten Trinitis, Wolfgang Karl, Markus Leberecht |
| 2000 | Enforcing synchronous system properties on top of timed systems. Christof Fetzer |
| 2000 | Evaluation of multicast error recovery using convolutional codes. Anna Yamaguchi, Masayuki Arai, Kazuhiko Iwasaki |
| 2000 | Fault diagnosis based on parameters of output responses. Irith Pomeranz, Sudhakar M. Reddy |
| 2000 | Fault-tolerant FFT data compression. G. Robert Redinbo, Ranjit Manomohan |
| 2000 | High Assurance System for the Tokyo Metropolitan Area Railway Network. Kazuo Kera |
| 2000 | Implementation and evaluation for dependable bus control using CPLD. Yasumasa Hayashi, Takashi Matsubara, Yoshiaki Koga |
| 2000 | Integration of asynchronous and self-checking multiple-valued current-mode circuits based on dual-rail differential logic. Takahiro Hanyu, Tsukasa Ike, Michitaka Kameyama |
| 2000 | Intrusion Tolerant Systems. Jaynarayan H. Lala |
| 2000 | Julep: an environment for the evaluation of distributed process recovery protocols. Lawrence Klos, Golden G. Richard III |
| 2000 | Low cost consensus-based Atomic Broadcast. Achour Mostéfaoui, Michel Raynal |
| 2000 | Model-based clock synchronization in networks with drifting clocks. Michael D. Lemmon, J. Ganguly, L. Xia |
| 2000 | Reliability Considerations for Advanced Microelectronics. Sammy Kayali |
| 2000 | Some improved encoding and decoding schemes for balanced codes. Jong-Hoon Youn, Bella Bose |
| 2000 | Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule. Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi |
| 2000 | The Usage of Fault Tolerant Computers in the Real World. Yohichi Suzuki |
| 2000 | Transient errors and rollback recovery in LZ compression. Wei-Je Huang, Edward J. McCluskey |