Laurence Pierre

7 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Towards Robustness Analysis Using PVS

Renaud Clavel and others (2011) · Lecture notes in computer science · Springer Science+Business Media

Complementary Formal Approaches for Dependability Analysis

Souheib Baarir and others (2009) · Proceedings · Institute of Electrical and Electronics Engineers

ISIS: Runtime verification of TLM platforms

Luca Ferro and others (2009) · 2009 Forum on Specification & Design Languages (FDL)

An automatic generalization method for the inductive proof of replicated and parallel architectures

Laurence Pierre (1995) · Springer Berlin Heidelberg

PREVAIL: A proof environment for VHDL descriptions

Dominique Borrione and others (1991) · Advanced Research Workshop on Correct Hardware Design Methodologies

From a HDL Description to Formal Proof Systems: Principles and Mechanization **Work supported by the EEC under CHARME ESPRIT 3216 BRA

Laurence Pierre (1991) · Elsevier BV

One aspect of mechanizing formal proof of hardware: The generalization of partial specifications

Laurence Pierre (1991) · 1991 International Workshop on Formal Verification in VLSI Design