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

Jean Arlat Vis

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

*2008
43 Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat: Safety and Security Architectures for Avionics. DCSOFT 2008: 46-52
42EEJean Arlat, Cristian Constantinescu, Ravishankar K. Iyer, Michael Nicolaidis: Second workshop on dependable and secure nanocomputing. DSN 2008: 546-547
41EEArnaud 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
40EEJean Arlat, Ravishankar K. Iyer, Michael Nicolaidis: Workshop on Dependable and Secure Nanocomputing. DSN 2007: 809-810
39EEJean Arlat: Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing? LADC 2007: 3-6
2006
38EEAnis Youssef, Yves Crouzet, Agnan de Bonneval, Jean Arlat, Jean-Jacques Aubert, Patrice Brot: Communication Integrity in Networks for Critical Control Systems. EDCC 2006: 23-34
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
13EEDavid 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] [41]
3Louis Amat [2]
4Arturo M. Amendola [12]
5Jean-Jacques Aubert [38]
6Dimiter R. Avresky [5]
7S. Bachmann [7]
8C. Béoumes [7]
9Christian Béounes [4]
10Ljerka Beus-Dukic [16]
11Andrea Bondavalli [16] [37]
12Agnan de Bonneval [38]
13C. Bourdeau [7]
14Thierry Boyer [21]
15Patrice Brot [38]
16William C. Carter [1]
17J.-F. Chane [11]
18Jacques Collet [36]
19Cristian Constantinescu [42]
20P. Coppola [16]
21Alain Costes [6]
22Yves Crouzet [2] [5] [6] [8] [10] [24] [27] [30] [33] [35] [36] [38]
23Michel Cukier [13] [17]
24P. David [11]
25Yves Deswarte [43]
26J.-E. Doucet [7]
27Jean-Luis Dufour [12]
28D. Essame [15]
29J. Fabre [41]
30Jean-Charles Fabre [2] [14] [18] [19] [20] [22] [23] [26] [29] [31] [32] [34]
31Alessandro Fantechi [16]
32Peter Folkesson [30]
33Emmerich Fuchs [30]
34Yannick Le Guédart [21]
35Boudewijn R. Haverkort [37]
36Yuji Hirao [12]
37Ravishankar K. Iyer (Ravi K. Iyer) [40] [42]
38Tahar Jarboui [24] [27] [33]
39Eric Jenn [9] [16]
40Mohamed Kaâniche [21]
41Ali Kalakech [33] [35]
42Nobuyasu Kanekawa [12]
43Karama Kanoun [3] [4] [7] [24] [27] [33] [35]
44Johan Karlsson [9] [30]
45Youssef Laarouchi [43]
46Jean-Claude Laprie [2] [3] [4] [5] [6] [7]
47Günther H. Leber [30]
48W. Mader [11]
49Eric Marsden [23] [29]
50Thomas Marteau [24]
51Eliane Martins [2] [8] [10]
52R. Messaros [11]
53Sylvain Metge [7]
54Michael Nicolaidis [40] [42]
55Joakim Ohlsson [9]
56Nicolas Perrot [29]
57David Powell [2] [6] [7] [8] [10] [13] [15] [16] [17] [43]
58Joseph A. Profeta III [12]
59Christophe Rabéjac [16]
60Marcus Rimén [9]
61Manuel Rodríguez [18] [19] [20] [22] [26] [28] [31] [32]
62Frédéric Salles [14] [18] [19] [22]
63J.-M. Sizun [20]
64Jorge Moreira de Souza [7]
65P. Spiesser [7]
66Tullio Vardanega [11]
67Paulo Veríssimo [37]
68Andy J. Wellings [16]
69Anis Youssef [38]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)