David Powell

Publication Activity (10 Years)

Years Active: 1986-2023
Publications (10 Years): 4

Top Topics

Symbolic Model Checking

University Campus

Linear Temporal Logic

Top Venues

Briefings Bioinform.

Publications

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)
Marion Oswald, David Powell
Can an algorithmic system be a 'friend' to a police officer's discretion?: ACM FAT 2020 translation tutorial. FAT* (2020)
Maria Victoria Schneider, Philippa C. Griffin, Sonika Tyagi, Madison Flannery, Saravanan Dayalan, Simon Gladman, Nathan S. Watson-Haigh, Philipp E. Bayer, Michael 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) (2019)
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)
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)
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)
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)
Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy
Safety Trigger Conditions for Critical Autonomous Systems. PRDC (2012)
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)
Vincent Nicomette, David Powell, Yves Deswarte, Noreddine Abghour, Christophe Zanon
Intrusion-tolerant fine-grained authorization for Internet applications. J. Syst. Archit. 57 (4) (2011)
David Powell, Jean Arlat, Yves Deswarte, Karama Kanoun
Tolerance of Design Faults. Dependable and Historic Computing (2011)
Damien Martin-Guillerez, Jérémie Guiochet, David Powell, Christophe Zanon
A UML-based method for risk analysis of human-robot interactions. SERENE (2010)
Jérémie Guiochet, Damien Martin-Guillerez, David Powell
Experience with Model-Based User-Centered Risk Assessment for Service Robots. HASE (2010)
Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat, Eric De Nadai
Enhancing dependability in avionics using virtualization. VDTS@EuroSys (2009)
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)
Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat
Safety and Security Architectures for Avionics. DCSOFT (2008)
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)
Ludovic Courtès, Ossama Hamouda, Mohamed Kaâniche, Marc-Olivier Killijian, David Powell
Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices. PRDC (2007)
Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell
Fault Tolerant Planning for Critical Robots. DSN (2007)
Ludovic Courtès, Marc-Olivier Killijian, David Powell
Security Rationale for a Cooperative Backup Service for Mobile Devices. LADC (2007)
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)
Ludovic Courtès, Marc-Olivier Killijian, David Powell
Storage Tradeoffs in a Collaborative Backup Service for Mobile Devices. EDCC (2006)
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) (2006)
Yves Deswarte, David Powell
Internet Security: An Intrusion-Tolerance Approach. Proc. IEEE 94 (2) (2006)
Jonathan Adams, David Bustos, Stephen Hahn, David Powell, Liane Praza
Solaris Service Management Facility: Modern System Startup and Administration. LISA (2005)
Ludovic Courtès, Marc-Olivier Killijian, David Powell, Matthieu Roy
Sauvegarde coopérative entre pairs pour dispositifs mobiles. UbiMob (2005)
Achour Mostéfaoui, David Powell, Michel Raynal
A Hybrid Approach for Building Eventually Accurate Failure Detectors. PRDC (2004)
Yves Deswarte, David Powell
Intrusion tolerance for Internet applications. IFIP Congress Topical Sessions (2004)
Yves Deswarte, David Powell
Intrusion Tolerance for Internet Applications. NCA (2004)
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)
Yves Deswarte, Noreddine Abghour, Vincent Nicomette, David Powell
An Internet Authorization Scheme Using Smart-Card-Based Security Kernels. E-smart (2001)
Michel Cukier, David Powell, Jean Arlat
Coverage Estimation Methods for Stratified Fault Injection. IEEE Trans. Computers 48 (7) (1999)
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) (1999)
Eric Abbott, David Powell
Land-vehicle navigation using GPS. Proc. IEEE 87 (1) (1999)
Ravishankar K. Iyer, Algirdas Avizienis, D. Barron, David Powell, Haim Levendel, J. Samson
COTS Hardware and Software in High-Availability Systems (Panel). FTCS (1999)
Gilles Motet, David Powell
Fault Avoidance and Fault Removal in Real-Time Systems & Fault-Tolerant Computing - Introduction. Euro-Par (1999)
Eric Totel, Jean-Paul Blanquart, Yves Deswarte, David Powell
Supporting Multiple Levels of Criticality. FTCS (1998)
Andy J. Wellings, Ljerka Beus-Dukic, David Powell
Real-Time Scheduling in a Generic Fault-Tolerant Architecture. RTSS (1998)
Andrea Bondavalli, Felicita Di Giandomenico, Fabrizio Grandoni, David Powell, Christophe Rabéjac
State Restoration in a COTS-Based N-Modular Architecture. ISORC (1998)
D. Essame, Jean Arlat, David Powell
Available fail-safe systems. FTDCS (1997)
David Powell, Michel Cukier, Jean Arlat
On Stratified Sampling for High Coverage Estimations. EDCC (1996)
David Powell
Group Communication (Introduction to the Special Section). Commun. ACM 39 (4) (1996)
David Powell, Eliane Martins, Jean Arlat, Yves Crouzet
Estimators for Fault Tolerance Coverage Evaluation. IEEE Trans. Computers 44 (2) (1995)
David Powell
Distributed fault tolerance: lessons from Delta-4. IEEE Micro 14 (1) (1994)
David Powell
Distributed Fault Tolerance - Lessons Learned from Delta-4. Hardware and Software Architectures for Fault Tolerance (1993)
David Powell, Eliane Martins, Jean Arlat, Yves Crouzet
Estimators for Fault Tolerance Coverage Evaluation. FTCS (1993)
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)
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) (1993)
Marc Chérèque, David Powell, Philippe Reynier, Jean-Luc Richier, Jacques Voiron
Active Replication in Delta-4. FTCS (1992)
David Powell
Failure Mode Assumptions and Assumption Coverage. FTCS (1992)
Karama Kanoun, David Powell
Dependability Evaluation of Bus and Ring Communication Topologies for the Delta-4 Distributed Fault-Tolerant Architecture. SRDS (1991)
David Powell, Marc Chérèque, David Drackley
Fault-Tolerance in Delta-4. ACM SIGOPS Oper. Syst. Rev. 25 (2) (1991)
David Powell, Marc Chérèque, David Drackley
Fault-tolerance in delta-4. ACM SIGOPS European Workshop (1990)
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) (1990)
Jean-Claude Fabre, Yves Deswarte, Jean-Claude Laprie, David Powell
Saturation: reduced idleness for improved fault-tolerance. FTCS (1988)
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)
J.-M. Fray, Yves Deswarte, David Powell
Intrusion-Tolerance Using Fine-Grain Fragmentation-Scattering. IEEE Symposium on Security and Privacy (1986)
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)