| 2004 | 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June - 1 July 2004, Florence, Italy, Proceedings |
| 2004 | A Bi-Criteria Scheduling Heuristic for Distributed Embedded Systems under Reliability and Real-Time Constraints. Ismail Assayad, Alain Girault, Hamoudi Kalla |
| 2004 | A Decentralized Algorithm for Erasure-Coded Virtual Disks. Svend Frølund, Arif Merchant, Yasushi Saito, Susan Spence, Alistair C. Veitch |
| 2004 | A Defense-Centric Taxonomy Based on Attack Manifestations. Kevin S. Killourhy, Roy A. Maxion, Kymie M. C. Tan |
| 2004 | A Framework for Dynamic Byzantine Storage. Jean-Philippe Martin, Lorenzo Alvisi |
| 2004 | A Framework for Evaluating Storage System Dependability. Kimberly Keeton, Arif Merchant |
| 2004 | A Markov Reward Model for Reliable Synchronous Dataflow System Design. Vinu Vijay Kumar, Rashi Verma, John C. Lach, Joanne Bechta Dugan |
| 2004 | A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy. Mehdi Kargahi, Ali Movaghar-Rahimabadi |
| 2004 | A Portable Implementation Framework for Intrusion-Resilient Database Management Systems. Alexey Smirnov, Tzi-cker Chiueh |
| 2004 | A Practical Analysis of Low-Density Parity-Check Erasure Codes for Wide-Area Storage Applications. James S. Plank, Michael G. Thomason |
| 2004 | A Qualitative Analysis of the Intrusion-Tolerance Capabilities of the MAFTIA Architecture. Robert J. Stroud, Ian S. Welch, John P. Warne, Peter Y. A. Ryan |
| 2004 | An Adaptive Algorithm for Efficient Message Diffusion in Unreliable Environments. Benoît Garbinato, Fernando Pedone, Rodrigo Schmidt |
| 2004 | An Architectural Framework for Providing Reliability and Security Support. Nithin Nakka, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Jun Xu |
| 2004 | An Efficient Algorithm for the Transient Analysis of a Class of Deterministic Stochastic Petri Nets. Marco Gribaudo, Matteo Sereno |
| 2004 | An SLA-Oriented Capacity Planning Tool for Streaming Media Services. Ludmila Cherkasova, Wenting Tang, Sharad Singhal |
| 2004 | Analyses of the Reverse Path Forwarding Routing Algorithm. Christie Bolton, Gavin Lowe |
| 2004 | Analysis of Second-Order Markov Reward Models. Gábor Horváth, Sándor Rácz, Miklós Telek |
| 2004 | Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances. Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi |
| 2004 | Assured Reconfiguration of Embedded Real-Time Software. Elisabeth A. Strunk, John C. Knight |
| 2004 | Automated Synthesis of Multitolerance. Sandeep S. Kulkarni, Ali Ebnenasir |
| 2004 | Automated System Design for Availability. G. John Janakiraman, Jose Renato Santos, Yoshio Turner |
| 2004 | Availability Measurement and Modeling for An Application Server. Dong Tang, Dileep Kumar, Sreeram Duvur, Øystein Torbjørnsen |
| 2004 | Benchmarking The Dependability of Windows NT4, 2000 and XP. Ali Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat |
| 2004 | Caching-Enhanced Scalable Reliable Multicast. Carolos Livadas, Idit Keidar |
| 2004 | Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel. Arnaud Albinet, Jean Arlat, Jean-Charles Fabre |
| 2004 | Characterizing the Effects of Transient Faults on a High-Performance Processor Pipeline. Nicholas J. Wang, Justin Quek, Todd M. Rafacz, Sanjay J. Patel |
| 2004 | Cheap Paxos. Leslie Lamport, Mike Massa |
| 2004 | Checkpointing of Control Structures in Main Memory Database Systems. Long Wang, Zbigniew Kalbarczyk, Ravishankar K. Iyer, H. Vora, T. Chahande |
| 2004 | Cluster-Based Failure Detection Service for Large-Scale Ad Hoc Wireless Network Applications. Ann T. Tai, Kam S. Tso, William H. Sanders |
| 2004 | Collective Endorsement and the Dissemination Problem in Malicious Environments. Subramanian Lakshmanan, Deepak J. Manohar, Mustaque Ahamad, H. Venkateswaran |
| 2004 | Component Middleware to Support Non-repudiable Service Interactions. Nick Cook, Paul Robinson, Santosh K. Shrivastava |
| 2004 | Customizing Dependability Attributes for Mobile Service Platforms. Jun He, Matti A. Hiltunen, Richard D. Schlichting |
| 2004 | Cyclic Redundancy Code (CRC) Polynomial Selection For Embedded Networks. Philip Koopman, Tridib Chakravarty |
| 2004 | DIWANS: Workshop on Dependability Issues in Wireless Ad Hoc Networks and Sensor Networks. Saurabh Bagchi, Douglas M. Blough, Paolo Santi, Nitin H. Vaidya |
| 2004 | Data-Aware Multicast. Sébastien Baehni, Patrick Th. Eugster, Rachid Guerraoui |
| 2004 | Delivering Packets During The Routing Convergence Latency Interval Through Highly Connected Detours. Elias Procópio Duarte Jr., Rogério Santini, Jaime Cohen |
| 2004 | Dependable Adaptive Real-Time Applications in Wormhole-based Systems. Pedro Martins, Paulo Jorge Paiva de Sousa, António Casimiro, Paulo Veríssimo |
| 2004 | Dependable Initialization of Large-Scale Distributed Software. Jennifer Ren, Rick Buskens, Oscar J. Gonzalez |
| 2004 | Discovering 1-FT Routes in Mobile Ad Hoc Networks. Rajesh Venkatasubramanian, John P. Hayes |
| 2004 | Diverse Firewall Design. Alex X. Liu, Mohamed G. Gouda |
| 2004 | Does Your Result Checker Really Check? Lan Guo, Supratik Mukhopadhyay, Bojan Cukic |
| 2004 | Dynamic Quarantine of Internet Worms. Cynthia Wong, Chenxi Wang, Dawn Xiaodong Song, Stan Bielski, Gregory R. Ganger |
| 2004 | Efficient Byzantine-Tolerant Erasure-Coded Storage. Garth R. Goodson, Jay J. Wylie, Gregory R. Ganger, Michael K. Reiter |
| 2004 | Efficient Hierarchic Management For Reconfiguration of Networked Information Systems. Jonathan C. Rowanhill, Philip E. Varner, John C. Knight |
| 2004 | Error Sensitivity of the Linux Kernel Executing on PowerPC G4 and Pentium 4 Processors. Weining Gu, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
| 2004 | Evaluating the Impact of Limited Resource on the Performance of Flooding in Wireless Sensor Networks. Patrick Downey, Rachel Cardell-Oliver |
| 2004 | Experience with Evaluating Human-Assisted Recovery Processes. Aaron B. Brown, Leonard Chung, William Kakes, Calvin Ling, David A. Patterson |
| 2004 | Exposing and Eliminating Vulnerabilities to Denial of Service Attacks in Secure Gossip-Based Multicast. Gal Badishi, Idit Keidar, Amir Sasson |
| 2004 | FRTR: A Scalable Mechanism for Global Routing Table Consistency. Lan Wang, Daniel Massey, Keyur Patel, Lixia Zhang |
| 2004 | Failure Data Analysis of a Large-Scale Heterogeneous Server Environment. Ramendra K. Sahoo, Anand Sivasubramaniam, Mark S. Squillante, Yanyong Zhang |
| 2004 | Fast Abstracts. Felicita Di Giandomenico |
| 2004 | Fault Detection and Isolation Techniques for Quasi Delay-Insensitive Circuits. Christopher LaFrieda, Rajit Manohar |
| 2004 | Fault Diversity among Off-The-Shelf SQL Database Servers. Ilir Gashi, Peter T. Popov, Lorenzo Strigini |
| 2004 | Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems. Jennifer Morris, Daniel Kroening, Philip Koopman |
| 2004 | Fault Tolerant Computation on Ensemble Quantum Computers. P. Oscar Boykin, Vwani P. Roychowdhury, Tal Mor, Farrokh Vatan |
| 2004 | Fault Tolerant Energy Aware Data Dissemination Protocol in Sensor Networks. Gunjan Khanna, Saurabh Bagchi, Yu-Sung Wu |
| 2004 | Generic Faultloads Based on Software Faults for Dependability Benchmarking. João Durães, Henrique Madeira |
| 2004 | HOURS: Achieving DoS Resilience in an Open Service Hierarchy. Hao Yang, Haiyun Luo, Yi Yang, Songwu Lu, Lixia Zhang |
| 2004 | Hierarchical Computation of Interval Availability and Related Metrics. Dong Tang, Kishor S. Trivedi |
| 2004 | High Throughput Byzantine Fault Tolerance. Ramakrishna Kotla, Michael Dahlin |
| 2004 | Impact of Path Diversity on Multi-homed and Overlay Networks. Junghee Han, Farnam Jahanian |
| 2004 | Implementing Simple Replication Protocols using CORBA Portable Interceptors and Java Serialization. Mohamed Taha Bennani, Laurent Blain, Ludovic Courtès, Jean-Charles Fabre, Marc-Olivier Killijian, Eric Marsden, François Taïani |
| 2004 | Improving System Dependability with Functional Alternatives. Charles P. Shelton, Philip Koopman |
| 2004 | In Advance Activation of Backup Channels for Real-Time Transmission. Enrique Hernández-Orallo, Joan Vila i Carbó |
| 2004 | Intrusion Tolerance and Anti-Traffic Analysis Strategies For Wireless Sensor Networks. Jing Deng, Richard Han, Shivakant Mishra |
| 2004 | Min-Max Checkpoint Placement under Incomplete Failure Information. Tatsuya Ozaki, Tadashi Dohi, Hiroyuki Okamura, Naoto Kaio |
| 2004 | Model Checking Action- and State-Labelled Markov Chains. Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle |
| 2004 | Model Checking Dependability Attributes of Wireless Group Communication. Mieke Massink, Joost-Pieter Katoen, Diego Latella |
| 2004 | Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation. Wilfried Steiner, John M. Rushby, Maria Sorea, Holger Pfeifer |
| 2004 | On Benchmarking the Dependability of Automotive Engine Control Applications. Juan-Carlos Ruiz-Garcia, Pedro Yuste, Pedro J. Gil, Lenin Lemus |
| 2004 | On Failure Dependent Protection in Optical Grooming Networks. Srinivasan Ramasubramanian |
| 2004 | Optimal Object State Transfer - Recovery Policies for Fault Tolerant Distributed Systems. Panagiotis Katsaros, Constantine Lazos |
| 2004 | Performance and Dependability of Structured Peer-to-Peer Overlays. Miguel Castro, Manuel Costa, Antony I. T. Rowstron |
| 2004 | Proactive Recovery in Distributed CORBA Applications. Soila M. Pertet, Priya Narasimhan |
| 2004 | QoS of Timeout-Based Self-Tuned Failure Detectors: The Effects of the Communication Delay Predictor and the Safety Margin. Raul Ceretta Nunes, Ingrid Jansch-Pôrto |
| 2004 | Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees. Elizabeth Latronico, Paul S. Miner, Philip Koopman |
| 2004 | Recent Discoveries from Paxos. Leslie Lamport |
| 2004 | Repairable Fault Tree for the Automatic Evaluation of Repair Policies. Daniele Codetta Raiteri, Mauro Iacono, Giuliana Franceschinis, Valeria Vittorini |
| 2004 | Robust Aggregation Protocols for Large-Scale Overlay Networks. Alberto Montresor, Márk Jelasity, Özalp Babaoglu |
| 2004 | Robust Protection against Fault-Injection Attacks on Smart Cards Implementing the Advanced Encryption Standard. Mark G. Karpovsky, Konrad J. Kulikowski, Alexander Taubin |
| 2004 | SCIDIVE: A Stateful and Cross Protocol Intrusion Detection Architecture for Voice-over-IP Environments. Yu-Sung Wu, Saurabh Bagchi, Sachin Garg, Navjot Singh, Timothy K. Tsai |
| 2004 | Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques. Frank Ortmeier, Wolfgang Reif |
| 2004 | Secure Distributed DNS. Christian Cachin, Asad Samar |
| 2004 | Student Forum. Susanna Donatelli |
| 2004 | Support for Mobility and Fault Tolerance in Mykil. Jyh-How Huang, Shivakant Mishra |
| 2004 | The Effect of Testing on Reliability of Fault-Tolerant Software. Peter T. Popov, Bev Littlewood |
| 2004 | The Impact of Technology Scaling on Lifetime Reliability. Jayanth Srinivasan, Sarita V. Adve, Pradip Bose, Jude A. Rivers |
| 2004 | The Join Problem in Dynamic Network Algorithms. Kishori M. Konwar, Dariusz R. Kowalski, Alexander A. Shvartsman |
| 2004 | The Recursive NanoBox Processor Grid: A Reliable System Architecture for Unreliable Nanotechnology Devices. A. J. KleinOsowski, Kevin KleinOsowski, Vijay Rangarajan, Priyadarshini Ranganath, David J. Lilja |
| 2004 | Timed Uniform Consensus Resilient to Crash and Timing Faults. Taisuke Izumi, Akinori Saitoh, Toshimitsu Masuzawa |
| 2004 | Tolerating Hard Faults in Microprocessor Array Structures. Fred A. Bower, Paul G. Shealy, Sule Ozev, Daniel J. Sorin |
| 2004 | Twin Workshops on Architecting Dependable Systems (WADS 2004). Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky |
| 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 | 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 | Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities. Charles Howell, Sofia Guerra, Shari Lawrence Pfleeger, Victoria Stavridou-Coleman |
| 2004 | Workshop on Fault Diagnosis and Tolerance in Cryptography. Luca Breveglieri, Israel Koren |
| 2004 | Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability. Michael D. Harrison, Lorenzo Strigini |