| 2009 | ||
|---|---|---|
| 4 | Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti: Experience report: OCaml for an industrial-strength static analysis framework. ICFP 2009: 281-286 | |
| 3 | Julien Signoles: Foncteurs impératifs et composés: la notion de projets dans Frama-C. JFLA 2009: 245-280 | |
| 2008 | ||
| 2 | Benjamin Monate, Julien Signoles: Slicing for Security of Code. TRUST 2008: 133-142 | |
| 2003 | ||
| 1 | Julien Signoles: Calcul statique des applications de modules paramétrés. JFLA 2003: 21-36 | |
| 1 | Patrick Baudin | [4] |
| 2 | Richard Bonichon | [4] |
| 3 | Géraud Canet | [4] |
| 4 | Loïc Correnson | [4] |
| 5 | Pascal Cuoq | [4] |
| 6 | Benjamin Monate | [2] [4] |
| 7 | Virgile Prevosto | [4] |
| 8 | Armand Puccetti | [4] |