Laurence Pierre

Publication Activity (10 Years)

Years Active: 1993-2021
Publications (10 Years): 6

Top Topics

Auxiliary Variables

Signature Verification

Embedded Systems

Temporal Consistency

Top Venues

Publications

Laurence Pierre
Refinement rules for the automatic TLM-to-RTL conversion of temporal assertions. Integr. 76 (2021)
Enzo Brignon, Laurence Pierre
Assertion-Based Verification through Binary Instrumentation. DATE (2019)
Martial Chabot, Laurence Pierre, Alexandre Nabais-Moreno
Automated Testing for Cyber-physical Systems: From Scenarios to Executable Tests. FDL (2018)
Laurence Pierre, Martial Chabot
Assertion-Based Verification for SoC Models and Identification of Key Events. DSD (2017)
Martial Chabot, Laurence Pierre, Alexandre Nabais-Moreno
A requirement driven testing method for multi-disciplinary system design. MoDELS (2016)
Laurence Pierre
Auxiliary Variables in Temporal Specifications: Semantic and Practical Analysis for System-Level Requirements. ACM Trans. Design Autom. Electr. Syst. 21 (2) (2016)
Laurence Pierre
Towards a toolchain for assertion-driven test sequence generation. FDL (2015)
Martial Chabot, Kévin Mazet, Laurence Pierre
Automatic and configurable instrumentation of C programs with temporal assertion checkers. MEMOCODE (2015)
Martial Chabot, Laurence Pierre
A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems. ICTSS (2014)
Zeineb Bel Hadj Amor, Laurence Pierre, Dominique Borrione
A tool for the automatic TLM-to-RTL conversion of embedded systems requirements for a seamless verification flow. VLSI-SoC (2014)
Laurence Pierre, Zeineb Bel Hadj Amor
Automatic refinement of requirements for verification throughout the SoC design flow. CODES+ISSS (2013)
Laurence Pierre, Fabrice Pancher, Rodolphe Suescun, Jérôme Quévremont
On the Effectiveness of Assertion-Based Verification in an Industrial Context. FMICS (2013)
Georgios Tsiligiannis, Laurence Pierre
A Mixed Verification Strategy Tailored for Networks on Chip. NOCS (2012)
Laurence Pierre
A formal framework for testing with assertion checkers in mixed-signal simulation. ICECS (2012)
Laurence Pierre, Luca Ferro, Zeineb Bel Hadj Amor, Philippe Bourgon, Jérôme Quévremont
Integrating PSL properties into SystemC transactional modeling - Application to the verification of a modem SoC. SIES (2012)
Luca Ferro, Laurence Pierre, Zeineb Bel Hadj Amor, Jérôme Lachaize, Vincent Lefftz
Runtime Verification of Typical Requirements for a Space Critical SoC Platform. FMICS (2011)
Laurence Pierre, Laila Damri
Improvement of Assertion-Based Verification through the generation of proper test sequences. FDL (2011)
Renaud Clavel, Laurence Pierre, Régis Leveugle
Towards Robustness Analysis Using PVS. ITP (2011)
Vincent Lefftz, Jean Bertrand, Hugues Cassé, Christophe Clienti, Philippe Coussy, Laurent Maillet-Contoz, Philippe Mercier, Pierre Moreau, Laurence Pierre, Emmanuel Vaumorin
A Design Flow for Critical Embedded Systems. SIES (2010)
Amr Helmy, Laurence Pierre, Axel Jantsch
Theorem proving techniques for the formal verification of NoC communications with non-minimal adaptive routing. DDECS (2010)
Luca Ferro, Laurence Pierre
Formal semantics for PSL modeling layer and application to the verification of transactional models. DATE (2010)
Laurence Pierre, Luca Ferro
Enhancing the assertion-based verification of TLM designs with reentrancy. MEMOCODE (2010)
Souheib Baarir, Cécile Braunstein, Renaud Clavel, Emmanuelle Encrenaz, Jean-Michel Ilié, Régis Leveugle, Isabelle Mounier, Laurence Pierre, Denis Poitrenaud
Complementary Formal Approaches for Dependability Analysis. DFT (2009)
Dominique Borrione, Amr Helmy, Laurence Pierre, Julien Schmaltz
A Formal Approach to the Verification of Networks on Chip. EURASIP J. Embed. Syst. 2009 (2009)
Luca Ferro, Laurence Pierre
ISIS: Runtime verification of TLM platforms. FDL (2009)
Florent Ouchet, Dominique Borrione, Katell Morin-Allory, Laurence Pierre
High-level symbolic simulation for automatic model extraction. DDECS (2009)
Dominique Borrione, Amr Helmy, Laurence Pierre, Julien Schmaltz
Executable formal specification and validation of NoC communication infrastructures. SBCCI (2008)
Laurence Pierre, Luca Ferro
A Tractable and Fast Method for Monitoring SystemC TLM Specifications. IEEE Trans. Computers 57 (10) (2008)
Magali Contensin, Laurence Pierre
Model-Checking Systems with Unbounded Variables without Abstraction. AMAST (2004)
Eric Gascard, Laurence Pierre
Formal Proof of Applications Distributed in Symmetric Interconnection Networks. Parallel Process. Lett. 13 (1) (2003)
Magali Contensin, Laurence Pierre
Combining ACL2 and a v-calculus Model-Checker to Verify System-Level Designs. MEMOCODE (2003)
Eric Gascard, Laurence Pierre
Mechanical Verification of Hypercube Algorithms. IPDPS (2002)
Eric Gascard, Laurence Pierre
Induction-Oriented Formal Verification in Symmetric Interconnection Networks. CHARME (2001)
Dominique Borrione, Julia Dushina, Laurence Pierre
Formalization of Finite State Machines with Data Path for the Verification of High-Level Synthesis. SBCCI (1998)
Laurence Pierre
Formal Specification of a Reactive System: An Exercise in VHDL, LOTOS and UNITY. ED&TC (1996)
Laurence Pierre
Describing and verifying synchronous circuits with the Boyer-Moore theorem prover. CHARME (1995)
Felix Nicoli, Laurence Pierre
Formal verification of behavioral VHDL specifications: a case study. EURO-DAC (1994)
Michel Allemand, Felix Nicoli, Laurence Pierre
Formal Verification of Hardware using LP and Comparison with Nqthm. Applied Informatics (1994)
Laurence Pierre
An Automatic Generalization Method for the Inductive Proof of Replicated and Parallel Architectures. TPCD (1994)
Laurence Pierre
VHDL Description and Formal Verification of Systolic Multipliers. CHDL (1993)