| 2000 | A Fault Injection Approach Based on Reflective Programming. | Eliane Martins, Amanda C. A. Rosa |
| 2000 | On the Emulation of Software Faults by Software Fault Injection. | Henrique Madeira, Diamantino Costa, Marco Vieira |
| 2000 | Avoiding Loss of Fairness Owing to Process Crashes in Fair Data Exchange Protocols. | Peng Liu, Peng Ning, Sushil Jajodia |
| 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 | A Tool Suite for Diagnosis and Testing of Software Design Specifications. | J. Jenny Li, Joseph Robert Horgan |
| 2000 | Resource Scheduling in Dependable Integrated Modular Avionics. | Yann-Hang Lee, Daeyoung Kim, Mohamed F. Younis, Jeffrey X. Zhou, James McElroy |
| 2000 | Efficient Incremental Checkpointing of Java Programs. | Julia L. Lawall, Gilles Muller |
| 2000 | Synthesis of Interconnection Networks: A Novel Approach. | Vijay Lakamraju, Zahava Koren, C. Mani Krishna |
| 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 | One-Shot Reed-Solomon Decoding for High-Performance Dependable Systems. | Yasunao Katayama, Sumio Morioka |
| 2000 | Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis. | Bengi Karaali, Kuo-Chung Tai, Mladen A. Vouk |
| 2000 | Experiences with Group Communication Middleware. | Scott Johnson, Farnam Jahanian, Sunondo Ghosh, Brian Van Voorst, Nicholas Weininger |
| 2000 | Survivability Analysis of Network Specifications. | Somesh Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff |
| 2000 | Executable Assertions for Detecting Data Errors in Embedded Control Systems. | Martin Hiller |
| 2000 | OFTT: A Fault Tolerance Middleware Toolkit for Process Monitoring and Control Windows NT Applications. | Myron Hecht, Xuegao An, Bing Zhang, Yutao He |
| 2000 | Assessment of the Applicability of COTS Microprocessors in High-Confidence Computing Systems: A Case Study. | Yutao He, Algirdas Avizienis |
| 2000 | Algorithms for Improving the Dependability of Firewall and Filter Rule Lists. | Scott Hazelhurst, Adi Attar, Raymond Sinnappan |
| 2000 | Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems. | Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2000 | Dynamic-Distributed Differentiated Service for Multimedia Applications. | Dam Q. Hai, Son T. Vuong |
| 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 | Implementing e-Transactions with Asynchronous Replication. | Svend Frlund, Rachid Guerraoui |
| 2000 | Testing for Software Vulnerability Using Environment Perturbation. | Wenliang Du, Aditya P. Mathur |
| 2000 | Joint Evaluation of Performance and Robustness of a COTS DBMS through Fault-Injection. | Diamantino Costa, Tiago Rilho, Henrique Madeira |
| 2000 | Sensitivity Analysis for System Design Improvement. | Sergio Contini, Stefan Scheer, Marc Wilikens |
| 2000 | A Formal-Specification Based Approach for Protecting the Domain Name System. | Steven Cheung, Karl N. Levitt |