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 | 906 | 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 | 628 | 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 | 552 | 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 | 319 | 1993 |
Guide de la sûreté de fonctionnement JC Laprie, J Arlat Editions Cépaduès, 1995 | 301 | 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 | 268 | 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 | 244 | 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 |
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 | 183 | 1996 |
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 | 182 | 1998 |
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 | 173 | 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 | 131 | 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 | 120 | 1999 |
Hardware-and software-fault tolerance JC Laprie, J Arlat, C Béounes, K Kanoun ESPRIT’90: Proceedings of the Annual ESPRIT Conference Brussels, November 12 …, 1990 | 120 | 1990 |
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 | 114 | 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 | 84 | 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 | 83 | 1980 |