| 2026 | ICAART | Context-Aware Autoencoders for Anomaly Detection in Maritime Surveillance. | Divya Acharya, Pierre Bernab, Antoine Chevrot, Helge Spieker, Arnaud Gotlieb, Bruno Legeard |
| 2023 | ICST | Regression Test Generation by Usage Coverage Driven Clustering on User Traces. | Frdric Tamagnan, Fabrice Bouquet, Alexandre Vernotte, Bruno Legeard |
| 2021 | AAAI | Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract). | Pierre Bernab, Helge Spieker, Bruno Legeard, Arnaud Gotlieb |
| 2020 | ICST | Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance. | Aymeric Cretin, Alexandre Vernotte, Antoine Chevrot, Fabien Peureux, Bruno Legeard |
| 2020 | ICST | Supporting efficient test automation using lightweight MBT. | lodie Bernard, Fabrice Ambert, Bruno Legeard |
| 2020 | ICST | Tool Support for Refactoring Manual Tests. | lodie Bernard, Julien Botella, Fabrice Ambert, Bruno Legeard, Mark Utting |
| 2018 | ICST | Lightweight Model-Based Testing for Enterprise IT. | lodie Bernard, Fabrice Ambert, Bruno Legeard, Arnaud Bouzy |
| 2016 | ISoLA | Model-Based Testing as a Service for IoT Platforms. | Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret, Franck Le Gall, Bruno Legeard |
| 2014 | ICISS | Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities. | Alexandre Vernotte, Frdric Dadeau, Franck Lebeau, Bruno Legeard, Fabien Peureux, Franois Piat |
| 2014 | ISoLA | Risk-Based Vulnerability Testing Using Security Test Patterns. | Julien Botella, Bruno Legeard, Fabien Peureux, Alexandre Vernotte |
| 2014 | ISSRE | MBT for Global Platform Compliance Testing: Experience Report and Lessons Learned. | Gil Bernabeu, Eddie Jaffuel, Bruno Legeard, 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 | Model-Based Vulnerability Testing for Web Applications. | Franck Lebeau, Bruno Legeard, Fabien Peureux, Alexandre Vernotte |
| 2013 | ICST | Smartesting CertifyIt: Model-Based Testing for Enterprise IT. | Bruno Legeard, Arnaud Bouzy |
| 2008 | ICSE | A Test Generation Solution to Automate Software Testing. | Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux |
| 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 |
| 2004 | ISSRE | Boundary Coverage Criteria for Test Generation from Formal Models. | Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting |
| 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 | FM | Automated Boundary Testing from Z and B. | Bruno Legeard, Fabien Peureux, Mark Utting |
| 2002 | TACAS | CLPS-B - A Constraint Solver for B. | Fabrice Bouquet, Bruno Legeard, Fabien Peureux |
| 1994 | ICTAI | Sequences Constraint Solving in Constraints Logic Programming. | Pierre Baptiste, Bruno Legeard, Hamza Zidoum |
| 1993 | ICLP | Constraints over Homogeneous Hereditarily Finite Sets. | Fabrice Ambert, Mohamed Hibti, Henri Lombardi, Bruno Legeard |
| 1993 | ICLP | Set-Unification from Another Point of View. | Mohamed Hibti, Henri Lombardi, Bruno Legeard |
| 1993 | LPAR | Deciding in HFS-Theory via Linear Integer Programming. | Mohamed Hibti, Henri Lombardi, Bruno Legeard |
| 1992 | ICRA | Hoist scheduling problem: an approach based on constraint logic programming. | Pierre Baptiste, Bruno Legeard, Christophe Varnier |
| 1991 | ICLP | Applications of Constraints Logic Programming Languages. | Jean-Jacques Chabrier, Claudine Pradelles, Bruno Legeard |