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 |