Predictably Dependable Computing Systems
Latest Publications

TOTAL DOCUMENTS

31
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642797910, 9783642797897
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

From Recovery Blocks to Concurrent Atomic Actions

1995 ◽  
pp. 87-101 ◽  
Author(s):  
Brian Randell ◽  
Alexander Romanovsky ◽  
Cecilia M. F. Rubira ◽  
Robert J. Stroud ◽  
Zhixue Wu ◽  
...  
Keyword(s):  
Atomic Actions ◽  
Recovery Blocks

Estimators for Fault Tolerance Coverage Evaluation

1995 ◽  
pp. 347-366
Author(s):  
David Powell ◽  
Eliane Martins ◽  
Jean Arlat ◽  
Yves Crouzet
Keyword(s):  
Fault Tolerance

Integration and Comparison of Three Physical Fault Injection Techniques

1995 ◽  
pp. 309-327 ◽  
Author(s):  
Johan Karlsson ◽  
Peter Folkesson ◽  
Jean Arlat ◽  
Yves Crouzet ◽  
Günther Leber
Keyword(s):  
Fault Injection ◽  
Injection Techniques

Rational Design of Multiple-Redundant Systems: Adjudication and Fault Treatment

1995 ◽  
pp. 141-154 ◽  
Author(s):  
Andrea Bondavalli ◽  
Silvano Chiaradonna ◽  
Felicita Di Giandomenico ◽  
Lorenzo Strigini
Keyword(s):  
Rational Design ◽  
Redundant Systems

Definition and Analysis of Hardware-and-Software Fault-Tolerant Architectures

1995 ◽  
pp. 103-122 ◽  
Author(s):  
Jean-Claude Laprie ◽  
Jean Arlat ◽  
Christian Béounes ◽  
Karama Kanoun
Keyword(s):  
Fault Tolerant ◽  
Software Fault

An Experimental Evaluation of Formal Testing and Statistical Testing

1995 ◽  
pp. 273-281
Author(s):  
Bruno Marre ◽  
Pascale Thévenod-Fosse ◽  
Hélène Waeselynck ◽  
Pascale Le Gall ◽  
Yves Crouzet
Keyword(s):  
Experimental Evaluation ◽  
Statistical Testing ◽  
Formal Testing
Load More ...
Sign in / Sign up

Export Citation Format

Share Document