| |
| 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 | Laurence Pierre | [1] [2] [3] |