default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavid Powell
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c44]Ahlam AlAnbouri, Mayank Parmar
, David Powell, Paula Kelly, Niall Holmes, Damon Berry, Lorraine D'Arcy:
Capturing the Behaviour of Volunteer Pedestrians in a Newly-Developed University Campus Using a Distributed Array of Bluetooth Low Energy Devices. ISC2 2023: 1-7- 2020
- [c43]Marion Oswald, David Powell:
Can an algorithmic system be a 'friend' to a police officer's discretion?: ACM FAT 2020 translation tutorial. FAT* 2020: 698
2010 – 2019
- 2019
- [j14]Maria Victoria Schneider, Philippa C. Griffin, Sonika Tyagi, Madison Flannery, Saravanan Dayalan, Simon Gladman, Nathan S. Watson-Haigh, Philipp E. Bayer, Michael A. Charleston, Ira Cooke, Rob Cook, Richard J. Edwards, David Edwards, Dominique Gorse, Malcolm J. McConville, David Powell, Marc R. Wilkins, Andrew Lonie:
Establishing a distributed national research infrastructure providing bioinformatics support to life science researchers in Australia. Briefings Bioinform. 20(2): 384-389 (2019) - 2015
- [c42]Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, Hélène Waeselynck:
Model-Checking and Game theory for Synthesis of Safety Rules. HASE 2015: 36-43 - 2014
- [c41]Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck:
Specifying Safety Monitors for Autonomous Systems Using Model-Checking. SAFECOMP 2014: 262-277 - 2013
- [c40]Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche, David Powell:
Model-based safety analysis of human-robot interactions: The MIRAS walking assistance robot. ICORR 2013: 1-7 - 2012
- [c39]Christian Artigues, Yves Deswarte, Jérémie Guiochet, Marie-José Huguet, Marc-Olivier Killijian, David Powell, Matthieu Roy, Christophe Bidan, Nicolas Prigent, Emmanuelle Anceaume, Sébastien Gambs, Gilles Guette, Michel Hurfin, Frédéric Schettini:
AMORES: an architecture for mobiquitous resilient systems. ARMOR 2012: 7:1-7:6 - [c38]David Powell, Jean Arlat, Hoang Nam Chu, Félix Ingrand, Marc-Olivier Killijian:
Testing the Input Timing Robustness of Real-Time Control Software for Autonomous Systems. EDCC 2012: 73-83 - [c37]Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy:
Safety Trigger Conditions for Critical Autonomous Systems. PRDC 2012: 61-69 - 2011
- [j13]Vincent Nicomette, David Powell, Yves Deswarte, Noreddine Abghour, Christophe Zanon:
Intrusion-tolerant fine-grained authorization for Internet applications. J. Syst. Archit. 57(4): 441-451 (2011) - [c36]David Powell, Jean Arlat, Yves Deswarte, Karama Kanoun:
Tolerance of Design Faults. Dependable and Historic Computing 2011: 428-452 - 2010
- [c35]Jérémie Guiochet, Damien Martin-Guillerez, David Powell:
Experience with Model-Based User-Centered Risk Assessment for Service Robots. HASE 2010: 104-113 - [c34]Damien Martin-Guillerez, Jérémie Guiochet, David Powell, Christophe Zanon:
A UML-based method for risk analysis of human-robot interactions. SERENE 2010: 32-41
2000 – 2009
- 2009
- [c33]Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat, Eric De Nadai:
Enhancing dependability in avionics using virtualization. VDTS@EuroSys 2009: 13-17 - 2008
- [c32]Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat:
Safety and Security Architectures for Avionics. DCSOFT 2008: 46-52 - [c31]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
- [c30]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 - [c29]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 - [c28]Ludovic Courtès, Marc-Olivier Killijian, David Powell:
Security Rationale for a Cooperative Backup Service for Mobile Devices. LADC 2007: 212-230 - [c27]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 - 2006
- [j12]Paulo Veríssimo, Nuno Ferreira Neves, Christian Cachin, Jonathan A. Poritz, David Powell, Yves Deswarte, Robert J. Stroud, Ian Welch:
Intrusion-tolerant middleware: the road to automatic security. IEEE Secur. Priv. 4(4): 54-62 (2006) - [j11]Yves Deswarte, David Powell:
Internet Security: An Intrusion-Tolerance Approach. Proc. IEEE 94(2): 432-441 (2006) - [j10]Yvan Strahm, David Powell, Christophe Lefèvre:
EST-PAC a web package for EST annotation and protein sequence prediction. Source Code Biol. Medicine 1 (2006) - [c26]Ludovic Courtès, Marc-Olivier Killijian, David Powell:
Storage Tradeoffs in a Collaborative Backup Service for Mobile Devices. EDCC 2006: 129-138 - 2005
- [c25]Jonathan Adams, David Bustos, Stephen Hahn, David Powell, Liane Praza:
Solaris Service Management Facility: Modern System Startup and Administration. LISA 2005: 225-236 - [c24]Ludovic Courtès, Marc-Olivier Killijian, David Powell, Matthieu Roy:
Sauvegarde coopérative entre pairs pour dispositifs mobiles. UbiMob 2005: 97-104 - 2004
- [c23]Yves Deswarte, David Powell:
Intrusion tolerance for Internet applications. IFIP Congress Topical Sessions 2004: 241-256 - [c22]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 - [c21]Yves Deswarte, David Powell:
Intrusion Tolerance for Internet Applications. NCA 2004: 35-36 - [c20]Achour Mostéfaoui, David Powell, Michel Raynal:
A Hybrid Approach for Building Eventually Accurate Failure Detectors. PRDC 2004: 57-65 - 2001
- [c19]Yves Deswarte, Noreddine Abghour, Vincent Nicomette, David Powell:
An Internet Authorization Scheme Using Smart-Card-Based Security Kernels. E-smart 2001: 71-82
1990 – 1999
- 1999
- [j9]Eric Abbott, David Powell:
Land-vehicle navigation using GPS. Proc. IEEE 87(1): 145-162 (1999) - [j8]Michel Cukier, David Powell, Jean Arlat:
Coverage Estimation Methods for Stratified Fault Injection. IEEE Trans. Computers 48(7): 707-723 (1999) - [j7]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 Distributed Syst. 10(6): 580-599 (1999) - [c18]Gilles Motet, David Powell:
Fault Avoidance and Fault Removal in Real-Time Systems & Fault-Tolerant Computing - Introduction. Euro-Par 1999: 487-488 - [c17]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 - 1998
- [c16]Eric Totel, Jean-Paul Blanquart, Yves Deswarte, David Powell:
Supporting Multiple Levels of Criticality. FTCS 1998: 70-79 - [c15]Andrea Bondavalli, Felicita Di Giandomenico, Fabrizio Grandoni, David Powell, Christophe Rabéjac:
State Restoration in a COTS-Based N-Modular Architecture. ISORC 1998: 174- - [c14]Andy J. Wellings, Ljerka Beus-Dukic, David Powell:
Real-Time Scheduling in a Generic Fault-Tolerant Architecture. RTSS 1998: 390-398 - 1997
- [c13]D. Essame, Jean Arlat, David Powell:
Available fail-safe systems. FTDCS 1997: 176-182 - 1996
- [j6]David Powell:
Group Communication (Introduction to the Special Section). Commun. ACM 39(4): 50-53 (1996) - [c12]David Powell, Michel Cukier, Jean Arlat:
On Stratified Sampling for High Coverage Estimations. EDCC 1996: 37-54 - 1995
- [j5]David Powell, Eliane Martins, Jean Arlat, Yves Crouzet:
Estimators for Fault Tolerance Coverage Evaluation. IEEE Trans. Computers 44(2): 261-274 (1995) - 1994
- [j4]David Powell:
Distributed fault tolerance: lessons from Delta-4. IEEE Micro 14(1): 36-47 (1994) - [e1]Klaus Echtle, Dieter K. Hammer, David Powell:
Dependable Computing - EDCC-1, First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994, Proceedings. Lecture Notes in Computer Science 852, Springer 1994, ISBN 3-540-58426-9 [contents] - 1993
- [j3]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) - [c11]David Powell, Eliane Martins, Jean Arlat, Yves Crouzet:
Estimators for Fault Tolerance Coverage Evaluation. FTCS 1993: 228-237 - [c10]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 - [c9]David Powell:
Distributed Fault Tolerance - Lessons Learned from Delta-4. Hardware and Software Architectures for Fault Tolerance 1993: 199-217 - 1992
- [c8]Marc Chérèque, David Powell, Philippe Reynier, Jean-Luc Richier, Jacques Voiron:
Active Replication in Delta-4. FTCS 1992: 28-37 - [c7]David Powell:
Failure Mode Assumptions and Assumption Coverage. FTCS 1992: 386-395 - 1991
- [j2]David Powell, Marc Chérèque, David Drackley:
Fault-Tolerance in Delta-4. ACM SIGOPS Oper. Syst. Rev. 25(2): 122-125 (1991) - [c6]Karama Kanoun, David Powell:
Dependability Evaluation of Bus and Ring Communication Topologies for the Delta-4 Distributed Fault-Tolerant Architecture. SRDS 1991: 130-141 - 1990
- [j1]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) - [c5]David Powell, Marc Chérèque, David Drackley:
Fault-tolerance in delta-4. ACM SIGOPS European Workshop 1990
1980 – 1989
- 1988
- [c4]Jean-Claude Fabre, Yves Deswarte, Jean-Claude Laprie, David Powell:
Saturation: reduced idleness for improved fault-tolerance. FTCS 1988: 200-205 - [c3]David Powell, Gottfried Bonn, Douglas T. Seaton, Paulo Veríssimo, F. Waeselynck:
The Delta-4 approach to dependability in open distributed computing systems. FTCS 1988: 246-251 - 1986
- [c2]J.-M. Fray, Yves Deswarte, David Powell:
Intrusion-Tolerance Using Fine-Grain Fragmentation-Scattering. S&P 1986: 194-203 - [c1]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
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
