Implementation and Evaluation of a (b, k)-Adjacent Error-Correcting/Detecting Scheme for Supercomputer Systems. - Jean Arlat; William C. Carter (IBM J. Res. Dev., 1984)

Dependability evaluation of software fault-tolerance. - Jean Arlat; Karama Kanoun; Jean-Claude Laprie (FTCS, 1988)

Fault injection for dependability validation of fault-tolerant computing systems. - Jean Arlat; Yves Crouzet; Jean-Claude Laprie (FTCS, 1989)

Definition and Analysis of Hardware- and Software-Fault-Tolerant Architectures. - Jean-Claude Laprie; Jean Arlat; Christian Béounes; Karama Kanoun (Computer, 1990)

Dependability Modeling and Evaluation of Software Fault-Tolerant Systems. - Jean Arlat; Karama Kanoun; Jean-Claude Laprie (IEEE Trans. Computers, 1990)

Fault Injection for Dependability Validation: A Methodology and Some Applications. - Jean Arlat; Martine Aguera; Louis Amat; Yves Crouzet; Jean-Charles Fabre; Jean-Claude Laprie; Eliane Martins; David Powell (IEEE Trans. Software Eng., 1990)

SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems. - 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 (FTCS, 1993)

Fault Injection and Dependability Evaluation of Fault-Tolerant Systems. - Jean Arlat; Alain Costes; Yves Crouzet; Jean-Claude Laprie; David Powell (IEEE Trans. Computers, 1993)

Fault Injection into VHDL Models: The MEFISTO Tool. - Eric Jenn; Jean Arlat; Marcus Rimén; Joakim Ohlsson; Johan Karlsson (FTCS, 1994)

On the Development of Fault-Tolerant On-Board Control Software and its Evaluation by Fault Injection. - Tullio Vardanega; P. David; J.-F. Chane; Wolfgang R. Mader; R. Messaros; Jean Arlat (FTCS, 1995)

Estimators for Fault Tolerance Coverage Evaluation. - David Powell; Eliane Martins; Jean Arlat; Yves Crouzet (IEEE Trans. Computers, 1995)

On Stratified Sampling for High Coverage Estimations. - David Powell; Michel Cukier; Jean Arlat (EDCC, 1996)

Dependability of Railway Control Systems. - Jean Arlat; Nobuyasu Kanekawa; Arturo M. Amendola; Jean-Luis Dufour; Yuji Hirao; Joseph A. Profeta III (FTCS, 1996)

Modeling Software Dependability Growth under Input Partition Testing. - Yinong Chen; Jean Arlat (SAFECOMP, 1996)

Fault injection for formal testing of fault tolerance. - Dimiter R. Avresky; Jean Arlat; Jean-Claude Laprie; Yves Crouzet (IEEE Trans. Reliab., 1996)

Available fail-safe systems. - D. Essame; Jean Arlat; David Powell (FTDCS, 1997)

Can we rely on COTS microkernels for building fault-tolerant systems? - Frédéric Salles; Jean Arlat; Jean-Charles Fabre (FTDCS, 1997)

MAFALDA: Microkernel Assessment by Fault Injection and Design Aid. - Manuel Rodríguez 001; Frédéric Salles; Jean-Charles Fabre; Jean Arlat (EDCC, 1999)

MetaKernels and Fault Containment Wrappers. - Frédéric Salles; Manuel Rodríguez 001; Jean-Charles Fabre; Jean Arlat (FTCS, 1999)

Validation-based development of dependable systems. - Jean Arlat; Jérome Boué; Yves Crouzet (IEEE Micro, 1999)

Coverage Estimation Methods for Stratified Fault Injection. - Michel Cukier; David Powell; Jean Arlat (IEEE Trans. Computers, 1999)

GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems. - David Powell; Jean Arlat; Ljerka Beus-Dukic; Andrea Bondavalli; P. Coppola; Alessandro Fantechi; Eric Jenn; Christophe Rabéjac; Andy J. Wellings (IEEE Trans. Parallel Distributed Syst., 1999)

Building dependable COTS microkernel-based systems using MAFALDA. - Jean-Charles Fabre; Manuel Rodríguez 001; Jean Arlat; J.-M. Sizun (PRDC, 2000)

Formal Specification for Building Robust Real-time Microkernels. - Manuel Rodríguez 001; Jean-Charles Fabre; Jean Arlat (RTSS, 2000)

An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models. - Mohamed Kaâniche; Yannick Le Guédart; Jean Arlat; Thierry Boyer (SAFECOMP, 2001)

Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques. - Tahar Jarboui; Jean Arlat; Yves Crouzet; Karama Kanoun (DSN, 2002)

MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems. - Manuel Rodríguez 001; Arnaud Albinet; Jean Arlat (DSN, 2002)

Wrapping Real-Time Systems from Temporal Logic Specifications. - Manuel Rodríguez 001; Jean-Charles Fabre; Jean Arlat (EDCC, 2002)

Dependability Characterization of Middleware Services. - Eric Marsden; Nicolas Perrot; Jean-Charles Fabre; Jean Arlat (DIPES, 2002)

