2008 |
42 | | Youssef Laarouchi,
Yves Deswarte,
David Powell,
Jean Arlat:
Safety and Security Architectures for Avionics.
DCSOFT 2008: 46-52 |
41 | EE | Jean Arlat,
Cristian Constantinescu,
Ravishankar K. Iyer,
Michael Nicolaidis:
Second workshop on dependable and secure nanocomputing.
DSN 2008: 546-547 |
40 | EE | Arnaud Albinet,
Jean Arlat,
J. Fabre:
Robustesse des logiciels exécutifs. Caractérisation de l'impact de pilotes défaillants par injection de fautes.
Technique et Science Informatiques 27(9-10): 1253-1286 (2008) |
2007 |
39 | EE | Jean Arlat,
Ravishankar K. Iyer,
Michael Nicolaidis:
Workshop on Dependable and Secure Nanocomputing.
DSN 2007: 809-810 |
38 | EE | Jean Arlat:
Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing?
LADC 2007: 3-6 |
2006 |
37 | EE | Jean Arlat,
Andrea Bondavalli,
Boudewijn R. Haverkort,
Paulo Veríssimo:
Guest Editorial for the Special Issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the Dependable Computing and Communications and Performance and Dependability Symposia.
IEEE Trans. Dependable Sec. Comput. 3(3): 169-171 (2006) |
2005 |
36 | EE | Yves Crouzet,
Jacques Collet,
Jean Arlat:
Mitigating Soft Errors to Prevent a Hard Threat to Dependable Computing.
IOLTS 2005: 295-298 |
2004 |
35 | EE | Ali Kalakech,
Karama Kanoun,
Yves Crouzet,
Jean Arlat:
Benchmarking The Dependability of Windows NT4, 2000 and XP.
DSN 2004: 681-686 |
34 | EE | Arnaud Albinet,
Jean Arlat,
Jean-Charles Fabre:
Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel.
DSN 2004: 867-876 |
33 | EE | Ali Kalakech,
Tahar Jarboui,
Jean Arlat,
Yves Crouzet,
Karama Kanoun:
Benchmarking Operating System Dependability: Windows 2000 as a Case Study.
PRDC 2004: 261-270 |
32 | | Manuel Rodríguez,
Jean-Charles Fabre,
Jean Arlat:
Empaquetâches de tolérance aux fautes pour les systèmes temps réel.
Technique et Science Informatiques 23(4): 479-514 (2004) |
2003 |
31 | EE | Manuel Rodríguez,
Jean-Charles Fabre,
Jean Arlat:
Building SWIFI Tools from Temporal Logic Specifications.
DSN 2003: 95-104 |
30 | EE | Jean Arlat,
Yves Crouzet,
Johan Karlsson,
Peter Folkesson,
Emmerich Fuchs,
Günther H. Leber:
Comparison of Physical and Software-Implemented Fault Injection Techniques.
IEEE Trans. Computers 52(9): 1115-1133 (2003) |
2002 |
29 | | Eric Marsden,
Nicolas Perrot,
Jean-Charles Fabre,
Jean Arlat:
Dependability Characterization of Middleware Services.
DIPES 2002: 121-130 |
28 | EE | Manuel Rodríguez,
Arnaud Albinet,
Jean Arlat:
MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems.
DSN 2002: 267-272 |
27 | EE | Tahar Jarboui,
Jean Arlat,
Yves Crouzet,
Karama Kanoun:
Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques.
DSN 2002: 331-336 |
26 | EE | Manuel Rodríguez,
Jean-Charles Fabre,
Jean Arlat:
Wrapping Real-Time Systems from Temporal Logic Specifications.
EDCC 2002: 253-270 |
25 | EE | Jean Arlat:
From Experimental Assessment of Fault-Tolerant Systems to Dependability Benchmarking.
IPDPS 2002 |
24 | EE | Tahar Jarboui,
Jean Arlat,
Yves Crouzet,
Karama Kanoun,
Thomas Marteau:
Analysis of the Effects of Real and Injected Software Faults: .
PRDC 2002: 51-58 |
23 | EE | Eric Marsden,
Jean-Charles Fabre,
Jean Arlat:
Dependability of CORBA Systems: Service Characterization by Fault Injection.
SRDS 2002: 276-285 |
22 | EE | Jean Arlat,
Jean-Charles Fabre,
Manuel Rodríguez,
Frédéric Salles:
Dependability of COTS Microkernel-Based Systems.
IEEE Trans. Computers 51(2): 138-163 (2002) |
2001 |
21 | EE | Mohamed Kaâniche,
Yannick Le Guédart,
Jean Arlat,
Thierry Boyer:
An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models.
SAFECOMP 2001: 130-144 |
2000 |
20 | EE | Jean-Charles Fabre,
Manuel Rodríguez,
Jean Arlat,
J.-M. Sizun:
Building dependable COTS microkernel-based systems using MAFALDA.
PRDC 2000: 85-94 |
1999 |
19 | EE | Manuel Rodríguez,
Frédéric Salles,
Jean-Charles Fabre,
Jean Arlat:
MAFALDA: Microkernel Assessment by Fault Injection and Design Aid.
EDCC 1999: 143-160 |
18 | EE | Frédéric Salles,
Manuel Rodríguez,
Jean-Charles Fabre,
Jean Arlat:
MetaKernels and Fault Containment Wrappers.
FTCS 1999: 22-29 |
17 | | Michel Cukier,
David Powell,
Jean Arlat:
Coverage Estimation Methods for Stratified Fault Injection.
IEEE Trans. Computers 48(7): 707-723 (1999) |
16 | EE | David Powell,
Jean Arlat,
Ljerka Beus-Dukic,
Andrea Bondavalli,
P. Coppola,
Alessandro Fantechi,
Eric Jenn,
Christophe Rabéjac,
Andy J. Wellings:
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems.
IEEE Trans. Parallel Distrib. Syst. 10(6): 580-599 (1999) |
1997 |
15 | EE | D. Essame,
Jean Arlat,
David Powell:
Available fail-safe systems.
FTDCS 1997: 176-182 |
14 | EE | Frédéric Salles,
Jean Arlat,
Jean-Charles Fabre:
Can we rely on COTS microkernels for building fault-tolerant systems?
FTDCS 1997: 189-195 |
1996 |
13 | | David Powell,
Michel Cukier,
Jean Arlat:
On Stratified Sampling for High Coverage Estimations.
EDCC 1996: 37-54 |
12 | | Jean Arlat,
Nobuyasu Kanekawa,
Arturo M. Amendola,
Jean-Luis Dufour,
Yuji Hirao,
Joseph A. Profeta III:
Dependability of Railway Control Systems.
FTCS 1996: 150-155 |
1995 |
11 | | Tullio Vardanega,
P. David,
J.-F. Chane,
W. Mader,
R. Messaros,
Jean Arlat:
On the Development of Fault-Tolerant On-Board Control Software and its Evaluation by Fault Injection.
FTCS 1995: 510-515 |
10 | | David Powell,
Eliane Martins,
Jean Arlat,
Yves Crouzet:
Estimators for Fault Tolerance Coverage Evaluation.
IEEE Trans. Computers 44(2): 261-274 (1995) |
1994 |
9 | | Eric Jenn,
Jean Arlat,
Marcus Rimén,
Joakim Ohlsson,
Johan Karlsson:
Fault Injection into VHDL Models: The MEFISTO Tool.
FTCS 1994: 66-75 |
1993 |
8 | | David Powell,
Eliane Martins,
Jean Arlat,
Yves Crouzet:
Estimators for Fault Tolerance Coverage Evaluation.
FTCS 1993: 228-237 |
7 | | C. Béoumes,
Karama Kanoun,
Martine Aguera,
Jean-Claude Laprie,
Jean Arlat,
Sylvain Metge,
S. Bachmann,
Jorge Moreira de Souza,
C. Bourdeau,
David Powell,
J.-E. Doucet,
P. Spiesser:
SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems.
FTCS 1993: 668-673 |
6 | | Jean Arlat,
Alain Costes,
Yves Crouzet,
Jean-Claude Laprie,
David Powell:
Fault Injection and Dependability Evaluation of Fault-Tolerant Systems.
IEEE Trans. Computers 42(8): 913-923 (1993) |
1992 |
5 | | Dimiter R. Avresky,
Jean Arlat,
Jean-Claude Laprie,
Yves Crouzet:
Fault Injection for the Formal Testing of Fault Tolerance.
FTCS 1992: 345-354 |
1990 |
4 | | Jean-Claude Laprie,
Jean Arlat,
Christian Béounes,
Karama Kanoun:
Definition and Analysis of Hardware- and Software-Fault-Tolerant Architectures.
IEEE Computer 23(7): 39-51 (1990) |
3 | | Jean Arlat,
Karama Kanoun,
Jean-Claude Laprie:
Dependability Modeling and Evaluation of Software Fault-Tolerant Systems.
IEEE Trans. Computers 39(4): 504-513 (1990) |
2 | EE | Jean Arlat,
Martine Aguera,
Louis Amat,
Yves Crouzet,
Jean-Charles Fabre,
Jean-Claude Laprie,
Eliane Martins,
David Powell:
Fault Injection for Dependability Validation: A Methodology and Some Applications.
IEEE Trans. Software Eng. 16(2): 166-182 (1990) |
1984 |
1 | | Jean Arlat,
William C. Carter:
Implementation and Evaluation of a (b, k)-Adjacent Error-Correcting/Detecting Scheme for Supercomputer Systems.
IBM Journal of Research and Development 28(2): 159-169 (1984) |