ask others

Jean Arlat

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2014
[c42]
- view
- export record
  dblp key:
  - conf/dtis/ArlatDK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dtis/ArlatDK14
Jean Arlat, Michel Diaz, Mohamed Kaâniche:
Towards resilient cyber-physical systems: The ADREAM project. DTIS 2014: 1-5
2012
[j16]
- view
- export record
  dblp key:
  - journals/ieeesp/ArlatKN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieeesp/ArlatKN12
Jean Arlat, Zbigniew Kalbarczyk, Takashi Nanya:
Nanocomputing: Small Devices, Large Dependability Challenges. IEEE Security & Privacy 10(1): 69-72 (2012)
[c41]
- view
- export record
  dblp key:
  - conf/edcc/PowellACIK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/PowellACIK12
David Powell, Jean Arlat, Hoang Nam Chu, Félix Ingrand, Marc-Olivier Killijian:
Testing the Input Timing Robustness of Real-Time Control Software for Autonomous Systems. EDCC 2012: 73-83
2011
[c40]
- view
- export record
  dblp key:
  - conf/birthday/PowellADK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/PowellADK11
David Powell, Jean Arlat, Yves Deswarte, Karama Kanoun:
Tolerance of Design Faults. Dependable and Historic Computing 2011: 428-452
[c39]
- view
- export record
  dblp key:
  - conf/dsn/ArlatCKNW11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/ArlatCKNW11a
Jean Arlat, Cristian Constantinescu, Johan Karlsson, Takashi Nanya, Alan Wood:
Introduction to the fifth workshop on dependable and secure nanocomputing. DSN Workshops 2011: 39-40
[c38]
- view
- export record
  dblp key:
  - conf/dsn/ArlatCKNW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/ArlatCKNW11
Jean Arlat, Cristian Constantinescu, Johan Karlsson, Takashi Nanya, Alan Wood:
Introduction to the fifth workshop on dependable and secure nanocomputing. DSN 2011: 588-589
[c37]
- view
- export record
  dblp key:
  - conf/ladc/ArlatM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ladc/ArlatM11
Jean Arlat, Regina Moraes:
Collecting, Analyzing and Archiving Results from Fault Injection Experiments. LADC 2011: 100-105
2010
[c36]
- view
- export record
  dblp key:
  - conf/dsn/ArlatCIKN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/ArlatCIKN10
Jean Arlat, Cristian Constantinescu, Ravishankar K. Iyer, Johan Karlsson, Michael Nicolaidis:
Fourth workshop on dependable and secure nanocomputing. DSN 2010: 619-620

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c35]
- view
- export record
  dblp key:
  - conf/dsn/ArlatCIKN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/ArlatCIKN09
Jean Arlat, Cristian Constantinescu, Ravishankar K. Iyer, Johan Karlsson, Michael Nicolaidis:
Third workshop on dependable and secure nanocomputing. DSN 2009: 596-597
2008
[j15]
- view
- export record
  dblp key:
  - journals/tsi/AlbinetAF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsi/AlbinetAF08
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)
[c34]
- view
- export record
  dblp key:
  - conf/dsn/ArlatCIN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/ArlatCIN08
Jean Arlat, Cristian Constantinescu, Ravishankar K. Iyer, Michael Nicolaidis:
Second workshop on dependable and secure nanocomputing. DSN 2008: 546-547
[c33]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icsoft/LaarouchiDPA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/LaarouchiDPA08
Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat:
Safety and Security Architectures for Avionics. DCSOFT 2008: 46-52
2007
[c32]
- view
- export record
  dblp key:
  - conf/dsn/ArlatIN07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/ArlatIN07
Jean Arlat, Ravishankar K. Iyer, Michael Nicolaidis:
Workshop on Dependable and Secure Nanocomputing. DSN 2007: 809-810
[c31]
- view
- export record
  dblp key:
  - conf/ladc/Arlat07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ladc/Arlat07
Jean Arlat:
Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing? LADC 2007: 3-6
2006
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/ArlatBHV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/ArlatBHV06
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)
[c30]
- view
- export record
  dblp key:
  - conf/edcc/YoussefCBAAB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/YoussefCBAAB06
Anis 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
2005
[c29]
- view
- export record
  dblp key:
  - conf/iolts/CrouzetCA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iolts/CrouzetCA05
