| 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 | 864 | 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 | 605 | 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 | 537 | 1990 |
| Guide de la sûreté de fonctionnement J Arlat, JC Laprie Editions Cépaduès, 1995 | 308 | 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 | 306 | 1993 |
| 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 | 258 | 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 | 228 | 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 | 180 | 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 | 179 | 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 | 163 | 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 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 | 133 | 1993 |
| MAFALDA: Microkernel Assessment by fault injection and design aid M Rodríguez, F Salles, JC Fabre, J Arlat Dependable Computing—EDCC-3: Third European Dependable Computing Conference …, 2000 | 117 | 2000 |
| 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 |
| 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 | 114 | 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 | 96 | 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 | 82 | 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 | 81 | 1980 |
Karama KanounLAASGeverifieerd e-mailadres voor laas.fr
