| 2000 | 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA |
| 2000 | A C/C++ Source-to-Source Compiler for Dependable Applications. Alfredo Benso, Silvia Chiusano, Paolo Prinetto, Luca Tagliaferri |
| 2000 | A Fault Injection Approach Based on Reflective Programming. Eliane Martins, Amanda C. A. Rosa |
| 2000 | A Fault Tolerance Infrastructure for Dependable Computing with High-Performance COTS Components. Algirdas Avizienis |
| 2000 | A Fault Tolerant Signal Processing Computer. Kenneth Prager, Michael Vahey, William Farwell, James Whitney, Jon Lieb |
| 2000 | A Formal-Specification Based Approach for Protecting the Domain Name System. Steven Cheung, Karl N. Levitt |
| 2000 | A Gossip-Based Reliable Multicast for Large-Scale High-Throughput Applications. Qixiang Sun, Daniel C. Sturman |
| 2000 | A Low Latency, Loss Tolerant Architecture and Protocol for Wide Area Group Communication. Yair Amir, Claudiu Danilov, Jonathan Robert Stanton |
| 2000 | A New Rolling Stock Architecture Using Safety Computers and Networks. Jean-Baptiste Boullié, Michel Brun |
| 2000 | A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks. Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Smith |
| 2000 | A Tool Suite for Diagnosis and Testing of Software Design Specifications. J. Jenny Li, Joseph Robert Horgan |
| 2000 | Algorithms for Improving the Dependability of Firewall and Filter Rule Lists. Scott Hazelhurst, Adi Attar, Raymond Sinnappan |
| 2000 | An Automatic SPIN Validation of a Safety Critical Railway Control System. Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo |
| 2000 | Assessment of the Applicability of COTS Microprocessors in High-Confidence Computing Systems: A Case Study. Yutao He, Algirdas Avizienis |
| 2000 | Avoiding Loss of Fairness Owing to Process Crashes in Fair Data Exchange Protocols. Peng Liu, Peng Ning, Sushil Jajodia |
| 2000 | Benchmarking Anomaly-Based Detection Systems. Roy A. Maxion, Kymie M. C. Tan |
| 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 | Data Replication Strategies for Fault Tolerance and Availability on Commodity Clusters. Cristiana Amza, Alan L. Cox, Willy Zwaenepoel |
| 2000 | Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis. Bengi Karaçali, Kuo-Chung Tai, Mladen A. Vouk |
| 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 | Design, Implementation, and Performance of Checkpointing in NetSolve. Adnan Agbaria, James S. Plank |
| 2000 | Designing High-Performance & Reliable Superscalar Architectures: The out of Order Reliable Superscalar (O3RS) Approach. Avi Mendelson, Neeraj Suri |
| 2000 | Diagnosis of Regular Structures. Antonio Caruso, Stefano Chessa, Piero Maestrini, Paolo Santi |
| 2000 | Dynamic Byzantine Quorum Systems. Lorenzo Alvisi, Evelyn Tumlin Pierce, Dahlia Malkhi, Michael K. Reiter, Rebecca N. Wright |
| 2000 | Dynamic-Distributed Differentiated Service for Multimedia Applications. Dam Q. Hai, Son T. Vuong |
| 2000 | Efficient Incremental Checkpointing of Java Programs. Julia L. Lawall, Gilles Muller |
| 2000 | Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams. Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang |
| 2000 | Evaluating COTS Standards for Design of Dependable Systems. Chris J. Walter, Neeraj Suri, T. Monaghan |
| 2000 | Executable Assertions for Detecting Data Errors in Embedded Control Systems. Martin Hiller |
| 2000 | Experiences with Group Communication Middleware. Scott Johnson, Farnam Jahanian, Sunondo Ghosh, Brian Van Voorst, Nicholas Weininger |
| 2000 | Exploiting Non-Determinism for Reliability of Mobile Agent Systems. Ajay Mohindra, Apratim Purakayastha, Prasannaa Thati |
| 2000 | Fault Tolerance through Re-Execution in Multiscalar Architecture. Faisal Rashid, Kewal K. Saluja, Parameswaran Ramanathan |
| 2000 | Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems. Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2000 | Fault-Tolerant Ethernet for IP-Based Process Control: A Demonstration. Sejun Song, Jiandong Huang, P. Kappler, R. Freimark, J. Gustin, T. Kozlik |
| 2000 | Fault-Tolerant Execution of Mobile Agents. Luís Moura Silva, Victor Batista, João Gabriel Silva |
| 2000 | From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach. Roberto Baldoni, Jean-Michel Hélary, Michel Raynal |
| 2000 | Implementing Flexible Object Group Invocation in Networked Systems. Graham Morgan, Santosh K. Shrivastava |
| 2000 | Implementing e-Transactions with Asynchronous Replication. Svend Frølund, Rachid Guerraoui |
| 2000 | Issues in Interoperability and Performance Verification in a Multi-ORB Telecommunications Environment. Cheng J. Lin, Alberto Avritzer, Elaine J. Weyuker, Sai-Lai Lo |
| 2000 | Joint Evaluation of Performance and Robustness of a COTS DBMS through Fault-Injection. Diamantino Costa, Tiago Rilho, Henrique Madeira |
| 2000 | Loki: A State-Driven Fault Injector for Distributed Systems. Ramesh Chandra, Ryan M. Lefever, Michel Cukier, William H. Sanders |
| 2000 | Method to Recover Internet Packet Losses Using (n, n - 1, m) Convolutional Codes. Masayuki Arai, Anna Yamaguchi, Kazuhiko Iwasaki |
| 2000 | OFTT: A Fault Tolerance Middleware Toolkit for Process Monitoring and Control Windows NT Applications. Myron Hecht, Xuegao An, Bing Zhang, Yutao He |
| 2000 | On the Emulation of Software Faults by Software Fault Injection. Henrique Madeira, Diamantino Costa, Marco Vieira |
| 2000 | On the Quality of Service of Failure Detectors. Wei Chen, Sam Toueg, Marcos Kawazoe Aguilera |
| 2000 | One-Shot Reed-Solomon Decoding for High-Performance Dependable Systems. Yasunao Katayama, Sumio Morioka |
| 2000 | Performability of Algorithms for Connection Admission Control. John F. Meyer |
| 2000 | Reconfiguration Based Failure Restoration in Wavelength-Routed WDM Networks. G. Sai Kiran Reddy, C. Siva Ram Murthy, G. Manimaran |
| 2000 | Reliability Testing of Applications on Windows NT. Timothy K. Tsai, Navjot Singh |
| 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 | Resource Scheduling in Dependable Integrated Modular Avionics. Yann-Hang Lee, Daeyoung Kim, Mohamed F. Younis, Jeffrey X. Zhou, James McElroy |
| 2000 | Robustness Testing of the Microsoft Win32 API. Charles P. Shelton, Philip Koopman, Kobey Devale |
| 2000 | Sensitivity Analysis for System Design Improvement. Sergio Contini, Stefan Scheer, Marc Wilikens |
| 2000 | Sensitivity Analysis on Dependencies in Dynamic Availability Models for Large Systems. Meng-Lai Yin, Craig L. Hyde, Rafael R. Arellano |
| 2000 | Software-Implemented Fault Detection for High-Performance Space Applications. Michael J. Turmon, Robert Granat, Daniel S. Katz |
| 2000 | Survivability Analysis of Network Specifications. Somesh Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff |
| 2000 | Synchronous System and Perfect Failure Detector: Solvability and Efficiency Issue. Bernadette Charron-Bost, Rachid Guerraoui, André Schiper |
| 2000 | Synthesis of Interconnection Networks: A Novel Approach. Vijay Lakamraju, Zahava Koren, C. Mani Krishna |
| 2000 | Test-Point Insertion to Enhance Test Compaction for Scan Designs. Irith Pomeranz, Sudhakar M. Reddy |
| 2000 | Testing for Software Vulnerability Using Environment Perturbation. Wenliang Du, Aditya P. Mathur |
| 2000 | The Best of Both Worlds: A Hybrid Approach to Solve Consensus. Achour Mostéfaoui, Michel Raynal, Frederic Tronel |
| 2000 | Towards Continuous Availability of Internet Services through Availability Domains. Nicholas S. Bowen, Daniel C. Sturman, Tina Ting Liu |
| 2000 | Towards Dependable Home Networking: An Experience Report. Yi-Min Wang, Wilf Russell, Anish Arora, Rajesh Jagannathan, Jun Xu |
| 2000 | Transparent Redundancy in the Time-Triggered Architecture. Günther Bauer, Hermann Kopetz |
| 2000 | Whither Generic Recovery from Application Faults? A Fault Study using Open-Source Software. Subhachandra Chandra, Peter M. Chen |
| 2000 | he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness. Paulo Veríssimo, António Casimiro, Christof Fetzer |