dblp.uni-trier.dewww.uni-trier.de

Jean Arlat

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
42 Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat: Safety and Security Architectures for Avionics. DCSOFT 2008: 46-52
41EEJean Arlat, Cristian Constantinescu, Ravishankar K. Iyer, Michael Nicolaidis: Second workshop on dependable and secure nanocomputing. DSN 2008: 546-547
40EEArnaud 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
39EEJean Arlat, Ravishankar K. Iyer, Michael Nicolaidis: Workshop on Dependable and Secure Nanocomputing. DSN 2007: 809-810
38EEJean Arlat: Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing? LADC 2007: 3-6
2006
37EEJean 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
36EEYves Crouzet, Jacques Collet, Jean Arlat: Mitigating Soft Errors to Prevent a Hard Threat to Dependable Computing. IOLTS 2005: 295-298
2004
35EEAli Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat: Benchmarking The Dependability of Windows NT4, 2000 and XP. DSN 2004: 681-686
34EEArnaud Albinet, Jean Arlat, Jean-Charles Fabre: Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel. DSN 2004: 867-876
33EEAli 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
31EEManuel Rodríguez, Jean-Charles Fabre, Jean Arlat: Building SWIFI Tools from Temporal Logic Specifications. DSN 2003: 95-104
30EEJean 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
28EEManuel Rodríguez, Arnaud Albinet, Jean Arlat: MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems. DSN 2002: 267-272
27EETahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun: Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques. DSN 2002: 331-336
26EEManuel Rodríguez, Jean-Charles Fabre, Jean Arlat: Wrapping Real-Time Systems from Temporal Logic Specifications. EDCC 2002: 253-270
25EEJean Arlat: From Experimental Assessment of Fault-Tolerant Systems to Dependability Benchmarking. IPDPS 2002
24EETahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau: Analysis of the Effects of Real and Injected Software Faults: . PRDC 2002: 51-58
23EEEric Marsden, Jean-Charles Fabre, Jean Arlat: Dependability of CORBA Systems: Service Characterization by Fault Injection. SRDS 2002: 276-285
22EEJean 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
21EEMohamed 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
20EEJean-Charles Fabre, Manuel Rodríguez, Jean Arlat, J.-M. Sizun: Building dependable COTS microkernel-based systems using MAFALDA. PRDC 2000: 85-94
1999
19EEManuel Rodríguez, Frédéric Salles, Jean-Charles Fabre, Jean Arlat: MAFALDA: Microkernel Assessment by Fault Injection and Design Aid. EDCC 1999: 143-160
18EEFré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)
16EEDavid 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
15EED. Essame, Jean Arlat, David Powell: Available fail-safe systems. FTDCS 1997: 176-182
14EEFré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)
2EEJean 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)

Coauthor Index

1Martine Aguera [2] [7]
2Arnaud Albinet [28] [34] [40]
3Louis Amat [2]
4Arturo M. Amendola [12]
5Dimiter R. Avresky [5]
6S. Bachmann [7]
7C. Béoumes [7]
8Christian Béounes [4]
9Ljerka Beus-Dukic [16]
10Andrea Bondavalli [16] [37]
11C. Bourdeau [7]
12Thierry Boyer [21]
13William C. Carter [1]
14J.-F. Chane [11]
15Jacques Collet [36]
16Cristian Constantinescu [41]
17P. Coppola [16]
18Alain Costes [6]
19Yves Crouzet [2] [5] [6] [8] [10] [24] [27] [30] [33] [35] [36]
20Michel Cukier [13] [17]
21P. David [11]
22Yves Deswarte [42]
23J.-E. Doucet [7]
24Jean-Luis Dufour [12]
25D. Essame [15]
26J. Fabre [40]
27Jean-Charles Fabre [2] [14] [18] [19] [20] [22] [23] [26] [29] [31] [32] [34]
28Alessandro Fantechi [16]
29Peter Folkesson [30]
30Emmerich Fuchs [30]
31Yannick Le Guédart [21]
32Boudewijn R. Haverkort [37]
33Yuji Hirao [12]
34Ravishankar K. Iyer (Ravi K. Iyer) [39] [41]
35Tahar Jarboui [24] [27] [33]
36Eric Jenn [9] [16]
37Mohamed Kaâniche [21]
38Ali Kalakech [33] [35]
39Nobuyasu Kanekawa [12]
40Karama Kanoun [3] [4] [7] [24] [27] [33] [35]
41Johan Karlsson [9] [30]
42Youssef Laarouchi [42]
43Jean-Claude Laprie [2] [3] [4] [5] [6] [7]
44Günther H. Leber [30]
45W. Mader [11]
46Eric Marsden [23] [29]
47Thomas Marteau [24]
48Eliane Martins [2] [8] [10]
49R. Messaros [11]
50Sylvain Metge [7]
51Michael Nicolaidis [39] [41]
52Joakim Ohlsson [9]
53Nicolas Perrot [29]
54David Powell [2] [6] [7] [8] [10] [13] [15] [16] [17] [42]
55Joseph A. Profeta III [12]
56Christophe Rabéjac [16]
57Marcus Rimén [9]
58Manuel Rodríguez [18] [19] [20] [22] [26] [28] [31] [32]
59Frédéric Salles [14] [18] [19] [22]
60J.-M. Sizun [20]
61Jorge Moreira de Souza [7]
62P. Spiesser [7]
63Tullio Vardanega [11]
64Paulo Veríssimo [37]
65Andy J. Wellings [16]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)