PRDC 2013: Vancouver, BC, Canada

Session A1: Checkpointing and Voting

Session B1: Fault Injection and Test

Session A2: Consensus

Session B2: Error Detection and Correction 1

Session A3: Fast Abstracts

Session A4: Modeling with Networks

Session B4: Industry Track Presentations

Session A5: Distributed Systems

Session B5: Error Detection and Correction 2

Session A6: Security

Session B6: Modeling

Session A7: Safety and Robustness

Session B7: Software Reliability

a service of Schloss Dagstuhl - Leibniz Center for Informatics