| 2014 | SAFECOMP | Specifying Safety Monitors for Autonomous Systems Using Model-Checking. | Mathilde Machin, Fanny Dufoss, Jean-Paul Blanquart, Jrmie Guiochet, David Powell, Hlne Waeselynck |
| 2012 | EDCC | Testing the Input Timing Robustness of Real-Time Control Software for Autonomous Systems. | David Powell, Jean Arlat, Hoang Nam Chu, Flix Ingrand, Marc-Olivier Killijian |
| 2012 | PRDC | Safety Trigger Conditions for Critical Autonomous Systems. | Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jrmie Guiochet, David Powell, Matthieu Roy |
| 2009 | EuroSys | Enhancing dependability in avionics using virtualization. | Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat, Eric De Nadai |
| 2008 | ICSoft | Safety and Security Architectures for Avionics. | Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat |
| 2008 | OPODIS | Geo-registers: An Abstraction for Spatial-Based Distributed Computing. | Matthieu Roy, Franois Bonnet, Leonardo Querzoni, Silvia Bonomi, Marc-Olivier Killijian, David Powell |
| 2007 | DSN | Fault Tolerant Planning for Critical Robots. | Benjamin Lussier, Matthieu Gallien, Jrmie Guiochet, Flix Ingrand, Marc-Olivier Killijian, David Powell |
| 2007 | PRDC | Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices. | Ludovic Courts, Ossama Hamouda, Mohamed Kaniche, Marc-Olivier Killijian, David Powell |
| 2006 | EDCC | Storage Tradeoffs in a Collaborative Backup Service for Mobile Devices. | Ludovic Courts, Marc-Olivier Killijian, David Powell |
| 2004 | Middleware | Collaborative backup for dependable mobile applications. | Marc-Olivier Killijian, David Powell, Michel Bantre, Paul Couderc, Yves Roudier |
| 2004 | NCA | Intrusion Tolerance for Internet Applications. | Yves Deswarte, David Powell |
| 2004 | PRDC | A Hybrid Approach for Building Eventually Accurate Failure Detectors. | Achour Mostfaoui, David Powell, Michel Raynal |
| 1999 | EuroPar | Fault Avoidance and Fault Removal in Real-Time Systems & Fault-Tolerant Computing - Introduction. | Gilles Motet, David Powell |
| 1998 | ISORC | State Restoration in a COTS-Based N-Modular Architecture. | Andrea Bondavalli, Felicita Di Giandomenico, Fabrizio Grandoni, David Powell, Christophe Rabjac |
| 1998 | RTSS | Real-Time Scheduling in a Generic Fault-Tolerant Architecture. | Andy J. Wellings, Ljerka Beus-Dukic, David Powell |
| 1996 | EDCC | On Stratified Sampling for High Coverage Estimations. | David Powell, Michel Cukier, Jean Arlat |
| 1991 | SRDS | Dependability Evaluation of Bus and Ring Communication Topologies for the Delta-4 Distributed Fault-Tolerant Architecture. | Karama Kanoun, David Powell |
| 1986 | SP | Intrusion-Tolerance Using Fine-Grain Fragmentation-Scattering. | J.-M. Fray, Yves Deswarte, David Powell |
| 1986 | SRDS | A Saturation Network to Tolerate Faults and Intrusions. | Yves Deswarte, Jean-Charles Fabre, Jean-Claude Laprie, David Powell |