| 2019 | DATE | Assertion-Based Verification through Binary Instrumentation. | Enzo Brignon, Laurence Pierre |
| 2018 | FDL | Automated Testing for Cyber-physical Systems: From Scenarios to Executable Tests. | Martial Chabot, Laurence Pierre, Alexandre Nabais-Moreno |
| 2017 | DSD | Assertion-Based Verification for SoC Models and Identification of Key Events. | Laurence Pierre, Martial Chabot |
| 2016 | MODELS | A requirement driven testing method for multi-disciplinary system design. | Martial Chabot, Laurence Pierre, Alexandre Nabais-Moreno |
| 2015 | FDL | Towards a toolchain for assertion-driven test sequence generation. | Laurence Pierre |
| 2015 | MEMOCODE | Automatic and configurable instrumentation of C programs with temporal assertion checkers. | Martial Chabot, Kvin Mazet, Laurence Pierre |
| 2013 | FMICS | On the Effectiveness of Assertion-Based Verification in an Industrial Context. | Laurence Pierre, Fabrice Pancher, Rodolphe Suescun, Jrme Quvremont |
| 2011 | FDL | Improvement of Assertion-Based Verification through the generation of proper test sequences. | Laurence Pierre, Laila Damri |
| 2011 | FMICS | Runtime Verification of Typical Requirements for a Space Critical SoC Platform. | Luca Ferro, Laurence Pierre, Zeineb Bel Hadj Amor, Jrme Lachaize, Vincent Lefftz |
| 2011 | ITP | Towards Robustness Analysis Using PVS. | Renaud Clavel, Laurence Pierre, Rgis Leveugle |
| 2010 | DATE | Formal semantics for PSL modeling layer and application to the verification of transactional models. | Luca Ferro, Laurence Pierre |
| 2010 | DDECS | Theorem proving techniques for the formal verification of NoC communications with non-minimal adaptive routing. | Amr Helmy, Laurence Pierre, Axel Jantsch |
| 2010 | MEMOCODE | Enhancing the assertion-based verification of TLM designs with reentrancy. | Laurence Pierre, Luca Ferro |
| 2009 | DDECS | High-level symbolic simulation for automatic model extraction. | Florent Ouchet, Dominique Borrione, Katell Morin-Allory, Laurence Pierre |
| 2009 | FDL | ISIS: Runtime verification of TLM platforms. | Luca Ferro, Laurence Pierre |
| 2003 | MEMOCODE | Combining ACL2 and a v-calculus Model-Checker to Verify System-Level Designs. | Magali Contensin, Laurence Pierre |
| 1996 | DATE | Formal Specification of a Reactive System: An Exercise in VHDL, LOTOS and UNITY. | Laurence Pierre |