Jean Arlat

61 papers A 12B 3C 5Misc 5Journal 17Unranked 19
YearRankTypeTitle / Venue / Authors
2021 C conf
Benchmarking Safety Monitors for Image Classifiers with Machine Learning.
PRDC
Raul Sena Ferreira, Jean Arlat, Jérémie Guiochet, Hélène Waeselynck
2021 J jnl
Benchmarking Safety Monitors for Image Classifiers with Machine Learning.
CoRR
Raul Sena Ferreira, Jean Arlat, Jérémie Guiochet, Hélène Waeselynck
2014 — conf
Towards resilient cyber-physical systems: The ADREAM project.
DTIS
Jean Arlat, Michel Diaz, Mohamed Kaâniche
2012 J jnl
Nanocomputing: Small Devices, Large Dependability Challenges.
IEEE Secur. Priv.
Jean Arlat, Zbigniew Kalbarczyk, Takashi Nanya
2012 Misc conf
Testing the Input Timing Robustness of Real-Time Control Software for Autonomous Systems.
EDCC
David Powell, Jean Arlat, Hoang Nam Chu, Félix Ingrand, Marc-Olivier Killijian
2011 — conf
Collecting, Analyzing and Archiving Results from Fault Injection Experiments.
LADC
Jean Arlat, Regina Moraes
2011 A conf
Introduction to the fifth workshop on dependable and secure nanocomputing.
DSN
Jean Arlat, Cristian Constantinescu, Johan Karlsson, Takashi Nanya, Alan Wood
2011 — conf
Introduction to the fifth workshop on dependable and secure nanocomputing.
DSN Workshops
Jean Arlat, Cristian Constantinescu, Johan Karlsson, Takashi Nanya, Alan Wood
2011 — conf
Tolerance of Design Faults.
Dependable and Historic Computing
David Powell, Jean Arlat, Yves Deswarte, Karama Kanoun
2010 A conf
Fourth workshop on dependable and secure nanocomputing.
DSN
Jean Arlat, Cristian Constantinescu, Ravishankar K. Iyer, Johan Karlsson, Michael Nicolaidis
2009 — conf
Enhancing dependability in avionics using virtualization.
VDTS@EuroSys
Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat, Eric De Nadai
2009 A conf
Third workshop on dependable and secure nanocomputing.
DSN
Jean Arlat, Cristian Constantinescu, Ravishankar K. Iyer, Johan Karlsson, Michael Nicolaidis
2008 J jnl
Robustesse des logiciels exécutifs. Caractérisation de l'impact de pilotes défaillants par injection de fautes.
Tech. Sci. Informatiques
Arnaud Albinet, Jean Arlat, J. Fabre
2008 — conf
Safety and Security Architectures for Avionics.
DCSOFT
Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat
2008 A conf
Second workshop on dependable and secure nanocomputing.
DSN
Jean Arlat, Cristian Constantinescu, Ravishankar K. Iyer, Michael Nicolaidis
2007 — conf
Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing?
LADC
Jean Arlat
2007 A conf
Workshop on Dependable and Secure Nanocomputing.
DSN
Jean Arlat, Ravishankar K. Iyer, Michael Nicolaidis
2006 Misc conf
Communication Integrity in Networks for Critical Control Systems.
EDCC
Anis Youssef, Yves Crouzet, Agnan de Bonneval, Jean Arlat, Jean-Jacques Aubert, Patrice Brot
2006 J jnl
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 Secur. Comput.
Jean Arlat, Andrea Bondavalli, Boudewijn R. Haverkort, Paulo Veríssimo
2005 C conf
Mitigating Soft Errors to Prevent a Hard Threat to Dependable Computing.
IOLTS
Yves Crouzet, Jacques Henri Collet, Jean Arlat
2004 C conf
Benchmarking Operating System Dependability: Windows 2000 as a Case Study.
PRDC
Ali Kalakech, Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun
2004 A conf
Benchmarking The Dependability of Windows NT4, 2000 and XP.
DSN
Ali Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat
2004 A conf
Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel.
DSN
Arnaud Albinet, Jean Arlat, Jean-Charles Fabre
2004 J jnl
Empaquetâches de tolérance aux fautes pour les systèmes temps réel.
Tech. Sci. Informatiques
Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
2003 A conf
Building SWIFI Tools from Temporal Logic Specifications.
DSN
Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
2003 J jnl
Comparison of Physical and Software-Implemented Fault Injection Techniques.
IEEE Trans. Computers
Jean Arlat, Yves Crouzet, Johan Karlsson, Peter Folkesson, Emmerich Fuchs, Günther H. Leber
2002 C conf
Analysis of the Effects of Real and Injected Software Faults: .
PRDC
Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau
2002 — conf
Dependability Characterization of Middleware Services.
DIPES
Eric Marsden, Nicolas Perrot, Jean-Charles Fabre, Jean Arlat
2002 B conf
Dependability of CORBA Systems: Service Characterization by Fault Injection.
SRDS
Eric Marsden, Jean-Charles Fabre, Jean Arlat
2002 J jnl
Dependability of COTS Microkernel-Based Systems.
IEEE Trans. Computers
Jean Arlat, Jean-Charles Fabre, Manuel Rodríguez, Frédéric Salles
2002 A conf
Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques.
DSN
Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun
2002 A conf
From Experimental Assessment of Fault-Tolerant Systems to Dependability Benchmarking.
IPDPS
Jean Arlat
2002 A conf
MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems.
DSN
Manuel Rodríguez, Arnaud Albinet, Jean Arlat
2002 Misc conf
Wrapping Real-Time Systems from Temporal Logic Specifications.
EDCC
Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
2001 B conf
An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models.
SAFECOMP
Mohamed Kaâniche, Yannick Le Guédart, Jean Arlat, Thierry Boyer
2000 C conf
Building dependable COTS microkernel-based systems using MAFALDA.
PRDC
Jean-Charles Fabre, Manuel Rodríguez, Jean Arlat, J.-M. Sizun
2000 A conf
Formal Specification for Building Robust Real-time Microkernels.
RTSS
Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
1999 J jnl
Coverage Estimation Methods for Stratified Fault Injection.
IEEE Trans. Computers
Michel Cukier, David Powell, Jean Arlat
1999 J jnl
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems.
IEEE Trans. Parallel Distributed Syst.
David Powell, Jean Arlat, Ljerka Beus-Dukic, Andrea Bondavalli, P. Coppola, Alessandro Fantechi, Eric Jenn, Christophe Rabéjac, Andy J. Wellings
1999 Misc conf
MAFALDA: Microkernel Assessment by Fault Injection and Design Aid.
EDCC
Manuel Rodríguez, Frédéric Salles, Jean-Charles Fabre, Jean Arlat
1999 — conf
MetaKernels and Fault Containment Wrappers.
FTCS
Frédéric Salles, Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
1999 J jnl
Validation-based development of dependable systems.
IEEE Micro
Jean Arlat, Jérome Boué, Yves Crouzet
1997 — conf
Available fail-safe systems.
FTDCS
D. Essame, Jean Arlat, David Powell
1997 — conf
Can we rely on COTS microkernels for building fault-tolerant systems?
FTDCS
Frédéric Salles, Jean Arlat, Jean-Charles Fabre
1996 — conf
Dependability of Railway Control Systems.
FTCS
Jean Arlat, Nobuyasu Kanekawa, Arturo M. Amendola, Jean-Luis Dufour, Yuji Hirao, Joseph A. Profeta III
1996 J jnl
Fault injection for formal testing of fault tolerance.
IEEE Trans. Reliab.
Dimiter R. Avresky, Jean Arlat, Jean-Claude Laprie, Yves Crouzet
1996 B conf
Modeling Software Dependability Growth under Input Partition Testing.
SAFECOMP
Yinong Chen, Jean Arlat
1996 Misc conf
On Stratified Sampling for High Coverage Estimations.
EDCC
David Powell, Michel Cukier, Jean Arlat
1995 J jnl
Estimators for Fault Tolerance Coverage Evaluation.
IEEE Trans. Computers
David Powell, Eliane Martins, Jean Arlat, Yves Crouzet
1995 — conf
On the Development of Fault-Tolerant On-Board Control Software and its Evaluation by Fault Injection.
FTCS
Tullio Vardanega, P. David, J.-F. Chane, Wolfgang R. Mader, R. Messaros, Jean Arlat
1994 — conf
Fault Injection into VHDL Models: The MEFISTO Tool.
FTCS
Eric Jenn, Jean Arlat, Marcus Rimén, Joakim Ohlsson, Johan Karlsson
1993 — conf
Estimators for Fault Tolerance Coverage Evaluation.
FTCS
David Powell, Eliane Martins, Jean Arlat, Yves Crouzet
1993 J jnl
Fault Injection and Dependability Evaluation of Fault-Tolerant Systems.
IEEE Trans. Computers
Jean Arlat, Alain Costes, Yves Crouzet, Jean-Claude Laprie, David Powell
1993 — conf
SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems.
FTCS
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
1992 — conf
Fault Injection for the Formal Testing of Fault Tolerance.
FTCS
Dimiter R. Avresky, Jean Arlat, Jean-Claude Laprie, Yves Crouzet
1990 J jnl
Definition and Analysis of Hardware- and Software-Fault-Tolerant Architectures.
Computer
Jean-Claude Laprie, Jean Arlat, Christian Béounes, Karama Kanoun
1990 J jnl
Dependability Modeling and Evaluation of Software Fault-Tolerant Systems.
IEEE Trans. Computers
Jean Arlat, Karama Kanoun, Jean-Claude Laprie
1990 J jnl
Fault Injection for Dependability Validation: A Methodology and Some Applications.
IEEE Trans. Software Eng.
Jean Arlat, Martine Aguera, Louis Amat, Yves Crouzet, Jean-Charles Fabre, Jean-Claude Laprie, Eliane Martins, David Powell
1989 — conf
Fault injection for dependability validation of fault-tolerant computing systems.
FTCS
Jean Arlat, Yves Crouzet, Jean-Claude Laprie
1988 — conf
Dependability evaluation of software fault-tolerance.
FTCS
Jean Arlat, Karama Kanoun, Jean-Claude Laprie
1984 J jnl
Implementation and Evaluation of a (
IBM J. Res. Dev.
Jean Arlat, William C. Carter