Message from the Chairs (PDF)
Program Committee (PDF)
Conference Organization (PDF)
Reviewers (PDF)
W.C. Carter Award (PDF)
Transparent Redundancy in the Time-Triggered Architecture (Abstract)
Resource Scheduling in Dependable Integrated Modular Avionics (Abstract)
Executable Assertions for Detecting Data Errors in Embedded Control Systems (Abstract)
Experiences with Group Communication Middleware (Abstract)
Towards Dependable Home Networking: An Experience Report (Abstract)
Design, Implementation, and Performance of Checkpointing in NetSolve (Abstract)
Efficient Incremental Checkpointing of Java Programs (Abstract)
A C/C++ Source-to-Source Compiler for Dependable Applications (Abstract)
Evaluating COTS Standards for Design of Dependable Systems (Abstract)
Whither Generic Recovery from Application Faults? A Fault Study using Open-Source Software (Abstract)
Software-Implemented Fault Detection for High-Performance Space Applications (Abstract)
An Automatic SPIN Validation of a Safety Critical Railway Control System (Abstract)
Sensitivity Analysis on Dependencies in Dynamic Availability Models for Large Systems (Abstract)
Fault-Tolerant Execution of Mobile Agents (Abstract)
Exploiting Non-Determinism for Reliability of Mobile Agent Systems (Abstract)
A New Rolling Stock Architecture Using Safety Computers and Networks (Abstract)
Reliability-Availability-Serviceability Characteristics of a Compressed-Memory System (Abstract)
A Fault Tolerant Signal Processing Computer (Abstract)
Performability of Algorithms for Connection Admission Control (Abstract)
On the Quality of Service of Failure Detectors (Abstract)
Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems (Abstract)
Diagnosis of Regular Structures (Abstract)
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems (Abstract)
Sensitivity Analysis for System Design Improvement (Abstract)
Joint Evaluation of Performance and Robustness of a COTS DBMS through Fault-Injection (Abstract)
Robustness Testing of the Microsoft Win32 API (Abstract)
From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach (Abstract)
Dynamic Byzantine Quorum Systems (Abstract)
A Tool Suite for Diagnosis and Testing of Software Design Specifications (Abstract)
Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams (Abstract)
Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis (Abstract)
A Low Latency, Loss Tolerant Architecture and Protocol for Wide Area Group Communication (Abstract)
A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks (Abstract)
A Gossip-Based Reliable Multicast for Large-Scale High-Throughput Applications (Abstract)
Fault-Tolerant Ethernet for IP-Based Process Control: A Demonstration (Abstract)
Test-Point Insertion to Enhance Test Compaction for Scan Designs (Abstract)
Method to Recover Internet Packet Losses Using (n, n - 1, m) Convolutional Codes (Abstract)
One-Shot Reed-Solomon Decoding for High-Performance Dependable Systems (Abstract)
A Fault Injection Approach Based on Reflective Programming (Abstract)
On the Emulation of Software Faults by Software Fault Injection (Abstract)
Reliability Testing of Applications on Windows NT (Abstract)
Implementing Flexible Object Group Invocation in Networked Systems (Abstract)
Implementing e-Transactions with Asynchronous Replication (Abstract)
Data Replication Strategies for Fault Tolerance and Availability on Commodity Clusters (Abstract)
Fault Tolerance through Re-Execution in Multiscalar Architecture (Abstract)
A Fault Tolerance Infrastructure for Dependable Computing with High-Performance COTS Components (Abstract)
Synthesis of Interconnection Networks: A Novel Approach (Abstract)
The Best of Both Worlds: A Hybrid Approach to Solve Consensus (Abstract)
Synchronous System and Perfect Failure Detector: Solvability and Efficiency Issues (Abstract)
The Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness (Abstract)
Reconfiguration Based Failure Restoration in Wavelength-Routed WDM Networks (Abstract)
Towards Continuous Availability of Internet Services through Availability Domains (Abstract)
Algorithms for Improving the Dependability of Firewall and Filter Rule Lists (Abstract)
Dynamic-Distributed Differentiated Service for Multimedia Applications (Abstract)
Testing for Software Vulnerability Using Environment Perturbation (Abstract)
Survivability Analysis of Network Specifications (Abstract)
Benchmarking Anomaly-Based Detection Systems (Abstract)
Avoiding Loss of Fairness Owing to Process Crashes in Fair Data Exchange Protocols (Abstract)
A Formal-Specification Based Approach for Protecting the Domain Name System (Abstract)
Author Index (PDF)