David Powell

According to our database, David Powell authored at least 55 papers between 1986 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Capturing the Behaviour of Volunteer Pedestrians in a Newly-Developed University Campus Using a Distributed Array of Bluetooth Low Energy Devices.

Ahlam AlAnbouri, Mayank Parmar, David Powell, Paula Kelly, Niall Holmes, Damon Berry, Lorraine D'Arcy

Proceedings of the IEEE International Smart Cities Conference, 2023

2020

Can an algorithmic system be a 'friend' to a police officer's discretion?: ACM FAT 2020 translation tutorial.

Marion Oswald, David Powell

Proceedings of the FAT* '20: Conference on Fairness, 2020

2019

Establishing a distributed national research infrastructure providing bioinformatics support to life science researchers in Australia.

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

Briefings Bioinform., 2019

2015

Model-Checking and Game theory for Synthesis of Safety Rules.

Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, Hélène Waeselynck

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014

Specifying Safety Monitors for Autonomous Systems Using Model-Checking.

Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck

Proceedings of the Computer Safety, Reliability, and Security, 2014

2013

Model-based safety analysis of human-robot interactions: The MIRAS walking assistance robot.

Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche, David Powell

Proceedings of the IEEE 13th International Conference on Rehabilitation Robotics, 2013

2012

Safety Trigger Conditions for Critical Autonomous Systems.

Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy

Proceedings of the IEEE 18th Pacific Rim International Symposium on Dependable Computing, 2012

Testing the Input Timing Robustness of Real-Time Control Software for Autonomous Systems.

David Powell, Jean Arlat, Hoang Nam Chu, Félix Ingrand, Marc-Olivier Killijian

Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012

AMORES: an architecture for mobiquitous resilient systems.

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

Proceedings of the 1st European Workshop on AppRoaches to MObiquitous Resilience, 2012

2011

Intrusion-tolerant fine-grained authorization for Internet applications.

Vincent Nicomette, David Powell, Yves Deswarte, Noreddine Abghour, Christophe Zanon

J. Syst. Archit., 2011

Tolerance of Design Faults.

David Powell, Jean Arlat, Yves Deswarte, Karama Kanoun

Proceedings of the Dependable and Historic Computing, 2011

2010

A UML-based method for risk analysis of human-robot interactions.

Damien Martin-Guillerez, Jérémie Guiochet, David Powell, Christophe Zanon

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010

Experience with Model-Based User-Centered Risk Assessment for Service Robots.

Jérémie Guiochet, Damien Martin-Guillerez, David Powell

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

2009

Enhancing dependability in avionics using virtualization.

Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat, Eric De Nadai

Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems, 2009

2008

Geo-registers: An Abstraction for Spatial-Based Distributed Computing.

Matthieu Roy, François Bonnet, Leonardo Querzoni, Silvia Bonomi, Marc-Olivier Killijian, David Powell

Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

Safety and Security Architectures for Avionics.

Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat

Proceedings of the DCSOFT 2008, 2008

2007

Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices.

Ludovic Courtès, Ossama Hamouda, Mohamed Kaâniche, Marc-Olivier Killijian, David Powell

Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007

Security Rationale for a Cooperative Backup Service for Mobile Devices.

Ludovic Courtès, Marc-Olivier Killijian, David Powell

Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007

Fault Tolerant Planning for Critical Robots.

Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

Planning with Diversified Models for Fault-Tolerant Robots.

Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell

Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

2006

EST-PAC a web package for EST annotation and protein sequence prediction.

Yvan Strahm, David Powell, Christophe Lefèvre

Source Code Biol. Medicine, 2006

Internet Security: An Intrusion-Tolerance Approach.

Yves Deswarte, David Powell

Proc. IEEE, 2006

Intrusion-tolerant middleware: the road to automatic security.

Paulo Veríssimo, Nuno Ferreira Neves, Christian Cachin, Jonathan A. Poritz, David Powell, Yves Deswarte, Robert J. Stroud, Ian Welch

IEEE Secur. Priv., 2006

Storage Tradeoffs in a Collaborative Backup Service for Mobile Devices.

Ludovic Courtès, Marc-Olivier Killijian, David Powell

Proceedings of the Sixth European Dependable Computing Conference, 2006

2005

Sauvegarde coopérative entre pairs pour dispositifs mobiles.

Ludovic Courtès, Marc-Olivier Killijian, David Powell, Matthieu Roy

Proceedings of the Actes des 2èmes journées francophones Mobilité et Ubiquité 2005, 2005

Solaris Service Management Facility: Modern System Startup and Administration.

Jonathan Adams, David Bustos, Stephen Hahn, David Powell, Liane Praza

Proceedings of the 19th Conference on Systems Administration (LISA 2005), 2005

2004

A Hybrid Approach for Building Eventually Accurate Failure Detectors.

Achour Mostéfaoui, David Powell, Michel Raynal

Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 2004

Intrusion Tolerance for Internet Applications.

Yves Deswarte, David Powell

Proceedings of the 3rd IEEE International Symposium on Network Computing and Applications (NCA 2004), 30 August, 2004

