| 2003 | Persistent-State Checkpoint Comparison for Troubleshooting Configuration Failures. | Yi-Min Wang, Chad Verbowski, Daniel R. Simon |
| 2003 | Communication Strategies for Heartbeat-Style Failure Detectors in Wireless Ad Hoc Networks. | Szu-Chi Wang, Sy-Yen Kuo |
| 2003 | On the Design of Robust Integrators for Fail-Bounded Control Systems. | Jonny Vinter, Andras Johansson, Peter Folkesson, Johan Karlsson |
| 2003 | Benchmarking the Dependability of Different OLTP Systems. | Marco Vieira, Henrique Madeira |
| 2003 | Comparison of Failure Detectors and Group Membership: Performance Study of Two Atomic Broadcast Algorithms. | Pter Urbn, Ilya Shnayderman, Andr Schiper |
| 2003 | An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. | Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand |
| 2003 | Opportunity-Adaptive QoS Enhancement in Satellite Constellations: A Case Study. | Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders |
| 2003 | Towards Implementing Multi-Layer Reflection for Fault-Tolerance. | Franois Taani, Jean-Charles Fabre, Marc-Olivier Killijian |
| 2003 | Human-Machine Diversity in the Use of Computerised Advisory Systems: A Case Study. | Lorenzo Strigini, Andrey Povyakalo, Eugenio Alberdi |
| 2003 | First Workshop on the Design of Self-Managing Systems. | Lisa Spainhower, Aad P. A. van Moorsel |
| 2003 | Dynamic Verification of End-to-End Multiprocessor Invariants. | Daniel J. Sorin, Mark D. Hill, David A. Wood |
| 2003 | Probabilistic Validation of an Intrusion-Tolerant Replication System. | Sankalp Singh, Michel Cukier, William H. Sanders |
| 2003 | A Methodology for Dependability and Performability Analysis in SAM. | Tianjun Shi, Xudong He |
| 2003 | Software Aging and Multifractality of Memory Resources. | Mark Shereshevsky, Jonathan Crowell, Bojan Cukic, Vijai Gandikota, Yan Liu |
| 2003 | Duplex: A Reusable Fault Tolerance Extension Framework for Network Access Devices. | Srikant Sharma, Jiawu Chen, Wei Li, Kartik Gopalan, Tzi-cker Chiueh |
| 2003 | How Bad Are Wrong Suspicions? Towards Adaptive Distributed Protocols. | Lvia M. R. Sampaio, Francisco Vilar Brasileiro, Walfredo Cirne, Jorge C. A. de Figueiredo |
| 2003 | Node Failure Detection and Membership in CANELy. | Jos Rufino, Paulo Verssimo, Guilherme Arroz |
| 2003 | A Voltage Scheduling Heuristic for Real-Time Task Graphs. | Diganta Roychowdhury, Israel Koren, C. Mani Krishna, Yann-Hang Lee |
| 2003 | Building SWIFI Tools from Temporal Logic Specifications. | Manuel Rodrguez, Jean-Charles Fabre, Jean Arlat |
| 2003 | Adaptive Gossip-Based Broadcast. | Lus E. T. Rodrigues, Sidath B. Handurukande, Jos Pereira, Rachid Guerraoui, Anne-Marie Kermarrec |
| 2003 | Pragmatic Fault Tolerance for Railway Control and Safety Protection of the Channel Tunnel. | Simon Pugh, Eric Aliot |
| 2003 | A Study of Packet Delivery Performance during Routing Convergence. | Dan Pei, Lan Wang, Daniel Massey, Shyhtsun Felix Wu, Lixia Zhang |
| 2003 | Dependability Assessment of Safety-Critical System Software by Static Analysis Methods. | Thuy Nguyen, Alain Ourghanlian |
| 2003 | A Fault-Tolerant Java Virtual Machine. | Jeff Napper, Lorenzo Alvisi, Harrick M. Vin |
| 2003 | Pre-Processing Input Data to Augment Fault Tolerance in Space Applications. | Jayakrishnan Nair, Zahava Koren, Israel Koren, C. Mani Krishna |