| 2021 | PRDC | Benchmarking Safety Monitors for Image Classifiers with Machine Learning. | Raul Sena Ferreira, Jean Arlat, Jrmie Guiochet, Hlne Waeselynck |
| 2012 | EDCC | Testing the Input Timing Robustness of Real-Time Control Software for Autonomous Systems. | David Powell, Jean Arlat, Hoang Nam Chu, Flix Ingrand, Marc-Olivier Killijian |
| 2011 | DSN | Introduction to the fifth workshop on dependable and secure nanocomputing. | Jean Arlat, Cristian Constantinescu, Johan Karlsson, Takashi Nanya, Alan Wood |
| 2011 | DSN | Introduction to the fifth workshop on dependable and secure nanocomputing. | Jean Arlat, Cristian Constantinescu, Johan Karlsson, Takashi Nanya, Alan Wood |
| 2010 | DSN | Fourth workshop on dependable and secure nanocomputing. | Jean Arlat, Cristian Constantinescu, Ravishankar K. Iyer, Johan Karlsson, Michael Nicolaidis |
| 2009 | DSN | Third workshop on dependable and secure nanocomputing. | Jean Arlat, Cristian Constantinescu, Ravishankar K. Iyer, Johan Karlsson, Michael Nicolaidis |
| 2009 | EuroSys | Enhancing dependability in avionics using virtualization. | Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat, Eric De Nadai |
| 2008 | DSN | Second workshop on dependable and secure nanocomputing. | Jean Arlat, Cristian Constantinescu, Ravishankar K. Iyer, Michael Nicolaidis |
| 2008 | ICSoft | Safety and Security Architectures for Avionics. | Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat |
| 2007 | DSN | Workshop on Dependable and Secure Nanocomputing. | Jean Arlat, Ravishankar K. Iyer, Michael Nicolaidis |
| 2006 | EDCC | Communication Integrity in Networks for Critical Control Systems. | Anis Youssef, Yves Crouzet, Agnan de Bonneval, Jean Arlat, Jean-Jacques Aubert, Patrice Brot |
| 2005 | IOLTS | Mitigating Soft Errors to Prevent a Hard Threat to Dependable Computing. | Yves Crouzet, Jacques Henri Collet, Jean Arlat |
| 2004 | DSN | Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel. | Arnaud Albinet, Jean Arlat, Jean-Charles Fabre |
| 2004 | DSN | Benchmarking The Dependability of Windows NT4, 2000 and XP. | Ali Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat |
| 2004 | PRDC | Benchmarking Operating System Dependability: Windows 2000 as a Case Study. | Ali Kalakech, Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun |
| 2003 | DSN | Building SWIFI Tools from Temporal Logic Specifications. | Manuel Rodrguez, Jean-Charles Fabre, Jean Arlat |
| 2002 | DSN | Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques. | Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun |
| 2002 | DSN | MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems. | Manuel Rodrguez, Arnaud Albinet, Jean Arlat |
| 2002 | EDCC | Wrapping Real-Time Systems from Temporal Logic Specifications. | Manuel Rodrguez, Jean-Charles Fabre, Jean Arlat |
| 2002 | PRDC | Analysis of the Effects of Real and Injected Software Faults: . | Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau |
| 2002 | SRDS | Dependability of CORBA Systems: Service Characterization by Fault Injection. | Eric Marsden, Jean-Charles Fabre, Jean Arlat |
| 2001 | SAFECOMP | An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models. | Mohamed Kaniche, Yannick Le Gudart, Jean Arlat, Thierry Boyer |
| 2000 | PRDC | Building dependable COTS microkernel-based systems using MAFALDA. | Jean-Charles Fabre, Manuel Rodrguez, Jean Arlat, J.-M. Sizun |
| 2000 | RTSS | Formal Specification for Building Robust Real-time Microkernels. | Manuel Rodrguez, Jean-Charles Fabre, Jean Arlat |
| 1999 | EDCC | MAFALDA: Microkernel Assessment by Fault Injection and Design Aid. | Manuel Rodrguez, Frdric Salles, Jean-Charles Fabre, Jean Arlat |
| 1996 | EDCC | On Stratified Sampling for High Coverage Estimations. | David Powell, Michel Cukier, Jean Arlat |
| 1996 | SAFECOMP | Modeling Software Dependability Growth under Input Partition Testing. | Yinong Chen, Jean Arlat |