| 2006 | EDCC | Communication Integrity in Networks for Critical Control Systems. | Anis Youssef, Yves Crouzet, Agnan de Bonneval, Jean Arlat, Jean-Jacques Aubert, Patrice Brot |
| 2006 | IOLTS | Contribution of Communications to Dependability in Massively-Defective General-Purpose Nanoarchitectures. | Jacques Henri Collet, Piotr Zajac, Yves Crouzet, Andrzej Napieralski |
| 2005 | IOLTS | Mitigating Soft Errors to Prevent a Hard Threat to Dependable Computing. | Yves Crouzet, Jacques Henri Collet, Jean Arlat |
| 2005 | ISSRE | Benchmarking the Dependability of Windows and Linux Using PostMark Workloads. | Karama Kanoun, Yves Crouzet, Ali Kalakech, Ana-Elena Rugina, Philippe Rumeau |
| 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 |
| 2002 | DSN | Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques. | Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun |
| 2002 | PRDC | Analysis of the Effects of Real and Injected Software Faults: . | Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau |
| 2001 | ICECCS | Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms. | Alberto Arazo, Yves Crouzet |
| 2000 | SAFECOMP | Dependability of Computer Control Systems in Power Plants. | Cludia Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun |
| 1999 | SAFECOMP | A Method for Operator Error Detection Based on Plan Recognition. | Jin Mo, Yves Crouzet |
| 1996 | SAFECOMP | Defining the Unit Testing Level of Synchronous Data Flow Programs. | Pascale Thvenod-Fosse, Christine Mazuet, Yves Crouzet |
| 1994 | EDCC | On Statistical Structural Testing of Synchronous Data Flow Programs. | Pascale Thvenod-Fosse, Christine Mazuet, Yves Crouzet |