| |
| 2007 | ||
|---|---|---|
| 4 | EE | Katell Morin-Allory, Eric Gascard, Dominique Borrione: Synthesis of Property Monitors for Online Fault Detection. Journal of Circuits, Systems, and Computers 16(6): 943-960 (2007) |
| 2003 | ||
| 3 | EE | Eric Gascard, Laurence Pierre: Formal Proof of Applications Distributed in Symmetric Interconnection Networks. Parallel Processing Letters 13(1): 3-18 (2003) |
| 2002 | ||
| 2 | EE | Eric Gascard, Laurence Pierre: Mechanical Verification of Hypercube Algorithms. IPDPS 2002 |
| 2001 | ||
| 1 | EE | Eric Gascard, Laurence Pierre: Induction-Oriented Formal Verification in Symmetric Interconnection Networks. CHARME 2001: 418-432 |
| 1 | Dominique Borrione | [4] |
| 2 | Katell Morin-Allory | [4] |
| 3 | Laurence Pierre | [1] [2] [3] |