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

Jean Arlat Coauthor index pubzone.org

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

DBLP keys2012
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Arlat, Zbigniew Kalbarczyk, Takashi Nanya: Nanocomputing: Small Devices, Large Dependability Challenges. IEEE Security & Privacy 10(1): 69-72 (2012)
2011
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Arlat, Cristian Constantinescu, Johan Karlsson, Takashi Nanya, Alan Wood: Introduction to the fifth workshop on dependable and secure nanocomputing. DSN 2011: 588-589
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Powell, Jean Arlat, Yves Deswarte, Karama Kanoun: Tolerance of Design Faults. Dependable and Historic Computing 2011: 428-452
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Arlat, Regina Moraes: Collecting, Analyzing and Archiving Results from Fault Injection Experiments. LADC 2011: 100-105
2010
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Arlat, Cristian Constantinescu, Ravishankar K. Iyer, Johan Karlsson, Michael Nicolaidis: Fourth workshop on dependable and secure nanocomputing. DSN 2010: 619-620
2009
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Arlat, Cristian Constantinescu, Ravishankar K. Iyer, Johan Karlsson, Michael Nicolaidis: Third workshop on dependable and secure nanocomputing. DSN 2009: 596-597
2008
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoussef Laarouchi, Yves Deswarte, David Powell, Jean Arlat: Safety and Security Architectures for Avionics. DCSOFT 2008: 46-52
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Arlat, Cristian Constantinescu, Ravishankar K. Iyer, Michael Nicolaidis: Second workshop on dependable and secure nanocomputing. DSN 2008: 546-547
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnaud 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
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Arlat, Ravishankar K. Iyer, Michael Nicolaidis: Workshop on Dependable and Secure Nanocomputing. DSN 2007: 809-810
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Arlat: Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing? LADC 2007: 3-6
2006
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnis 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
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean 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
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Crouzet, Jacques Henri Collet, Jean Arlat: Mitigating Soft Errors to Prevent a Hard Threat to Dependable Computing. IOLTS 2005: 295-298
2004
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat: Benchmarking The Dependability of Windows NT4, 2000 and XP. DSN 2004: 681-686
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnaud Albinet, Jean Arlat, Jean-Charles Fabre: Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel. DSN 2004: 867-876
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli Kalakech, Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun: Benchmarking Operating System Dependability: Windows 2000 as a Case Study. PRDC 2004: 261-270
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Rodríguez, Jean-Charles Fabre, Jean Arlat: Building SWIFI Tools from Temporal Logic Specifications. DSN 2003: 95-104
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean 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
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Marsden, Nicolas Perrot, Jean-Charles Fabre, Jean Arlat: Dependability Characterization of Middleware Services. DIPES 2002: 121-130
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Rodríguez, Arnaud Albinet, Jean Arlat: MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems. DSN 2002: 267-272
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun: Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques. DSN 2002: 331-336
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Rodríguez, Jean-Charles Fabre, Jean Arlat: Wrapping Real-Time Systems from Temporal Logic Specifications. EDCC 2002: 253-270
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Arlat: From Experimental Assessment of Fault-Tolerant Systems to Dependability Benchmarking. IPDPS 2002
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau: Analysis of the Effects of Real and Injected Software Faults: . PRDC 2002: 51-58
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Marsden, Jean-Charles Fabre, Jean Arlat: Dependability of CORBA Systems: Service Characterization by Fault Injection. SRDS 2002: 276-285
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed 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
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Rodríguez, Jean-Charles Fabre, Jean Arlat: Formal Specification for Building Robust Real-time Microkernels. IEEE Real-Time Systems Symposium 2000: 119-
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Charles Fabre, Manuel Rodríguez, Jean Arlat, J.-M. Sizun: Building dependable COTS microkernel-based systems using MAFALDA. PRDC 2000: 85-94
1999
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Rodríguez, Frédéric Salles, Jean-Charles Fabre, Jean Arlat: MAFALDA: Microkernel Assessment by Fault Injection and Design Aid. EDCC 1999: 143-160
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrédéric Salles, Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat: MetaKernels and Fault Containment Wrappers. FTCS 1999: 22-29
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Cukier, David Powell, Jean Arlat: Coverage Estimation Methods for Stratified Fault Injection. IEEE Trans. Computers 48(7): 707-723 (1999)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLD. Essame, Jean Arlat, David Powell: Available fail-safe systems. FTDCS 1997: 176-182
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrédéric Salles, Jean Arlat, Jean-Charles Fabre: Can we rely on COTS microkernels for building fault-tolerant systems? FTDCS 1997: 189-195
1996
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Powell, Michel Cukier, Jean Arlat: On Stratified Sampling for High Coverage Estimations. EDCC 1996: 37-54
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTullio 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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Powell, Eliane Martins, Jean Arlat, Yves Crouzet: Estimators for Fault Tolerance Coverage Evaluation. IEEE Trans. Computers 44(2): 261-274 (1995)
1994
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Jenn, Jean Arlat, Marcus Rimén, Joakim Ohlsson, Johan Karlsson: Fault Injection into VHDL Models: The MEFISTO Tool. FTCS 1994: 66-75
1993
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Powell, Eliane Martins, Jean Arlat, Yves Crouzet: Estimators for Fault Tolerance Coverage Evaluation. FTCS 1993: 228-237
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDimiter R. Avresky, Jean Arlat, Jean-Claude Laprie, Yves Crouzet: Fault Injection for the Formal Testing of Fault Tolerance. FTCS 1992: 345-354
1990
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-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)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Arlat, Karama Kanoun, Jean-Claude Laprie: Dependability Modeling and Evaluation of Software Fault-Tolerant Systems. IEEE Trans. Computers 39(4): 504-513 (1990)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean 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)
1989
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Arlat, Yves Crouzet, Jean-Claude Laprie: Fault injection for dependability validation of fault-tolerant computing systems. FTCS 1989: 348-355
1988
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Arlat, Karama Kanoun, Jean-Claude Laprie: Dependability evaluation of software fault-tolerance. FTCS 1988: 142-177
1984
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean 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 [4] [9]
2Arnaud Albinet [31] [37] [44]
3Louis Amat [4]
4Arturo M. Amendola [14]
5Jean-Jacques Aubert [41]
6Dimiter R. Avresky (D. R. Avresky) [7]
7S. Bachmann [9]
8C. Béoumes [9]
9Christian Béounes [6]
10Ljerka Beus-Dukic [18]
11Andrea Bondavalli [18] [40]
12Agnan de Bonneval [41]
13C. Bourdeau [9]
14Thierry Boyer [24]
15Patrice Brot [41]
16William C. Carter [1]
17J.-F. Chane [13]
18Jacques Henri Collet [39]
19Cristian Constantinescu [45] [47] [48] [51]
20P. Coppola [18]
21Alain Costes [8]
22Yves Crouzet [3] [4] [7] [8] [10] [12] [27] [30] [33] [36] [38] [39] [41]
23Michel Cukier [15] [19]
24P. David [13]
25Yves Deswarte [46] [50]
26J.-E. Doucet [9]
27Jean-Luis Dufour [14]
28D. Essame [17]
29J. Fabre [44]
30Jean-Charles Fabre [4] [16] [20] [21] [22] [23] [25] [26] [29] [32] [34] [35] [37]
31Alessandro Fantechi [18]
32Peter Folkesson [33]
33Emmerich Fuchs [33]
34Yannick Le Guédart [24]
35Boudewijn R. Haverkort [40]
36Yuji Hirao [14]
37Ravishankar K. Iyer (Ravi K. Iyer) [43] [45] [47] [48]
38Tahar Jarboui [27] [30] [36]
39Eric Jenn [11] [18]
40Mohamed Kaâniche [24]
41Ali Kalakech [36] [38]
42Zbigniew Kalbarczyk [52]
43Nobuyasu Kanekawa [14]
44Karama Kanoun [2] [5] [6] [9] [27] [30] [36] [38] [50]
45Johan Karlsson [11] [33] [47] [48] [51]
46Youssef Laarouchi [46]
47Jean-Claude Laprie [2] [3] [4] [5] [6] [7] [8] [9]
48Günther H. Leber [33]
49W. Mader [13]
50Eric Marsden [26] [32]
51Thomas Marteau [27]
52Eliane Martins [4] [10] [12]
53R. Messaros [13]
54Sylvain Metge [9]
55Regina Moraes [49]
56Takashi Nanya [51] [52]
57Michael Nicolaidis [43] [45] [47] [48]
58Joakim Ohlsson [11]
59Nicolas Perrot [32]
60David Powell [4] [8] [9] [10] [12] [15] [17] [18] [19] [46] [50]
61Joseph A. Profeta III [14]
62Christophe Rabéjac [18]
63Marcus Rimén [11]
64Manuel Rodríguez [20] [21] [22] [23] [25] [29] [31] [34] [35]
65Frédéric Salles [16] [20] [21] [25]
66J.-M. Sizun [22]
67Jorge Moreira de Souza [9]
68P. Spiesser [9]
69Tullio Vardanega [13]
70Paulo Veríssimo [40]
71Andy J. Wellings [18]
72Alan Wood [51]
73Anis Youssef [41]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page