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 | 895 | 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 | 624 | 1995 |
Definition and analysis of hardware-and-software fault-tolerant architectures JC Laprie, J Arlat, C Beounes, K Kanoun Predictably Dependable Computing Systems, 103-122, 1995 | 549 | 1995 |
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 | 318 | 1993 |
Guide de la sûreté de fonctionnement J Arlat, JC Laprie Editions Cépaduès, 1995 | 307 | 1995 |
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 | 266 | 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 | 241 | 1989 |
Dependability of COTS microkernel-based systems J Arlat, JC Fabre, M Rodríguez IEEE Transactions on computers 51 (2), 138-163, 2002 | 231 | 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 | 181 | 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 | 181 | 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 | 172 | 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 | 150 | 1990 |
Estimators for fault tolerance coverage evaluation D Powell, E Martins, J Arlat, Y Crouzet IEEE Transactions on Computers 44 (2), 261-274, 1995 | 143 | 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 | 132 | 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 | 121 | 1999 |
Hardware and software fault tolerance: Definition and analysis of architectural solutions JC Laprie, J Arlat, C Béounes, K Kanoun, C Hourtolle Proc. 17th Int. Symposium on Fault-Tolerant Computing, 116-121, 1987 | 117 | 1987 |
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 | 113 | 2004 |
Assessment of COTS microkernels by fault injection JC Fabre, F Salles, MR Moreno, J Arlat Dependable Computing for Critical Applications 7, 25-44, 1999 | 98 | 1999 |
Metakernels and fault containment wrappers F Salles, M Rodriguez, JC Fabre, J Arlat Digest of Papers. Twenty-Ninth Annual International Symposium on Fault …, 1999 | 86 | 1999 |
On the performance of software fault tolerance strategies A Grnarov, J Arlat, A Avizienis Proc. 10th IEEE Int. Symp. Fault-Tolerant Computing, 251-253, 1980 | 80 | 1980 |