Jean Arlat

Publication Activity (10 Years)

Years Active: 1984-2021
Publications (10 Years): 2

Top Topics

Autonomous Systems

Machine Learning Approaches

Supervised Classification

Top Venues

IEEE Secur. Priv.

Publications

Raul Sena Ferreira, Jean Arlat, Jérémie Guiochet, Hélène Waeselynck
Benchmarking Safety Monitors for Image Classifiers with Machine Learning. CoRR (2021)
Raul Sena Ferreira, Jean Arlat, Jérémie Guiochet, Hélène Waeselynck
Benchmarking Safety Monitors for Image Classifiers with Machine Learning. PRDC (2021)
Jean Arlat, Michel Diaz, Mohamed Kaâniche
Towards resilient cyber-physical systems: The ADREAM project. DTIS (2014)
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)
Jean Arlat, Zbigniew Kalbarczyk, Takashi Nanya
Nanocomputing: Small Devices, Large Dependability Challenges. IEEE Secur. Priv. 10 (1) (2012)
Jean Arlat, Regina Moraes
Collecting, Analyzing and Archiving Results from Fault Injection Experiments. LADC (2011)
Jean Arlat, Cristian Constantinescu, Johan Karlsson, Takashi Nanya, Alan Wood
Introduction to the fifth workshop on dependable and secure nanocomputing. DSN (2011)
David Powell, Jean Arlat, Yves Deswarte, Karama Kanoun
Tolerance of Design Faults. Dependable and Historic Computing (2011)
Jean Arlat, Cristian Constantinescu, Johan Karlsson, Takashi Nanya, Alan Wood
Introduction to the fifth workshop on dependable and secure nanocomputing. DSN Workshops (2011)
Jean Arlat, Cristian Constantinescu, Ravishankar K. Iyer, Johan Karlsson, Michael Nicolaidis
Fourth workshop on dependable and secure nanocomputing. DSN (2010)
Jean Arlat, Cristian Constantinescu, Ravishankar K. Iyer, Johan Karlsson, Michael Nicolaidis
Third workshop on dependable and secure nanocomputing. DSN (2009)
Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat, Eric De Nadai
Enhancing dependability in avionics using virtualization. VDTS@EuroSys (2009)
Jean Arlat, Cristian Constantinescu, Ravishankar K. Iyer, Michael Nicolaidis
Second workshop on dependable and secure nanocomputing. DSN (2008)
Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat
Safety and Security Architectures for Avionics. DCSOFT (2008)
Arnaud Albinet, Jean Arlat, J. Fabre
Robustesse des logiciels exécutifs. Caractérisation de l'impact de pilotes défaillants par injection de fautes. Tech. Sci. Informatiques 27 (9-10) (2008)
Jean Arlat, Ravishankar K. Iyer, Michael Nicolaidis
Workshop on Dependable and Secure Nanocomputing. DSN (2007)
Jean Arlat
Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing? LADC (2007)
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 Secur. Comput. 3 (3) (2006)
Anis Youssef, Yves Crouzet, Agnan de Bonneval, Jean Arlat, Jean-Jacques Aubert, Patrice Brot
Communication Integrity in Networks for Critical Control Systems. EDCC (2006)
Yves Crouzet, Jacques Henri Collet, Jean Arlat
Mitigating Soft Errors to Prevent a Hard Threat to Dependable Computing. IOLTS (2005)
Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
Empaquetâches de tolérance aux fautes pour les systèmes temps réel. Tech. Sci. Informatiques 23 (4) (2004)
Arnaud Albinet, Jean Arlat, Jean-Charles Fabre
Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel. DSN (2004)
Ali Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat
Benchmarking The Dependability of Windows NT4, 2000 and XP. DSN (2004)
Ali Kalakech, Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun
Benchmarking Operating System Dependability: Windows 2000 as a Case Study. PRDC (2004)
Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
Building SWIFI Tools from Temporal Logic Specifications. DSN (2003)
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) (2003)
Eric Marsden, Jean-Charles Fabre, Jean Arlat
Dependability of CORBA Systems: Service Characterization by Fault Injection. SRDS (2002)
Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun
Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques. DSN (2002)
Jean Arlat, Jean-Charles Fabre, Manuel Rodríguez, Frédéric Salles
Dependability of COTS Microkernel-Based Systems. IEEE Trans. Computers 51 (2) (2002)
Jean Arlat
From Experimental Assessment of Fault-Tolerant Systems to Dependability Benchmarking. IPDPS (2002)
Eric Marsden, Nicolas Perrot, Jean-Charles Fabre, Jean Arlat
Dependability Characterization of Middleware Services. DIPES (2002)
Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
Wrapping Real-Time Systems from Temporal Logic Specifications. EDCC (2002)
Manuel Rodríguez, Arnaud Albinet, Jean Arlat
MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems. DSN (2002)
Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau
Analysis of the Effects of Real and Injected Software Faults: . PRDC (2002)
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)
Jean-Charles Fabre, Manuel Rodríguez, Jean Arlat, J.-M. Sizun
Building dependable COTS microkernel-based systems using MAFALDA. PRDC (2000)
Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
Formal Specification for Building Robust Real-time Microkernels. RTSS (2000)
Michel Cukier, David Powell, Jean Arlat
Coverage Estimation Methods for Stratified Fault Injection. IEEE Trans. Computers 48 (7) (1999)
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 Distributed Syst. 10 (6) (1999)
Frédéric Salles, Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
MetaKernels and Fault Containment Wrappers. FTCS (1999)
Jean Arlat, Jérome Boué, Yves Crouzet
Validation-based development of dependable systems. IEEE Micro 19 (4) (1999)
Manuel Rodríguez, Frédéric Salles, Jean-Charles Fabre, Jean Arlat
MAFALDA: Microkernel Assessment by Fault Injection and Design Aid. EDCC (1999)
Frédéric Salles, Jean Arlat, Jean-Charles Fabre
Can we rely on COTS microkernels for building fault-tolerant systems? FTDCS (1997)
D. Essame, Jean Arlat, David Powell
Available fail-safe systems. FTDCS (1997)
David Powell, Michel Cukier, Jean Arlat
On Stratified Sampling for High Coverage Estimations. EDCC (1996)
Jean Arlat, Nobuyasu Kanekawa, Arturo M. Amendola, Jean-Luis Dufour, Yuji Hirao, Joseph A. Profeta III
Dependability of Railway Control Systems. FTCS (1996)
Yinong Chen, Jean Arlat
Modeling Software Dependability Growth under Input Partition Testing. SAFECOMP (1996)
Dimiter R. Avresky, Jean Arlat, Jean-Claude Laprie, Yves Crouzet
Fault injection for formal testing of fault tolerance. IEEE Trans. Reliab. 45 (3) (1996)
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)
David Powell, Eliane Martins, Jean Arlat, Yves Crouzet
Estimators for Fault Tolerance Coverage Evaluation. IEEE Trans. Computers 44 (2) (1995)
Eric Jenn, Jean Arlat, Marcus Rimén, Joakim Ohlsson, Johan Karlsson
Fault Injection into VHDL Models: The MEFISTO Tool. FTCS (1994)
David Powell, Eliane Martins, Jean Arlat, Yves Crouzet
Estimators for Fault Tolerance Coverage Evaluation. FTCS (1993)
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)
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) (1993)
Dimiter R. Avresky, Jean Arlat, Jean-Claude Laprie, Yves Crouzet
Fault Injection for the Formal Testing of Fault Tolerance. FTCS (1992)
Jean-Claude Laprie, Jean Arlat, Christian Béounes, Karama Kanoun
Definition and Analysis of Hardware- and Software-Fault-Tolerant Architectures. Computer 23 (7) (1990)
Jean Arlat, Karama Kanoun, Jean-Claude Laprie
Dependability Modeling and Evaluation of Software Fault-Tolerant Systems. IEEE Trans. Computers 39 (4) (1990)
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) (1990)
Jean Arlat, Yves Crouzet, Jean-Claude Laprie
Fault injection for dependability validation of fault-tolerant computing systems. FTCS (1989)
Jean Arlat, Karama Kanoun, Jean-Claude Laprie
Dependability evaluation of software fault-tolerance. FTCS (1988)
Jean Arlat, William C. Carter
)-Adjacent Error-Correcting/Detecting Scheme for Supercomputer Systems. IBM J. Res. Dev. 28 (2) (1984)