| 2001 | alidating the Intel Pentium 4 Microprocessor. | Bob Bentley |
| 2001 | Middleware Support for Voting and Data Fusion. | David E. Bakken, Zhiyuan Zhan, Christopher C. Jones, David A. Karr |
| 2001 | A Framework for Database Audit and Control Flow Checking for a Wireless Telephone Network Controller. | Saurabh Bagchi, Y. Liu, Keith Whisnant, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Ytzhak H. Levendel, Lawrence G. Votta |
| 2001 | Graybox Stabilization. | Anish Arora, Murat Demirbas, Sandeep S. Kulkarni |
| 2001 | GOOFI: Generic Object-Oriented Fault Injection Tool. | Joakim Aidemark, Jonny Vinter, Peter Folkesson, Johan Karlsson |
| 2000 | Sensitivity Analysis on Dependencies in Dynamic Availability Models for Large Systems. | Meng-Lai Yin, Craig L. Hyde, Rafael R. Arellano |
| 2000 | Towards Dependable Home Networking: An Experience Report. | Yi-Min Wang, Wilf Russell, Anish Arora, Rajesh Jagannathan, Jun Xu |
| 2000 | Evaluating COTS Standards for Design of Dependable Systems. | Chris J. Walter, Neeraj Suri, T. Monaghan |
| 2000 | he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness. | Paulo Verssimo, Antnio Casimiro, Christof Fetzer |
| 2000 | Software-Implemented Fault Detection for High-Performance Space Applications. | Michael J. Turmon, Robert Granat, Daniel S. Katz |
| 2000 | Reliability Testing of Applications on Windows NT. | Timothy K. Tsai, Navjot Singh |
| 2000 | A Gossip-Based Reliable Multicast for Large-Scale High-Throughput Applications. | Qixiang Sun, Daniel C. Sturman |
| 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. | Lus Moura Silva, Victor Batista, Joo Gabriel Silva |
| 2000 | Robustness Testing of the Microsoft Win32 API. | Charles P. Shelton, Philip Koopman, Kobey Devale |
| 2000 | Reconfiguration Based Failure Restoration in Wavelength-Routed WDM Networks. | G. Sai Kiran Reddy, C. Siva Ram Murthy, G. Manimaran |
| 2000 | Fault Tolerance through Re-Execution in Multiscalar Architecture. | Faisal Rashid, Kewal K. Saluja, Parameswaran Ramanathan |
| 2000 | A Fault Tolerant Signal Processing Computer. | Kenneth Prager, Michael Vahey, William Farwell, James Whitney, Jon Lieb |
| 2000 | Test-Point Insertion to Enhance Test Compaction for Scan Designs. | Irith Pomeranz, Sudhakar M. Reddy |
| 2000 | The Best of Both Worlds: A Hybrid Approach to Solve Consensus. | Achour Mostfaoui, Michel Raynal, Frederic Tronel |
| 2000 | Implementing Flexible Object Group Invocation in Networked Systems. | Graham Morgan, Santosh K. Shrivastava |
| 2000 | Exploiting Non-Determinism for Reliability of Mobile Agent Systems. | Ajay Mohindra, Apratim Purakayastha, Prasannaa Thati |
| 2000 | Performability of Algorithms for Connection Admission Control. | John F. Meyer |
| 2000 | Designing High-Performance & Reliable Superscalar Architectures: The out of Order Reliable Superscalar (O3RS) Approach. | Avi Mendelson, Neeraj Suri |
| 2000 | Benchmarking Anomaly-Based Detection Systems. | Roy A. Maxion, Kymie M. C. Tan |