Yves Crouzet, Jacques Henri Collet, Jean Arlat:
Mitigating Soft Errors to Prevent a Hard Threat to Dependable Computing. IOLTS 2005: 295-298
2004
[j13]
- view
- export record
  dblp key:
  - journals/tsi/RodriguezFA04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsi/RodriguezFA04
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)
[c28]
- view
- export record
  dblp key:
  - conf/dsn/KalakechKCA04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/KalakechKCA04
Ali Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat:
Benchmarking The Dependability of Windows NT4, 2000 and XP. DSN 2004: 681-686
[c27]
- view
- export record
  dblp key:
  - conf/dsn/AlbinetAF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/AlbinetAF04
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
[c26]
- view
- export record
  dblp key:
  - conf/prdc/KalakechJACK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/KalakechJACK04
Ali Kalakech, Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun:
Benchmarking Operating System Dependability: Windows 2000 as a Case Study. PRDC 2004: 261-270
2003
[j12]
- view
- export record
  dblp key:
  - journals/tc/ArlatCKFFL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/ArlatCKFFL03
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)
[c25]
- view
- export record
  dblp key:
  - conf/dsn/RodriguezFA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/RodriguezFA03
Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat:
Building SWIFI Tools from Temporal Logic Specifications. DSN 2003: 95-104
2002
[j11]
- view
- export record
  dblp key:
  - journals/tc/ArlatFRS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/ArlatFRS02
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)
[c24]
- view
- export record
  dblp key:
  - conf/dsn/RodriguezAA02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/RodriguezAA02
Manuel Rodríguez, Arnaud Albinet, Jean Arlat:
MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems. DSN 2002: 267-272
[c23]
- view
- export record
  dblp key:
  - conf/dsn/JarbouiACK02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/JarbouiACK02
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
[c22]
- view
- export record
  dblp key:
  - conf/edcc/RodriguezFA02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/RodriguezFA02
Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat:
Wrapping Real-Time Systems from Temporal Logic Specifications. EDCC 2002: 253-270
[c21]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip10-3/MarsdenPFA02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip10-3/MarsdenPFA02
Eric Marsden, Nicolas Perrot, Jean-Charles Fabre, Jean Arlat:
Dependability Characterization of Middleware Services. DIPES 2002: 121-130
[c20]
- view
- export record
  dblp key:
  - conf/ipps/Arlat02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/Arlat02
Jean Arlat:
From Experimental Assessment of Fault-Tolerant Systems to Dependability Benchmarking. IPDPS 2002
[c19]
- view
- export record
  dblp key:
  - conf/prdc/JarbouiACKM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/JarbouiACKM02
Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau:
Analysis of the Effects of Real and Injected Software Faults: . PRDC 2002: 51-58
[c18]
- view
- export record
  dblp key:
  - conf/srds/MarsdenFA02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/MarsdenFA02
Eric Marsden, Jean-Charles Fabre, Jean Arlat:
Dependability of CORBA Systems: Service Characterization by Fault Injection. SRDS 2002: 276-285
2001
[c17]
- view
- export record
  dblp key:
  - conf/safecomp/KaanicheGAB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/KaanicheGAB01
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
[c16]
- view
- export record
  dblp key:
  - conf/prdc/FabreRAS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/FabreRAS00
Jean-Charles Fabre, Manuel Rodríguez, Jean Arlat, J.-M. Sizun:
Building dependable COTS microkernel-based systems using MAFALDA. PRDC 2000: 85-94
[c15]
- view
- export record
  dblp key:
  - conf/rtss/RodriguezFA00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/RodriguezFA00
Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat:
Formal Specification for Building Robust Real-time Microkernels. RTSS 2000: 119-128

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j10]
- view
- export record
  dblp key:
  - journals/micro/ArlatBC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/micro/ArlatBC99
Jean Arlat, Jérome Boué, Yves Crouzet:
Validation-based development of dependable systems. IEEE Micro 19(4): 66-79 (1999)
[j9]
- view
- export record
  dblp key:
  - journals/tc/CukierPA99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/CukierPA99
Michel Cukier, David Powell, Jean Arlat:
Coverage Estimation Methods for Stratified Fault Injection. IEEE Trans. Computers 48(7): 707-723 (1999)
[j8]
- view
- export record
  dblp key:
  - journals/tpds/PowellABBCFJRW99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tpds/PowellABBCFJRW99
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)
[c14]
- view
- export record
  dblp key:
  - conf/edcc/RodriguezSFA99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/RodriguezSFA99
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
[c13]
- view
- export record
  dblp key:
  - conf/ftcs/SallesRFA99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/SallesRFA99
