| 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 | 851 | 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 | 597 | 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 | 534 | 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 | 300 | 1993 |
| Guide de la sûreté de fonctionnement J Arlat, A Costes, JP Blanquart Cépaduès-éditions, 1996 | 290 | 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 | 252 | 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 | 236 | 1989 |
| Dependability of COTS microkernel-based systems J Arlat, JC Fabre, M Rodríguez IEEE Transactions on computers 51 (2), 138-163, 2002 | 224 | 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 | 176 | 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 | 164 | 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 | 144 | 1990 |
| Estimators for fault tolerance coverage evaluation D Powell, E Martins, J Arlat, Y Crouzet Predictably Dependable Computing Systems, 347-366, 1995 | 141 | 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 | 129 | 1993 |
| 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 |
| 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 | 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 |
| 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 |
| Metakernels and fault containment wrappers F Salles, M Rodriguez, JC Fabre, J Arlat Digest of Papers. Twenty-Ninth Annual International Symposium on Fault …, 1999 | 81 | 1999 |
Karama KanounLAASVerified email at laas.fr
