Fault injection for dependability validation: A methodology and some applications J Arlat, M Aguera, L Amat, Y Crouzet, JC Fabre, JC Laprie, E Martins, ... IEEE Transactions on software engineering 16 (2), 166-182, 1990 | 799 | 1990 |
Fault injection into VHDL models: the MEFISTO tool E Jenn, J Arlat, M Rimen, J Ohlsson, J Karlsson Predictably Dependable Computing Systems, 329-346, 1995 | 568 | 1995 |
Definition and analysis of hardware-and software-fault-tolerant architectures JC Laprie, J Arlat, C Beounes, K Kanoun Computer 23 (7), 39-51, 1990 | 502 | 1990 |
Fault injection and dependability evaluation of fault-tolerant systems J Arlat, A Costes, Y Crouzet, JC Laprie, D Powell IEEE Transactions on computers 42 (8), 913-923, 1993 | 288 | 1993 |
Guide de la sûreté de fonctionnement J Arlat, A Costes, JP Blanquart Cépaduès-éditions, 1996 | 266 | 1996 |
Comparison of physical and software-implemented fault injection techniques J Arlat, Y Crouzet, J Karlsson, P Folkesson, E Fuchs, GH Leber IEEE Transactions on Computers 52 (9), 1115-1133, 2003 | 238 | 2003 |
Fault injection for dependability validation of fault-tolerant computing systems J Arlat, Y Crouzet, JC Laprie 1989 The Nineteenth International Symposium on Fault-Tolerant Computing …, 1989 | 221 | 1989 |
Dependability of COTS microkernel-based systems J Arlat, JC Fabre, M Rodriguez IEEE Transactions on computers 51 (2), 138-163, 2002 | 209 | 2002 |
Application of three physical fault injection techniques to the experimental assessment of the MARS architecture J Karlsson, P Folkesson, J Arlat, Y Crouzet, G Leber, J Reisinger Dependable Computing and Fault Tolerant Systems 10, 267-288, 1998 | 171 | 1998 |
Fault injection for formal testing of fault tolerance D Avresky, J Arlat, JC Laprie, Y Crouzet IEEE Transactions on Reliability 45 (3), 443-455, 1996 | 166 | 1996 |
GUARDS: A generic upgradable architecture for real-time dependable systems D Powell, J Arlat, L Beus-Dukic, A Bondavalli, P Coppola, A Fantechi, ... IEEE Transactions on Parallel and Distributed Systems 10 (6), 580-599, 1999 | 161 | 1999 |
Dependability modeling and evaluation of software fault-tolerant systems J Arlat, K Kanoun, JC Laprie IEEE Transactions on Computers 39 (4), 504-513, 1990 | 136 | 1990 |
Estimators for fault tolerance coverage evaluation D Powell, E Martins, J Arlat, Y Crouzet IEEE Transactions on Computers 44 (2), 261-274, 1995 | 133 | 1995 |
SURF-2: A program for dependability evaluation of complex hardware and software systems C Béounes, M Aguéra, J Arlat, S Bachmann, C Bourdeau, JE Doucet, ... FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing …, 1993 | 125 | 1993 |
MAFALDA: Microkernel Assessment by fault injection and design aid M Rodríguez, F Salles, JC Fabre, J Arlat European Dependable Computing Conference, 143-160, 1999 | 115 | 1999 |
Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel A Albinet, J Arlat, JC Fabre International Conference on Dependable Systems and Networks, 2004, 867-876, 2004 | 109 | 2004 |
Hardware and software fault tolerance: Definition and analysis of architectural solutions JC Laprie, J Arlat, C Beounes, K Kanoun, C Hourtolle Proc. 17th Int. Symposium on Fault-Tolerant Computing, 116-121, 1987 | 105 | 1987 |
Assessment of COTS microkernels by fault injection JC Fabre, F Salles, MR Moreno, J Arlat Dependable Computing for Critical Applications 7, 25-44, 1999 | 89 | 1999 |
Experimental evaluation of the fault tolerance of an atomic multicast system J Arlat, M Aguera, Y Crouzet, JC Fabre, E Martins, D Powell IEEE Transactions on reliability 39 (4), 455-467, 1990 | 76 | 1990 |
Metakernels and fault containment wrappers F Salles, M Rodriguez, JC Fabre, J Arlat Digest of Papers. Twenty-Ninth Annual International Symposium on Fault …, 1999 | 74 | 1999 |