Frédéric Salles, Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat:
MetaKernels and Fault Containment Wrappers. FTCS 1999: 22-29
1997
[c12]
- view
- export record
  dblp key:
  - conf/ftdcs/EssameAP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftdcs/EssameAP97
D. Essame, Jean Arlat, David Powell:
Available fail-safe systems. FTDCS 1997: 176-182
[c11]
- view
- export record
  dblp key:
  - conf/ftdcs/SallesAF97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftdcs/SallesAF97
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
[j7]
- view
- export record
  dblp key:
  - journals/tr/AvreskyALC96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/AvreskyALC96
Dimiter R. Avresky, Jean Arlat, Jean-Claude Laprie, Yves Crouzet:
Fault injection for formal testing of fault tolerance. IEEE Trans. Reliability 45(3): 443-455 (1996)
[c10]
- view
- export record
  dblp key:
  - conf/edcc/PowellCA96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/PowellCA96
David Powell, Michel Cukier, Jean Arlat:
On Stratified Sampling for High Coverage Estimations. EDCC 1996: 37-54
[c9]
- view
- export record
  dblp key:
  - conf/ftcs/ArlatKADHP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/ArlatKADHP96
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
[c8]
- view
- export record
  dblp key:
  - conf/safecomp/ChenA96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/ChenA96
Yinong Chen, Jean Arlat:
Modeling Software Dependability Growth under Input Partition Testing. SAFECOMP 1996: 136-145
1995
[j6]
- view
- export record
  dblp key:
  - journals/tc/PowellMAC95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/PowellMAC95
David Powell, Eliane Martins, Jean Arlat, Yves Crouzet:
Estimators for Fault Tolerance Coverage Evaluation. IEEE Trans. Computers 44(2): 261-274 (1995)
[c7]
- view
- export record
  dblp key:
  - conf/ftcs/VardanegaDCMMA95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/VardanegaDCMMA95
Tullio Vardanega, P. David, J.-F. Chane, Wolfgang R. 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
1994
[c6]
- view
- export record
  dblp key:
  - conf/ftcs/JennAROK94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/JennAROK94
Eric Jenn, Jean Arlat, Marcus Rimén, Joakim Ohlsson, Johan Karlsson:
Fault Injection into VHDL Models: The MEFISTO Tool. FTCS 1994: 66-75
1993
[j5]
- view
- export record
  dblp key:
  - journals/tc/ArlatCCLP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/ArlatCCLP93
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)
[c5]
- view
- export record
  dblp key:
  - conf/ftcs/PowellMAC93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/PowellMAC93
David Powell, Eliane Martins, Jean Arlat, Yves Crouzet:
Estimators for Fault Tolerance Coverage Evaluation. FTCS 1993: 228-237
[c4]
- view
- export record
  dblp key:
  - conf/ftcs/BeoumesKALAMBS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/BeoumesKALAMBS93
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
1992
[c3]
- view
- export record
  dblp key:
  - conf/ftcs/AvreskyALC92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/AvreskyALC92
Dimiter R. Avresky, Jean Arlat, Jean-Claude Laprie, Yves Crouzet:
Fault Injection for the Formal Testing of Fault Tolerance. FTCS 1992: 345-354
1990
[j4]
- view
- export record
  dblp key:
  - journals/computer/LaprieABK90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/LaprieABK90
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)
[j3]
- view
- export record
  dblp key:
  - journals/tc/ArlatKL90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/ArlatKL90
Jean Arlat, Karama Kanoun, Jean-Claude Laprie:
Dependability Modeling and Evaluation of Software Fault-Tolerant Systems. IEEE Trans. Computers 39(4): 504-513 (1990)
[j2]
- view
- export record
  dblp key:
  - journals/tse/ArlatAACFLMP90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/ArlatAACFLMP90
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)

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c2]
- view
- export record
  dblp key:
  - conf/ftcs/ArlatCL89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/ArlatCL89
Jean Arlat, Yves Crouzet, Jean-Claude Laprie:
Fault injection for dependability validation of fault-tolerant computing systems. FTCS 1989: 348-355
1988
[c1]
- view
- export record
  dblp key:
  - conf/ftcs/ArlatKL88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/ArlatKL88
Jean Arlat, Karama Kanoun, Jean-Claude Laprie:
Dependability evaluation of software fault-tolerance. FTCS 1988: 142-177
1984
[j1]
- view
- export record
  dblp key:
  - journals/ibmrd/ArlatC84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ibmrd/ArlatC84
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

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.