David Powell

Publications

2.9K

Citations

H-Index

1986

Active since

Affiliations

Laboratoire d'Analyse et d'Architecture des Systèmes(Current)

Centre National de la Recherche Scientifique

Université Fédérale de Toulouse Midi-Pyrénées

Institut national de recherche en sciences et technologies du numérique

Université Toulouse III - Paul Sabatier

David Powell is an author at Laboratoire d'Analyse et d'Architecture des Systèmes specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringSystems EngineeringComputer ScienceFormal VerificationReliability EngineeringComputer EngineeringFault ToleranceSystem SoftwareVerificationHardware Security

Publications per year

1986–2015

Publications

Fault injection for dependability validation: a methodology and some applications

Jean Arlat, M. Ángeles López Aguera, L. Amat et al. · IEEE Transactions on Software Engineering · 1990 · 551 citations

Software Maintenance, Engineering, Verification +26

Safe and dependable physical human-robot interaction in anthropic domains: State of the art and challenges

Rachid Alami, Alin Albu‐Schäffer, Antonio Bicchi et al. · 2006 · 230 citations · Full text

Human-robot Collaborative Assembly, Engineering, Phridom Project +20

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

David Powell, Gottfried Bonn, DT Seaton et al. · 1988 · 209 citations

Cluster Computing, Availability, Engineering +23

Fault injection and dependability evaluation of fault-tolerant systems

Jean Arlat, Alain Costes, Yves Crouzet et al. · IEEE Transactions on Computers · 1993 · 205 citations

Engineering, Verification, Software Engineering +21

Failure mode assumptions and assumption coverage

David Powell · 2003 · 157 citations

Availability, Engineering, Verification +25

Rows per page

1–5 of 48