From Experimental Assessment of Fault-Tolerant Systems to Dependability Benchmarking. - Jean Arlat (IPDPS, 2002)

Analysis of the Effects of Real and Injected Software Faults: . - Tahar Jarboui; Jean Arlat; Yves Crouzet; Karama Kanoun; Thomas Marteau (PRDC, 2002)

Dependability of CORBA Systems: Service Characterization by Fault Injection. - Eric Marsden; Jean-Charles Fabre; Jean Arlat (SRDS, 2002)

Dependability of COTS Microkernel-Based Systems. - Jean Arlat; Jean-Charles Fabre; Manuel Rodríguez 001; Frédéric Salles (IEEE Trans. Computers, 2002)

Building SWIFI Tools from Temporal Logic Specifications. - Manuel Rodríguez 001; Jean-Charles Fabre; Jean Arlat (DSN, 2003)

Comparison of Physical and Software-Implemented Fault Injection Techniques. - Jean Arlat; Yves Crouzet; Johan Karlsson; Peter Folkesson; Emmerich Fuchs; Günther H. Leber (IEEE Trans. Computers, 2003)

Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel. - Arnaud Albinet; Jean Arlat; Jean-Charles Fabre (DSN, 2004)

Benchmarking The Dependability of Windows NT4, 2000 and XP. - Ali Kalakech 001; Karama Kanoun; Yves Crouzet; Jean Arlat (DSN, 2004)

Benchmarking Operating System Dependability: Windows 2000 as a Case Study. - Ali Kalakech 001; Tahar Jarboui; Jean Arlat; Yves Crouzet; Karama Kanoun (PRDC, 2004)

Empaquetâches de tolérance aux fautes pour les systèmes temps réel. - Manuel Rodríguez 001; Jean-Charles Fabre; Jean Arlat (Tech. Sci. Informatiques, 2004)

Mitigating Soft Errors to Prevent a Hard Threat to Dependable Computing. - Yves Crouzet; Jacques Henri Collet; Jean Arlat (IOLTS, 2005)

Communication Integrity in Networks for Critical Control Systems. - Anis Youssef; Yves Crouzet; Agnan de Bonneval; Jean Arlat; Jean-Jacques Aubert; Patrice Brot (EDCC, 2006)

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. - Jean Arlat; Andrea Bondavalli; Boudewijn R. Haverkort; Paulo Veríssimo (IEEE Trans. Dependable Secur. Comput., 2006)

Workshop on Dependable and Secure Nanocomputing. - Jean Arlat; Ravishankar K. Iyer; Michael Nicolaidis (DSN, 2007)

Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing? - Jean Arlat (LADC, 2007)

Second workshop on dependable and secure nanocomputing. - Jean Arlat; Cristian Constantinescu; Ravishankar K. Iyer; Michael Nicolaidis (DSN, 2008)

Safety and Security Architectures for Avionics. - Youssef Laarouchi; Yves Deswarte; David Powell; Jean Arlat (DCSOFT, 2008)

Robustesse des logiciels exécutifs. Caractérisation de l'impact de pilotes défaillants par injection de fautes. - Arnaud Albinet; Jean Arlat; J. Fabre (Tech. Sci. Informatiques, 2008)

Third workshop on dependable and secure nanocomputing. - Jean Arlat; Cristian Constantinescu; Ravishankar K. Iyer; Johan Karlsson; Michael Nicolaidis (DSN, 2009)

Enhancing dependability in avionics using virtualization. - Youssef Laarouchi; Yves Deswarte; David Powell; Jean Arlat; Eric De Nadai (VDTS@EuroSys, 2009)

Fourth workshop on dependable and secure nanocomputing. - Jean Arlat; Cristian Constantinescu; Ravishankar K. Iyer; Johan Karlsson; Michael Nicolaidis (DSN, 2010)

Tolerance of Design Faults. - David Powell; Jean Arlat; Yves Deswarte; Karama Kanoun (Dependable and Historic Computing, 2011)

Introduction to the fifth workshop on dependable and secure nanocomputing. - Jean Arlat; Cristian Constantinescu; Johan Karlsson; Takashi Nanya; Alan Wood (DSN, 2011)

Collecting, Analyzing and Archiving Results from Fault Injection Experiments. - Jean Arlat; Regina Moraes (LADC, 2011)

Testing the Input Timing Robustness of Real-Time Control Software for Autonomous Systems. - David Powell; Jean Arlat; Hoang Nam Chu; Félix Ingrand; Marc-Olivier Killijian (EDCC, 2012)

Nanocomputing: Small Devices, Large Dependability Challenges. - Jean Arlat; Zbigniew Kalbarczyk; Takashi Nanya (IEEE Secur. Priv., 2012)

Towards resilient cyber-physical systems: The ADREAM project. - Jean Arlat; Michel Diaz; Mohamed Kaâniche (DTIS, 2014)

Benchmarking Safety Monitors for Image Classifiers with Machine Learning. - Raul Sena Ferreira; Jean Arlat; Jérémie Guiochet; Hélène Waeselynck (PRDC, 2021)