David Powell

According to our database1, David Powell authored at least 54 papers between 1986 and 2020.

Collaborative distances:



In proceedings 
PhD thesis 


On csauthors.net:


Can an algorithmic system be a 'friend' to a police officer's discretion?: ACM FAT 2020 translation tutorial.
Proceedings of the FAT* '20: Conference on Fairness, 2020

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

Model-Checking and Game theory for Synthesis of Safety Rules.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Specifying Safety Monitors for Autonomous Systems Using Model-Checking.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Model-based safety analysis of human-robot interactions: The MIRAS walking assistance robot.
Proceedings of the IEEE 13th International Conference on Rehabilitation Robotics, 2013

Safety Trigger Conditions for Critical Autonomous Systems.
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.
Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012

AMORES: an architecture for mobiquitous resilient systems.
Proceedings of the 1st European Workshop on AppRoaches to MObiquitous Resilience, 2012

Intrusion-tolerant fine-grained authorization for Internet applications.
J. Syst. Archit., 2011

Tolerance of Design Faults.
Proceedings of the Dependable and Historic Computing, 2011

A UML-based method for risk analysis of human-robot interactions.
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010

Experience with Model-Based User-Centered Risk Assessment for Service Robots.
Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

Enhancing dependability in avionics using virtualization.
Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems, 2009

Geo-registers: An Abstraction for Spatial-Based Distributed Computing.
Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

Safety and Security Architectures for Avionics.
Proceedings of the DCSOFT 2008, 2008

Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices.
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.
Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007

Fault Tolerant Planning for Critical Robots.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

Planning with Diversified Models for Fault-Tolerant Robots.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

EST-PAC a web package for EST annotation and protein sequence prediction.
Source Code Biol. Medicine, 2006

Internet Security: An Intrusion-Tolerance Approach.
Proc. IEEE, 2006

Intrusion-tolerant middleware: the road to automatic security.
IEEE Secur. Priv., 2006

Storage Tradeoffs in a Collaborative Backup Service for Mobile Devices.
Proceedings of the Sixth European Dependable Computing Conference, 2006

Sauvegarde coopérative entre pairs pour dispositifs mobiles.
Proceedings of the Actes des 2èmes journées francophones Mobilité et Ubiquité 2005, 2005

Solaris Service Management Facility: Modern System Startup and Administration.
Proceedings of the 19th Conference on Systems Administration (LISA 2005), 2005

A Hybrid Approach for Building Eventually Accurate Failure Detectors.
Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 2004

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

Collaborative backup for dependable mobile applications.
Proceedings of the 2nd Workshop on Middleware for Pervasive and Ad-hoc Computing, 2004

An Internet Authorization Scheme Using Smart-Card-Based Security Kernels.
Proceedings of the Smart Card Programming and Security, 2001

GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems.
IEEE Trans. Parallel Distributed Syst., 1999

Coverage Estimation Methods for Stratified Fault Injection.
IEEE Trans. Computers, 1999

Land-vehicle navigation using GPS.
Proc. IEEE, 1999

COTS Hardware and Software in High-Availability Systems (Panel).
Proceedings of the Digest of Papers: FTCS-29, 1999

Fault Avoidance and Fault Removal in Real-Time Systems & Fault-Tolerant Computing - Introduction.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

Real-Time Scheduling in a Generic Fault-Tolerant Architecture.
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

State Restoration in a COTS-Based N-Modular Architecture.
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

Supporting Multiple Levels of Criticality.
Proceedings of the Digest of Papers: FTCS-28, 1998

Available fail-safe systems.
Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

Group Communication (Introduction to the Special Section).
Commun. ACM, 1996

On Stratified Sampling for High Coverage Estimations.
Proceedings of the Dependable Computing, 1996

Estimators for Fault Tolerance Coverage Evaluation.
IEEE Trans. Computers, 1995

Distributed fault tolerance: lessons from Delta-4.
IEEE Micro, 1994

Fault Injection and Dependability Evaluation of Fault-Tolerant Systems.
IEEE Trans. Computers, 1993

Distributed Fault Tolerance - Lessons Learned from Delta-4.
Proceedings of the Hardware and Software Architectures for Fault Tolerance, 1993

SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems.
Proceedings of the Digest of Papers: FTCS-23, 1993

Failure Mode Assumptions and Assumption Coverage.
Proceedings of the Digest of Papers: FTCS-22, 1992

Active Replication in Delta-4.
Proceedings of the Digest of Papers: FTCS-22, 1992

Fault-Tolerance in Delta-4.
ACM SIGOPS Oper. Syst. Rev., 1991

Dependability Evaluation of Bus and Ring Communication Topologies for the Delta-4 Distributed Fault-Tolerant Architecture.
Proceedings of the Tenth Symposium on Reliable Distributed Systems, 1991

Fault Injection for Dependability Validation: A Methodology and Some Applications.
IEEE Trans. Software Eng., 1990

The Delta-4 approach to dependability in open distributed computing systems.
Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988

Saturation: reduced idleness for improved fault-tolerance.
Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988

A Saturation Network to Tolerate Faults and Intrusions.
Proceedings of the Fifth Symposium on Reliability in Distributed Software and Database Systems, 1986

Intrusion-Tolerance Using Fine-Grain Fragmentation-Scattering.
Proceedings of the 1986 IEEE Symposium on Security and Privacy, 1986