| 2004 |
|---|
| 12 | EE | Magali Contensin,
Laurence Pierre:
Model-Checking Systems with Unbounded Variables without Abstraction.
AMAST 2004: 87-111 |
| 2003 |
|---|
| 11 | EE | Magali Contensin,
Laurence Pierre:
Combining ACL2 and a v-calculus Model-Checker to Verify System-Level Designs.
MEMOCODE 2003: 75- |
| 10 | EE | Eric Gascard,
Laurence Pierre:
Formal Proof of Applications Distributed in Symmetric Interconnection Networks.
Parallel Processing Letters 13(1): 3-18 (2003) |
| 2002 |
|---|
| 9 | EE | Eric Gascard,
Laurence Pierre:
Mechanical Verification of Hypercube Algorithms.
IPDPS 2002 |
| 2001 |
|---|
| 8 | EE | Eric Gascard,
Laurence Pierre:
Induction-Oriented Formal Verification in Symmetric Interconnection Networks.
CHARME 2001: 418-432 |
| 1999 |
|---|
| 7 | | Laurence Pierre,
Thomas Kropf:
Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings
Springer 1999 |
| 1995 |
|---|
| 6 | | Laurence Pierre:
Describing and verifying synchronous circuits with the Boyer-Moore theorem prover.
CHARME 1995: 35-55 |
| 1994 |
|---|
| 5 | | Michel Allemand,
Felix Nicoli,
Laurence Pierre:
Formal Verification of Hardware using LP and Comparison with Nqthm.
Applied Informatics 1994: 150-153 |
| 4 | EE | Felix Nicoli,
Laurence Pierre:
Formal verification of behavioral VHDL specifications: a case study.
EURO-DAC 1994: 560-565 |
| 3 | | Laurence Pierre:
An Automatic Generalization Method for the Inductive Proof of Replicated and Parallel Architectures.
TPCD 1994: 72-91 |
| 1993 |
|---|
| 2 | | George J. Milne,
Laurence Pierre:
Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '93, Arles, France, May 24-26, 1993, Proceedings
Springer 1993 |
| 1 | | Laurence Pierre:
VHDL Description and Formal Verification of Systolic Multipliers.
CHDL 1993: 225-242 |
