
- Safe and Dependable Physical Human-Robot Interaction in Anthropic Domains
- Experiments with Diversified Models for Fault-Tolerant Planning
- PADRE : A Protocol for Asymmetric Duplex REdundancy D. Essam, J. Arlat, D. Powell
- Coverage Estimation Methods for Stratified Fault-Injection
- On Fault Tolerance and Robustness in Autonomous Systems
- The SESAME Experience: from Assembly Languages to Declarative Models Yves Crouzet, Hlne Waeselynck, Benjamin Lussier, David Powell
- Security Rationale for a Cooperative Backup Service for Mobile Devices
- Collaborative Backup for Dependable Mobile Applications [Extended Abstract]
- Internet Security: An Intrusion-Tolerance YVES DESWARTE, MEMBER, IEEE, AND DAVID POWELL, MEMBER, IEEE
- Storage Tradeoffs in a Collaborative Backup Service for Mobile Devices
- On the Horizon Editor: O. Sami Saydjari, ssaydjari@cyberdefenseagency.com
- Sauvegarde cooprative entre pairs pour dispositifs mobiles*
- A Hybrid Approach for Building Eventually Accurate Failure Detectors
- Failure Mode Assumptions and Assumption Coverage*
- Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices* Ludovic Courts, Ossama Hamouda,
- GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems