Dependable Computing for Critical Applications 7
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 25

Author(s):

H. Pfeifer ◽

D. Schwier ◽

F.W. von Henke

Keyword(s):

Formal Verification ◽

Clock Synchronization

Download Full-text

Assessment of COTS microkernels by fault injection

Dependable Computing for Critical Applications 7 ◽

10.1109/dcfts.1999.814288 ◽

2003 ◽

Cited By ~ 36

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 ◽

Cited By ~ 12

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 ◽

Cited By ~ 11

Author(s):

D. Essame ◽

J. Arlat ◽

D. Powell

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 ◽

Cited By ~ 3

Author(s):

D.W. Caldwell ◽

D.A. Rennels

Keyword(s):

Single Event ◽

Single Event Effects ◽

Recovery Techniques

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 ◽

Cited By ~ 1

Author(s):

S. Mishra ◽

S.M. Kuntur

Keyword(s):

Atomic Broadcast

Download Full-text

A model of cooperative noninterference for integrated modular avionics

Dependable Computing for Critical Applications 7 ◽

10.1109/dcfts.1999.814300 ◽

2003 ◽

Cited By ~ 5

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 ◽

Cited By ~ 20

Author(s):

S. Bensalem ◽

P. Caspi ◽

C. Parent-Vigouroux ◽

C. Dumas

Keyword(s):

Control Systems

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 ◽

Cited By ~ 5

Author(s):

A. Fantechi ◽

S. Gnesi ◽

L. Semini

Keyword(s):

Formal Description ◽

Multiple Levels

Download Full-text

A model of noninterference for integrating mixed-criticality software components

Dependable Computing for Critical Applications 7 ◽

10.1109/dcfts.1999.814302 ◽

2003 ◽

Cited By ~ 5

Author(s):

B. Dutertre ◽

V. Stavridou

Keyword(s):

Software Components ◽

Mixed Criticality

Download Full-text

Dependable Computing for Critical Applications 7Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Formal verification for time-triggered clock synchronization

Assessment of COTS microkernels by fault injection

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

PADRE: a Protocol for Asymmetric Duplex REdundancy

Minimalist recovery techniques for single event effects in spaceborne microcontrollers

Improving performance of atomic broadcast protocols using the newsmonger technique

A model of cooperative noninterference for integrated modular avionics

A methodology for proving control systems with Lustre and PVS

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

A model of noninterference for integrating mixed-criticality software components

Dependable Computing for Critical Applications 7
Latest Publications