Collaborative backup for dependable mobile applications.

Marc-Olivier Killijian, David Powell, Michel Banâtre, Paul Couderc, Yves Roudier

Proceedings of the 2nd Workshop on Middleware for Pervasive and Ad-hoc Computing, 2004

2001

An Internet Authorization Scheme Using Smart-Card-Based Security Kernels.

Yves Deswarte, Noreddine Abghour, Vincent Nicomette, David Powell

Proceedings of the Smart Card Programming and Security, 2001

1999

GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems.

David Powell, Jean Arlat, Ljerka Beus-Dukic, Andrea Bondavalli, P. Coppola, Alessandro Fantechi, Eric Jenn, Christophe Rabéjac, Andy J. Wellings

IEEE Trans. Parallel Distributed Syst., 1999

Coverage Estimation Methods for Stratified Fault Injection.

Michel Cukier, David Powell, Jean Arlat

IEEE Trans. Computers, 1999

Land-vehicle navigation using GPS.

Eric Abbott, David Powell

Proc. IEEE, 1999

COTS Hardware and Software in High-Availability Systems (Panel).

Ravishankar K. Iyer, Algirdas Avizienis, D. Barron, David Powell, Haim Levendel, J. Samson

Proceedings of the Digest of Papers: FTCS-29, 1999

Fault Avoidance and Fault Removal in Real-Time Systems & Fault-Tolerant Computing - Introduction.

Gilles Motet, David Powell

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1998

Real-Time Scheduling in a Generic Fault-Tolerant Architecture.

Andy J. Wellings, Ljerka Beus-Dukic, David Powell

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

State Restoration in a COTS-Based N-Modular Architecture.

Andrea Bondavalli, Felicita Di Giandomenico, Fabrizio Grandoni, David Powell, Christophe Rabéjac

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

Supporting Multiple Levels of Criticality.

Eric Totel, Jean-Paul Blanquart, Yves Deswarte, David Powell

Proceedings of the Digest of Papers: FTCS-28, 1998

1997

Available fail-safe systems.

D. Essame, Jean Arlat, David Powell

Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

1996

Group Communication (Introduction to the Special Section).

David Powell

Commun. ACM, 1996

On Stratified Sampling for High Coverage Estimations.

David Powell, Michel Cukier, Jean Arlat

Proceedings of the Dependable Computing, 1996

1995

Estimators for Fault Tolerance Coverage Evaluation.

David Powell, Eliane Martins, Jean Arlat, Yves Crouzet

IEEE Trans. Computers, 1995

1994

Distributed fault tolerance: lessons from Delta-4.

David Powell

IEEE Micro, 1994

1993

Fault Injection and Dependability Evaluation of Fault-Tolerant Systems.

Jean Arlat, Alain Costes, Yves Crouzet, Jean-Claude Laprie, David Powell

IEEE Trans. Computers, 1993

Distributed Fault Tolerance - Lessons Learned from Delta-4.

David Powell

Proceedings of the Hardware and Software Architectures for Fault Tolerance, 1993

SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems.

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

Proceedings of the Digest of Papers: FTCS-23, 1993

1992

Failure Mode Assumptions and Assumption Coverage.

David Powell

Proceedings of the Digest of Papers: FTCS-22, 1992

Active Replication in Delta-4.

Marc Chérèque, David Powell, Philippe Reynier, Jean-Luc Richier, Jacques Voiron

Proceedings of the Digest of Papers: FTCS-22, 1992

1991

Fault-Tolerance in Delta-4.

David Powell, Marc Chérèque, David Drackley

ACM SIGOPS Oper. Syst. Rev., 1991

Dependability Evaluation of Bus and Ring Communication Topologies for the Delta-4 Distributed Fault-Tolerant Architecture.

Karama Kanoun, David Powell

Proceedings of the Tenth Symposium on Reliable Distributed Systems, 1991

1990

Fault Injection for Dependability Validation: A Methodology and Some Applications.

Jean Arlat, Martine Aguera, Louis Amat, Yves Crouzet, Jean-Charles Fabre, Jean-Claude Laprie, Eliane Martins, David Powell

IEEE Trans. Software Eng., 1990

1988

The Delta-4 approach to dependability in open distributed computing systems.

David Powell, Gottfried Bonn, Douglas T. Seaton, Paulo Veríssimo, F. Waeselynck

Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988

Saturation: reduced idleness for improved fault-tolerance.

Jean-Claude Fabre, Yves Deswarte, Jean-Claude Laprie, David Powell

Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988

1986

A Saturation Network to Tolerate Faults and Intrusions.

Yves Deswarte, Jean-Charles Fabre, Jean-Claude Laprie, David Powell

Proceedings of the Fifth Symposium on Reliability in Distributed Software and Database Systems, 1986

Intrusion-Tolerance Using Fine-Grain Fragmentation-Scattering.

J.-M. Fray, Yves Deswarte, David Powell

Proceedings of the 1986 IEEE Symposium on Security and Privacy, 1986