D. Powell

发表

The Delta-4 Approach to Dependability in Open Distributed Computing Systems

D. Powell, G. Bonn, Dt Seaton, 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..

Conceptual Model and Architecture of MAFTIA

Sadie Creese, Brian Randell, Paulo Veríssimo, 2003 .

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

Yves Deswarte, David Powell, Vincent Nicomette, 2001, E-smart.

A fault- and intrusion- tolerant file system

David Powell, Joni da Silva Fraga, D. Powell, 1985 .

Final Version of DSoS Conceptual Model (CSDA1)

Issarny, H. Kopetz, D. Powell, 2003 .

Conceptual Model and Architecture

Marc Dacier, Sadie Creese, Birgit Pfitzmann, 2001 .

ENSURING SAFETY AND SECURITY FOR AVIONICS : A CASE STUDY

Jean Arlat, Yves Deswarte, David Powell, 2009 .

Secure architecture for information systems in avionics

D. Powell, Y. Deswarte, J. Arlat, 2019 .

Frequentist and Bayesian Coverage Estimations for Stratified Fault-Injection *

D. Powell, J. Arlat, M. Cukier, 1996 .

Failure mode assumptions and assumption coverage

David Powell, D. Powell, 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.

Conceptual Model and Architecture iii List of Contributors

D. Powell, R. Stroud, 1999 .

Revised Version of DSoS Conceptual Model

Cliff B. Jones, Brian Randell, Hermann Kopetz, 2001 .

Validation of Fault Tolerance and Timing Properties Validation of Fault Tolerance and Timing Properties

D. Powell, M. Goldsmith, N. Moffat, 2022 .

MAFTIA: Reference Model and Use Cases

Birgit Pfitzmann, John E. Dobson, Paulo Veríssimo, 2000 .

Characterization of Hypervisors for Security-Enhanced Avionics Applications

Jean Arlat, Yves Deswarte, David Powell, 2011 .

Ultra-Dependable and Real-Time Systems: The GUARDS Approach

Jean Arlat, Andrea Bondavalli, Felicita Di Giandomenico, 1997 .

MAFTIA Conceptual Model and Architecture

Sadie Creese, Birgit Pfitzmann, Brian Randell, 2001 .

Mailicious- and Accidental- Fault Tolerance for Internet Applications (MAFTIA) : Reference Model and Use Cases

Marc Dacier, Birgit Pfitzmann, John E. Dobson, 2000 .

Dependable Computing--EDCC-1: Proceedings of the First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994

Dieter Hammer, Klaus Echtle, David Powell, 1994 .

MAFTIA (Malicious− and Accidental− Fault Tolerance for Internet Applications

Marc Dacier, Sadie Creese, Birgit Pfitzmann, 2001 .

Coverage Estimation Methods for Stratified Fault Injection

Jean Arlat, Michel Cukier, David Powell, 1999, IEEE Trans. Computers.

Design of an Intrusion-Tolerant Intrusion Detection System

Marc Dacier, Klaus Kursawe, Andreas Wespi, 2002 .

Estimation of Time-Dependent Coverage

Jean Arlat, Yves Crouzet, Michel Cukier, 1996 .

Fault Injection for Dependability Validation: A Methodology and Some Applications

Jean Arlat, Yves Crouzet, Eliane Martins, 1990, IEEE Trans. Software Eng..

A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems

David Powell, D. Powell, 2001, Springer US.

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

Paulo Veríssimo, Douglas T. Seaton, David Powell, 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

Real-time scheduling in a generic fault-tolerant architecture

Andy J. Wellings, Ljerka Beus-Dukic, David Powell, 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

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

Andy J. Wellings, Jean Arlat, Andrea Bondavalli, 1997, IEEE Trans. Parallel Distributed Syst..

Internet Security: An Intrusion-Tolerance Approach

Yves Deswarte, David Powell, D. Powell, 2006, Proceedings of the IEEE.

Intrusion tolerance for Internet applications

Yves Deswarte, David Powell, D. Powell, 2004, Third IEEE International Symposium on Network Computing and Applications, 2004. (NCA 2004). Proceedings..

Distributed fault tolerance: lessons from Delta-4

David Powell, D. Powell, 1994, IEEE Micro.

Fault Injection and Dependability Evaluation of Fault-Tolerant Systems

Jean Arlat, Yves Crouzet, Jean-Claude Laprie, 1993, IEEE Trans. Computers.

Failure mode assumptions and assumption coverage

D. Powell, 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.

Integrity management in GUARDS

Andy Wellings, Yves Deswarte, Eric Totel, 2009 .

Estimators for fault tolerance coverage evaluation

Jean Arlat, Yves Crouzet, Eliane Martins, 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.

Fault Tolerant Computing

D. Powell, Y. Deswarte, J. Laprie, 1999 .

SURF-2: A program for dependability evaluation of complex hardware and software systems

Jean Arlat, Sylvain Metge, Jean-Claude Laprie, 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.

Fault-tolerance in Delta-4

David Powell, Marc Chérèque, David Drackley, 1991, OPSR.

Active replication in Delta-4

P. Reynier, D. Powell, M. Chereque, 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.

Fault Tolerant Computing

D. Powell, Y. Deswarte, J. Laprie, 1999 .

Intrusion Tolerance for Unclassified Networked Systems

Yves Deswarte, David Powell, D. Powell, 2004 .

Reference Model and Use Cases

Marc Dacier, Birgit Pfitzmann, John E. Dobson, 2000 .

Delta-4: A Generic Architecture for Dependable Distributed Computing

I. Bey, D. Powell, J. Leuridan, 1991, Research Reports ESPRIT.

A hybrid approach for building eventually accurate failure detectors

Achour Mostéfaoui, Michel Raynal, David Powell, 2004, 10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings..