Dependable Computing for Critical Applications 7
Latest Publications

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By IEEE

0769502849

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal verification for time-triggered clock synchronization

Dependable Computing for Critical Applications 7 ◽

10.1109/dcfts.1999.814297 ◽

2003 ◽

Author(s):

H. Pfeifer ◽

D. Schwier ◽

F.W. von Henke

Keyword(s):

Formal Verification ◽

Clock Synchronization

Download Full-text

Minimalist recovery techniques for single event effects in spaceborne microcontrollers

Dependable Computing for Critical Applications 7 ◽

10.1109/dcfts.1999.814289 ◽

2003 ◽

Author(s):

D.W. Caldwell ◽

D.A. Rennels

Keyword(s):

Single Event ◽

Single Event Effects ◽

Recovery Techniques

Download Full-text

Assessment of COTS microkernels by fault injection

Dependable Computing for Critical Applications 7 ◽

10.1109/dcfts.1999.814288 ◽

2003 ◽

Author(s):

J.-C. Fabre ◽

F. Salles ◽

M.R. Moreno ◽

J. Arlat

Keyword(s):

Fault Injection

Download Full-text

Dependability modeling and evaluation of phased mission systems: a DSPN approach

Dependable Computing for Critical Applications 7 ◽

10.1109/dcfts.1999.814303 ◽

2003 ◽

Author(s):

I. Mural ◽

A. Bondavalli ◽

X. Zang ◽

K.S. Trivedi

Download Full-text

PADRE: a Protocol for Asymmetric Duplex REdundancy

Dependable Computing for Critical Applications 7 ◽

10.1109/dcfts.1999.814298 ◽

2003 ◽

Author(s):

D. Essame ◽

J. Arlat ◽

D. Powell

Download Full-text

Improving performance of atomic broadcast protocols using the newsmonger technique

Dependable Computing for Critical Applications 7 ◽

10.1109/dcfts.1999.814295 ◽

2003 ◽

Author(s):

S. Mishra ◽

S.M. Kuntur

Keyword(s):

Atomic Broadcast

Download Full-text

Formal description and validation for an integrity policy supporting multiple levels of criticality

Dependable Computing for Critical Applications 7 ◽

10.1109/dcfts.1999.814293 ◽

2003 ◽

Author(s):

A. Fantechi ◽

S. Gnesi ◽

L. Semini

Keyword(s):

Formal Description ◽

Multiple Levels

Download Full-text

A model of cooperative noninterference for integrated modular avionics

Dependable Computing for Critical Applications 7 ◽

10.1109/dcfts.1999.814300 ◽

2003 ◽

Author(s):

B.L. Di Vito

Keyword(s):

Integrated Modular Avionics

Download Full-text

A methodology for proving control systems with Lustre and PVS

Dependable Computing for Critical Applications 7 ◽

10.1109/dcfts.1999.814291 ◽

2003 ◽

Author(s):

S. Bensalem ◽

P. Caspi ◽

C. Parent-Vigouroux ◽

C. Dumas

Keyword(s):

Control Systems

Download Full-text

Dependability evaluation using a multi-criteria decision analysis procedure

Dependable Computing for Critical Applications 7 ◽

10.1109/dcfts.1999.814305 ◽

2003 ◽

Author(s):

D. Prasad ◽

J. McDermid

Keyword(s):

Decision Analysis ◽

Analysis Procedure ◽

Multi Criteria Decision Analysis ◽

Dependability Evaluation

Download Full-text