Search the dblp DataBase
Laurence Pierre :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Magali Contensin , Laurence Pierre Model-Checking Systems with Unbounded Variables without Abstraction. [Citation Graph (0, 0)][DBLP ] AMAST, 2004, pp:87-111 [Conf ] Michel Allemand , Felix Nicoli , Laurence Pierre Formal Verification of Hardware using LP and Comparison with Nqthm. [Citation Graph (0, 0)][DBLP ] Applied Informatics, 1994, pp:150-153 [Conf ] Eric Gascard , Laurence Pierre Induction-Oriented Formal Verification in Symmetric Interconnection Networks. [Citation Graph (0, 0)][DBLP ] CHARME, 2001, pp:418-432 [Conf ] Laurence Pierre Describing and verifying synchronous circuits with the Boyer-Moore theorem prover. [Citation Graph (0, 0)][DBLP ] CHARME, 1995, pp:35-55 [Conf ] Laurence Pierre VHDL Description and Formal Verification of Systolic Multipliers. [Citation Graph (0, 0)][DBLP ] CHDL, 1993, pp:225-242 [Conf ] Eric Gascard , Laurence Pierre Mechanical Verification of Hypercube Algorithms. [Citation Graph (0, 0)][DBLP ] IPDPS, 2002, pp:- [Conf ] Magali Contensin , Laurence Pierre Combining ACL2 and a v-calculus Model-Checker to Verify System-Level Designs. [Citation Graph (0, 0)][DBLP ] MEMOCODE, 2003, pp:75-0 [Conf ] Laurence Pierre An Automatic Generalization Method for the Inductive Proof of Replicated and Parallel Architectures. [Citation Graph (0, 0)][DBLP ] TPCD, 1994, pp:72-91 [Conf ] Eric Gascard , Laurence Pierre Formal Proof of Applications Distributed in Symmetric Interconnection Networks. [Citation Graph (0, 0)][DBLP ] Parallel Processing Letters, 2003, v:13, n:1, pp:3-18 [Journal ] Formal semantics for PSL modeling layer and application to the verification of transactional models. [Citation Graph (, )][DBLP ] High-level symbolic simulation for automatic model extraction. [Citation Graph (, )][DBLP ] Complementary Formal Approaches for Dependability Analysis. [Citation Graph (, )][DBLP ] Formal verification of behavioral VHDL specifications: a case study. [Citation Graph (, )][DBLP ] Executable formal specification and validation of NoC communication infrastructures. [Citation Graph (, )][DBLP ] Search in 0.014secs, Finished in 0.014secs