2008 |
36 | | Youssef Laarouchi,
Yves Deswarte,
David Powell,
Jean Arlat:
Safety and Security Architectures for Avionics.
DCSOFT 2008: 46-52 |
35 | EE | Matthieu Roy,
François Bonnet,
Leonardo Querzoni,
Silvia Bonomi,
Marc-Olivier Killijian,
David Powell:
Geo-registers: An Abstraction for Spatial-Based Distributed Computing.
OPODIS 2008: 534-537 |
2007 |
34 | EE | Benjamin Lussier,
Matthieu Gallien,
Jérémie Guiochet,
Félix Ingrand,
Marc-Olivier Killijian,
David Powell:
Fault Tolerant Planning for Critical Robots.
DSN 2007: 144-153 |
33 | | Benjamin Lussier,
Matthieu Gallien,
Jérémie Guiochet,
Félix Ingrand,
Marc-Olivier Killijian,
David Powell:
Planning with Diversified Models for Fault-Tolerant Robots.
ICAPS 2007: 216-223 |
32 | EE | Ludovic Courtès,
Marc-Olivier Killijian,
David Powell:
Security Rationale for a Cooperative Backup Service for Mobile Devices.
LADC 2007: 212-230 |
31 | EE | Ludovic Courtès,
Ossama Hamouda,
Mohamed Kaâniche,
Marc-Olivier Killijian,
David Powell:
Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices.
PRDC 2007: 139-146 |
2005 |
30 | EE | Jonathan Adams,
David Bustos,
Stephen Hahn,
David Powell,
Liane Praza:
Solaris Service Management Facility: Modern System Startup and Administration.
LISA 2005: 225-236 |
2004 |
29 | | Yves Deswarte,
David Powell:
Intrusion tolerance for Internet applications.
IFIP Congress Topical Sessions 2004: 241-256 |
28 | EE | Marc-Olivier Killijian,
David Powell,
Michel Banâtre,
Paul Couderc,
Yves Roudier:
Collaborative backup for dependable mobile applications.
Middleware for Pervasive and Ad-hoc Computing 2004: 146-149 |
27 | EE | Yves Deswarte,
David Powell:
Intrusion Tolerance for Internet Applications.
NCA 2004: 35-36 |
26 | EE | Achour Mostéfaoui,
David Powell,
Michel Raynal:
A Hybrid Approach for Building Eventually Accurate Failure Detectors.
PRDC 2004: 57-65 |
2001 |
25 | EE | Yves Deswarte,
Noreddine Abghour,
Vincent Nicomette,
David Powell:
An Internet Authorization Scheme Using Smart-Card-Based Security Kernels.
E-smart 2001: 71-82 |
1999 |
24 | EE | Gilles Motet,
David Powell:
Fault Avoidance and Fault Removal in Real-Time Systems & Fault-Tolerant Computing - Introduction.
Euro-Par 1999: 487-488 |
23 | EE | Ravishankar K. Iyer,
Algirdas Avizienis,
D. Barron,
David Powell,
Haim Levendel,
J. Samson:
COTS Hardware and Software in High-Availability Systems (Panel).
FTCS 1999: 120 |
22 | | Michel Cukier,
David Powell,
Jean Arlat:
Coverage Estimation Methods for Stratified Fault Injection.
IEEE Trans. Computers 48(7): 707-723 (1999) |
21 | EE | David Powell,
Jean Arlat,
Ljerka Beus-Dukic,
Andrea Bondavalli,
P. Coppola,
Alessandro Fantechi,
Eric Jenn,
Christophe Rabéjac,
Andy J. Wellings:
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems.
IEEE Trans. Parallel Distrib. Syst. 10(6): 580-599 (1999) |
1998 |
20 | | Eric Totel,
Jean-Paul Blanquart,
Yves Deswarte,
David Powell:
Supporting Multiple Levels of Criticality.
FTCS 1998: 70-79 |
19 | EE | Andy J. Wellings,
Ljerka Beus-Dukic,
David Powell:
Real-Time Scheduling in a Generic Fault-Tolerant Architecture.
IEEE Real-Time Systems Symposium 1998: 390-398 |
18 | EE | Andrea Bondavalli,
Felicita Di Giandomenico,
Fabrizio Grandoni,
David Powell,
Christophe Rabéjac:
State Restoration in a COTS-Based N-Modular Architecture.
ISORC 1998: 174- |
1997 |
17 | EE | D. Essame,
Jean Arlat,
David Powell:
Available fail-safe systems.
FTDCS 1997: 176-182 |
1996 |
16 | | David Powell,
Michel Cukier,
Jean Arlat:
On Stratified Sampling for High Coverage Estimations.
EDCC 1996: 37-54 |
15 | | David Powell:
Group Communication (Introduction to the Special Section).
Commun. ACM 39(4): 50-53 (1996) |
1995 |
14 | | David Powell,
Eliane Martins,
Jean Arlat,
Yves Crouzet:
Estimators for Fault Tolerance Coverage Evaluation.
IEEE Trans. Computers 44(2): 261-274 (1995) |
1994 |
13 | | Klaus Echtle,
Dieter K. Hammer,
David Powell:
Dependable Computing - EDCC-1, First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994, Proceedings
Springer 1994 |
1993 |
12 | | David Powell,
Eliane Martins,
Jean Arlat,
Yves Crouzet:
Estimators for Fault Tolerance Coverage Evaluation.
FTCS 1993: 228-237 |
11 | | C. Béoumes,
Karama Kanoun,
Martine Aguera,
Jean-Claude Laprie,
Jean Arlat,
Sylvain Metge,
S. Bachmann,
Jorge Moreira de Souza,
C. Bourdeau,
David Powell,
J.-E. Doucet,
P. Spiesser:
SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems.
FTCS 1993: 668-673 |
10 | | David Powell:
Distributed Fault Tolerance - Lessons Learned from Delta-4.
Hardware and Software Architectures for Fault Tolerance 1993: 199-217 |
9 | | Jean Arlat,
Alain Costes,
Yves Crouzet,
Jean-Claude Laprie,
David Powell:
Fault Injection and Dependability Evaluation of Fault-Tolerant Systems.
IEEE Trans. Computers 42(8): 913-923 (1993) |
1992 |
8 | | Marc Chérèque,
David Powell,
Philippe Reynier,
Jean-Luc Richier,
Jacques Voiron:
Active Replication in Delta-4.
FTCS 1992: 28-37 |
7 | | David Powell:
Failure Mode Assumptions and Assumption Coverage.
FTCS 1992: 386-395 |
1991 |
6 | | Karama Kanoun,
David Powell:
Dependability Evaluation of Bus and Ring Communication Topologies for the Delta-4 Distributed Fault-Tolerant Architecture.
SRDS 1991: 130-141 |
5 | | David Powell,
Marc Chérèque,
David Drackley:
Fault-Tolerance in Delta-4.
Operating Systems Review 25(2): 122-125 (1991) |
1990 |
4 | EE | David Powell,
Marc Chérèque,
David Drackley:
Fault-tolerance in delta-4.
ACM SIGOPS European Workshop 1990 |
3 | EE | Jean Arlat,
Martine Aguera,
Louis Amat,
Yves Crouzet,
Jean-Charles Fabre,
Jean-Claude Laprie,
Eliane Martins,
David Powell:
Fault Injection for Dependability Validation: A Methodology and Some Applications.
IEEE Trans. Software Eng. 16(2): 166-182 (1990) |
1986 |
2 | | J.-M. Fray,
Yves Deswarte,
David Powell:
Intrusion-Tolerance Using Fine-Grain Fragmentation-Scattering.
IEEE Symposium on Security and Privacy 1986: 194-203 |
1 | | Yves Deswarte,
Jean-Charles Fabre,
Jean-Claude Laprie,
David Powell:
A Saturation Network to Tolerate Faults and Intrusions.
Symposium on Reliability in Distributed Software and Database Systems 1986: 74-81 |