![]() |
| * | 2009 | |
|---|---|---|
| 3 | EE | 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 |
| 2008 | ||
| 2 | EE | Benjamin Monate, Julien Signoles: Slicing for Security of Code. TRUST 2008: 133-142 |
| 2000 | ||
| 1 | EE | Evelyne Contejean, Antoine Coste, Benjamin Monate: Rewriting Techniques in Theoretical Physics. RTA 2000: 80-94 |
| 1 | Patrick Baudin | [3] |
| 2 | Richard Bonichon | [3] |
| 3 | Géraud Canet | [3] |
| 4 | Evelyne Contejean | [1] |
| 5 | Loïc Correnson | [3] |
| 6 | Antoine Coste | [1] |
| 7 | Pascal Cuoq | [3] |
| 8 | Virgile Prevosto | [3] |
| 9 | Armand Puccetti | [3] |
| 10 | Julien Signoles | [2] [3] |