Follow
Jean Arlat
Title
Cited by
Cited by
Year
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
9061990
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
6301995
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
5541995
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
3191993
Guide de la sûreté de fonctionnement
JC Laprie, J Arlat
Editions Cépaduès, 1995
3001995
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
2682003
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
2441989
Dependability of COTS microkernel-based systems
J Arlat, JC Fabre, M Rodríguez
IEEE Transactions on computers 51 (2), 138-163, 2002
2302002
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
1831996
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
1821998
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
1731999
Dependability modeling and evaluation of software fault-tolerant systems
J Arlat, K Kanoun, JC Laprie
IEEE Transactions on Computers 39 (4), 504-513, 1990
1501990
Estimators for fault tolerance coverage evaluation
D Powell, E Martins, J Arlat, Y Crouzet
IEEE Transactions on Computers 44 (2), 261-274, 1995
1431995
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
1311993
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
1201999
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
1201990
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
1142004
Assessment of COTS microkernels by fault injection
JC Fabre, F Salles, MR Moreno, J Arlat
Dependable Computing for Critical Applications 7, 25-44, 1999
981999
Metakernels and fault containment wrappers
F Salles, M Rodriguez, JC Fabre, J Arlat
Digest of Papers. Twenty-Ninth Annual International Symposium on Fault …, 1999
841999
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
831980
The system can't perform the operation now. Try again later.
Articles 1–20