Laurence Pierre - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Towards Robustness Analysis Using PVSRenaud Clavel, Laurence Pierre, Régis Leveugle. itp 2011: 71-86 [doi]

Runtime Verification of Typical Requirements for a Space Critical SoC PlatformLuca Ferro, Laurence Pierre, Zeineb Bel Hadj Amor, Jérôme Lachaize, Vincent Lefftz. fmics 2011: 21-36 [doi]

2010

2009

2008

Executable formal specification and validation of NoC communication infrastructuresDominique Borrione, Amr Helmy, Laurence Pierre, Julien Schmaltz. sbcci 2008: 176-181 [doi]

A Tractable and Fast Method for Monitoring SystemC TLM SpecificationsLaurence Pierre, Luca Ferro. TC, 57(10):1346-1356, 2008. [doi]

2004

Model-Checking Systems with Unbounded Variables without AbstractionMagali Contensin, Laurence Pierre. amast 2004: 87-111 [doi]

2003

Combining ACL2 and a v-calculus Model-Checker to Verify System-Level DesignsMagali Contensin, Laurence Pierre. memocode 2003: 75 [doi]

Formal Proof of Applications Distributed in Symmetric Interconnection NetworksEric Gascard, Laurence Pierre. ppl, 13(1):3-18, 2003. [doi]

2002

Mechanical Verification of Hypercube AlgorithmsEric Gascard, Laurence Pierre. ipps 2002: [doi]

2001

Induction-Oriented Formal Verification in Symmetric Interconnection NetworksEric Gascard, Laurence Pierre. charme 2001: 418-432 [doi]

1999

Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 99, Bad Herrenalb, Germany, September 27-29, 1999, ProceedingsLaurence Pierre, Thomas Kropf, editors, Volume 1703 of Lecture Notes in Computer Science, Springer, 1999.

1995

Describing and verifying synchronous circuits with the Boyer-Moore theorem proverLaurence Pierre. charme 1995: 35-55

1994

Formal Verification of Hardware using LP and Comparison with NqthmMichel Allemand, Felix Nicoli, Laurence Pierre. appinf 1994: 150-153

Formal verification of behavioral VHDL specifications: a case studyFelix Nicoli, Laurence Pierre. eurodac 1994: 560-565 [doi]

An Automatic Generalization Method for the Inductive Proof of Replicated and Parallel ArchitecturesLaurence Pierre. tpcd 1994: 72-91

1993

Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME 93, Arles, France, May 24-26, 1993, ProceedingsGeorge J. Milne, Laurence Pierre, editors, Volume 683 of Lecture Notes in Computer Science, Springer, 1993.

VHDL Description and Formal Verification of Systolic MultipliersLaurence Pierre. chdl 1993: 225-242