| 2025 | PAKDD | Hunting Inside N-Quantiles of Outliers (Hino). | Jessy Colonval, Fabrice Bouquet |
| 2023 | ADMA | Multidimensional Adaptative kNN over Tracking Outliers (Makoto). | Jessy Colonval, Fabrice Bouquet |
| 2023 | ICST | Regression Test Generation by Usage Coverage Driven Clustering on User Traces. | Frdric Tamagnan, Fabrice Bouquet, Alexandre Vernotte, Bruno Legeard |
| 2022 | ICST | Clustering of Usage Traces for Regression Test Cases Selection. | Vahana Dorcis, Fabrice Bouquet, Frdric Dadeau |
| 2016 | ISoLA | Model-Based Testing as a Service for IoT Platforms. | Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret, Franck Le Gall, Bruno Legeard |
| 2015 | ICFEM | A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing. | Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux |
| 2013 | ICST | Model-Based Testing of Cryptographic Components - Lessons Learned from Experience. | Julien Botella, Fabrice Bouquet, Jean-Francois Capuron, Franck Lebeau, Bruno Legeard, Florence Schadle |
| 2013 | ICST | Strategies Comparison of Test Generation from UML Using SMT Solver. | Jrme Cantenot, Fabrice Ambert, Fabrice Bouquet |
| 2013 | ICST | A Constraint Solver for PHP Arrays. | Ivan Enderlin, Alain Giorgetti, Fabrice Bouquet |
| 2013 | MODELSWARD | Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS. | Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux |
| 2012 | ICST | Grammar-Based Testing Using Realistic Domains in PHP. | Ivan Enderlin, Frdric Dadeau, Alain Giorgetti, Fabrice Bouquet |
| 2012 | ICST | Managing Evolution by Orchestrating Requirements and Testing Engineering Processes. | Federica Paci, Fabio Massacci, Fabrice Bouquet, Stephane Debricon |
| 2012 | MODELS | Transformation rules from UML4MBT meta-model to SMT meta-model for model animation. | Jrme Cantenot, Fabrice Ambert, Fabrice Bouquet |
| 2011 | ICST | Selective Test Generation Method for Evolving Critical Systems. | Elizabeta Fourneret, Fabrice Bouquet, Frdric Dadeau, Stephane Debricon |
| 2010 | ICST | Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests. | Fabrice Bouquet, Pierre-Christophe Bu, Jacques Julliand, Pierre-Alain Masson |
| 2010 | SEFM | Assessing the Quality of B Models. | Adrien De Kermadec, Frdric Dadeau, Fabrice Bouquet |
| 2010 | TAP | Building a Test-Ready Abstraction of a Behavioral Model Using CLP. | Pierre-Christophe Bu, Frdric Dadeau, Adrien De Kermadec, Fabrice Bouquet |
| 2009 | ICST | Using Common Criteria to Assess Quality of Web Services. | Vincent Pretre, Fabrice Bouquet, Christophe Lang |
| 2008 | IIWAS | Automating UML models merge for web services testing. | Vincent Pretre, Fabrice Bouquet, Christophe Lang |
| 2008 | ICSE | A Test Generation Solution to Automate Software Testing. | Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux |
| 2007 | RCIS | Using Computer Science Modeling Techniques for Airport Security Certification. | Rgine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Vronique Donzeau-Gouge, Sylvie Vignes |
| 2006 | CaiSE | Validation of Regulation Documents by Automated Analysis of Formal Models. | Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes |
| 2006 | FM | Automated Boundary Test Generation from JML Specifications. | Fabrice Bouquet, Frdric Dadeau, Bruno Legeard |
| 2006 | GI | Model-Based Testing from UML Models. | Eddy Bernard, Fabrice Bouquet, Amandine Charbonnier, Bruno Legeard, Fabien Peureux, Mark Utting, Eric Torreborre |
| 2005 | FM | Symbolic Animation of JML Specifications. | Fabrice Bouquet, Frdric Dadeau, Bruno Legeard, Mark Utting |
| 2005 | ICFEM | How Symbolic Animation Can Help Designing an Efficient Formal Model. | Fabrice Bouquet, Frdric Dadeau, Bruno Legeard |
| 2005 | TACAS | JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP. | Fabrice Bouquet, Frdric Dadeau, Bruno Legeard, Mark Utting |
| 2004 | ICFEM | Faster Analysis of Formal Specifications. | Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet |
| 2003 | FM | Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study. | Fabrice Bouquet, Bruno Legeard |
| 2002 | TACAS | CLPS-B - A Constraint Solver for B. | Fabrice Bouquet, Bruno Legeard, Fabien Peureux |
| 1995 | CP | Solving Over-Constrained CSPs Using Weighted OBDDs. | Fabrice Bouquet, Philippe Jgou |