Table of contents (PDF)

Steering Committee (PDF)

Title Page i (PDF)

Title Page iii (PDF)

Message from General Chair (PDF)

Message from Program Committee Chair (PDF)

Organizing Committee (PDF)

Injecting Inconsistent Values Caused by Interaction Faults for Experimental Dependability Evaluation (Abstract)

Metrics for Object-Oriented Software Reliability Assessment - Application to a Flight Manager (Abstract)

Software Faults Diagnosis in Complex OTS Based Safety Critical Systems (Abstract)

On the Specification of Partitionable Group Membership (Abstract)

A Distributed Approach to Autonomous Fault Treatment in Spread (Abstract)

Deriving Highly Available Quorum Systems from Structural Failure Models (Abstract)

Targeted Distribution of Resource Allocation for Backup LSP Computation (Abstract)

Dependability Assessment for the Selection of Embedded Cores (Abstract)

The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation (Abstract)

Practical Setup Time Violation Attacks on AES (Abstract)

SGNET: A Worldwide Deployable Framework to Support the Analysis of Malware Threat Models (Abstract)

Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities (Abstract)

A Transient-Resilient System-on-a-Chip Architecture with Support for On-Chip and Off-Chip TMR (Abstract)

A Novel Naming Scheme for System-on-a-Chips Supporting Dynamic Resource Management (Abstract)

Software Implemented Detection and Recovery of Soft Errors in a Brake-by-Wire System (Abstract)

SONDe, a Self-Organizing Object Deployment Algorithm in Large-Scale Dynamic Systems (Abstract)

Refinement Patterns for Fault Tolerant Systems (Abstract)

How hard is Assessing and Measuring Resilience? Panel (Abstract)

Online Dependability Assessment through Runtime Monitoring and Prediction (Abstract)

Author Index (PDF)