| 2003 | ParEs - A Parameter-Estimation-Tool. | Felix Engelhard, Stefan Greiner, Reinhard German |
| 2003 | A Hybrid Fault Injection Approach Based on Simulation and Emulation Co-operation. | Ali Reza Ejlali, Seyed Ghassem Miremadi, Hamid R. Zarandi, Ghazanfar Asadi, Siavash Bayat Sarmadi |
| 2003 | Definition of Software Fault Emulation Operators: A Field Data Study. | Joo Dures, Henrique Madeira |
| 2003 | The Design of Wearable Systems: A Shift in Development Effort. | John G. Dorsey, Daniel P. Siewiorek |
| 2003 | Integrating Recovery Strategies into a Primary Substation Automation System. | Geert Deconinck, Vincenzo De Florio, Ronnie Belmans, Giovanna Dondossola, Judit Szanto |
| 2003 | Dependable LQNS: A Performability Modeling Tool for Layered Systems. | Olivia Das, C. Murray Woodside |
| 2003 | Model Checking for Dependable Software-Intensive Systems. | Edmund M. Clarke, Masahiro Fujita, David P. Gluch |
| 2003 | Dependable and Secure Data Storage and Retrieval in Mobile, Wireless Networks. | Stefano Chessa, Piero Maestrini |
| 2003 | A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities. | Shuo Chen, Zbigniew Kalbarczyk, Jun Xu, Ravishankar K. Iyer |
| 2003 | Dependability Enhancement for IEEE 802.11 Wireless LAN with Redundancy Techniques. | Dongyan Chen, Sachin Garg, Chandra M. R. Kintala, Kishor S. Trivedi |
| 2003 | Validation of Approximate Dependability Models of a RAID Architecture with Orthogonal Organization. | Juan A. Carrasco |
| 2003 | Hardware Fault Injection with UMLinux. | Kerstin Buchacker, Mario Dal Cin, Hans-Jrg Hxer, Volkmar Sieh, Oliver Tschche, Martin Waitz |
| 2003 | Reproducible Dependability Benchmarking Experiments Based on Unambiguous Benchmark Setup Descriptions. | Kerstin Buchacker, Mario Dal Cin, Hans-Jrg Hxer, Roland Karch, Volkmar Sieh, Oliver Tschche |
| 2003 | Cost-Optimization of the IPv4 Zeroconf Protocol. | Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager |
| 2003 | On Integrating the MBIUS and MODEST Modeling Tools. | Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders |
| 2003 | Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments. | Robin E. Bloomfield, Bev Littlewood |
| 2003 | Real-Time Estimation of Event-Driven Traffic Latency Distributions when Layered on Static Schedules. | Pam Binns |
| 2003 | Scalably Supporting Durable Subscriptions in a Publish/Subscribe System. | Sumeer Bhola, Yuanyuan Zhao, Joshua S. Auerbach |
| 2003 | Performance Analysis of a Hierarchical Failure Detector. | Marin Bertier, Olivier Marin, Pierre Sens |
| 2003 | A Preemptive Deterministic Scheduling Algorithm for Multithreaded Replicas. | Claudio Basile, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
| 2003 | Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme. | Yujuan Bao, Xiaobai Sun, Kishor S. Trivedi |
| 2003 | Reliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries. | Michael Backes, Christian Cachin |
| 2003 | LSRP: Local Stabilization in Shortest Path Routing. | Anish Arora, Hongwei Zhang |
| 2003 | Reliable Communication in Overlay Networks. | Yair Amir, Claudiu Danilov |
| 2003 | N-Way Fail-Over Infrastructure for Reliable Servers and Routers. | Yair Amir, Ryan Caudy, Ashima Munjal, Theo Schlossnagle, Ciprian Tutu |