| 2004 | A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy. | Mehdi Kargahi, Ali Movaghar-Rahimabadi |
| 2004 | Benchmarking The Dependability of Windows NT4, 2000 and XP. | Ali Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat |
| 2004 | Automated System Design for Availability. | G. John Janakiraman, Jose Renato Santos, Yoshio Turner |
| 2004 | Timed Uniform Consensus Resilient to Crash and Timing Faults. | Taisuke Izumi, Akinori Saitoh, Toshimitsu Masuzawa |
| 2004 | Verifying Web Applications Using Bounded Model Checking. | Yao-Wen Huang, Fang Yu, Christian Hang, Chung-Hung Tsai, D. T. Lee, Sy-Yen Kuo |
| 2004 | Support for Mobility and Fault Tolerance in Mykil. | Jyh-How Huang, Shivakant Mishra |
| 2004 | Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities. | Charles Howell, Sofia Guerra, Shari Lawrence Pfleeger, Victoria Stavridou-Coleman |
| 2004 | Analysis of Second-Order Markov Reward Models. | Gbor Horvth, Sndor Rcz, Mikls Telek |
| 2004 | In Advance Activation of Backup Channels for Real-Time Transmission. | Enrique Hernndez-Orallo, Joan Vila i Carb |
| 2004 | Customizing Dependability Attributes for Mobile Service Platforms. | Jun He, Matti A. Hiltunen, Richard D. Schlichting |
| 2004 | Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability. | Michael D. Harrison, Lorenzo Strigini |
| 2004 | Impact of Path Diversity on Multi-homed and Overlay Networks. | Junghee Han, Farnam Jahanian |
| 2004 | Does Your Result Checker Really Check? | Lan Guo, Supratik Mukhopadhyay, Bojan Cukic |
| 2004 | Error Sensitivity of the Linux Kernel Executing on PowerPC G4 and Pentium 4 Processors. | Weining Gu, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
| 2004 | An Efficient Algorithm for the Transient Analysis of a Class of Deterministic Stochastic Petri Nets. | Marco Gribaudo, Matteo Sereno |
| 2004 | Efficient Byzantine-Tolerant Erasure-Coded Storage. | Garth R. Goodson, Jay J. Wylie, Gregory R. Ganger, Michael K. Reiter |
| 2004 | Fast Abstracts. | Felicita Di Giandomenico |
| 2004 | Fault Diversity among Off-The-Shelf SQL Database Servers. | Ilir Gashi, Peter T. Popov, Lorenzo Strigini |
| 2004 | An Adaptive Algorithm for Efficient Message Diffusion in Unreliable Environments. | Benot Garbinato, Fernando Pedone, Rodrigo Schmidt |
| 2004 | Why PCs Are Fragile and What We Can Do About It: A Study of Windows Registry Problems. | Archana Ganapathi, Yi-Min Wang, Ni Lao, Ji-Rong Wen |
| 2004 | A Decentralized Algorithm for Erasure-Coded Virtual Disks. | Svend Frlund, Arif Merchant, Yasushi Saito, Susan Spence, Alistair C. Veitch |
| 2004 | Generic Faultloads Based on Software Faults for Dependability Benchmarking. | Joo Dures, Henrique Madeira |
| 2004 | Delivering Packets During The Routing Convergence Latency Interval Through Highly Connected Detours. | Elias Procpio Duarte Jr., Rogrio Santini, Jaime Cohen |
| 2004 | Evaluating the Impact of Limited Resource on the Performance of Flooding in Wireless Sensor Networks. | Patrick Downey, Rachel Cardell-Oliver |
| 2004 | Student Forum. | Susanna Donatelli |