| 2003 | CSL | Strong Normalization of the Typed gamma | Ren David, Bruno Guillaume |
| 2002 | VTS | On Using Efficient Test Sequences for BIST. | Ren David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch, Arnaud Virazel |
| 2001 | ETS | On hardware generation of random single input change test sequences. | Ren David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch, Arnaud Virazel |
| 2000 | ETS | Delay fault testing: choosing between random SIC and random MIC test sequences. | Arnaud Virazel, Ren David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch |
| 2000 | ISCC | The Partition Method for the Order - Insensitivity in a Synchronous Distributed Systems. | Moez Yeddes, Hassane Alla, Ren David |
| 1996 | VTS | An algebraic method for delay fault testing. | Sophie Crpaux-Motte, Mireille Jacomino, Ren David |
| 1994 | VTS | On robustness of required random test length with regard to fault occurrence hypotheses. | Sophie Crpaux-Motte, Mireille Jacomino, Ren David |
| 1992 | ICRA | Asymptotic continuous Petri nets: an efficient approximation of discrete event systems. | Jean Le Bail, Hassane Alla, Ren David |
| 1987 | ICRA | An aggregation method for performance evaluation of transfer lines with unreliable machines and finite buffers. | Claude Terracol, Ren David |
| 1977 | GI | Random Testing of Memories. | Pascale Thvenod-Fosse, Ren David |