| 2021 | MODELS | 17 | Catherine Dubois, Steffen Zschaler |
| 2018 | SEFM | Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover. | Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson |
| 2017 | ITP | FoCaLiZe and Dedukti to the Rescue for Proof Interoperability. | Raphal Cauderlier, Catherine Dubois |
| 2016 | ICTAC | ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti. | Raphal Cauderlier, Catherine Dubois |
| 2016 | TAP | Tests and Proofs for Enumerative Combinatorics. | Catherine Dubois, Alain Giorgetti, Richard Genestier |
| 2014 | SEFM | Verified Functional Iterators Using the FoCaLiZe Environment. | Catherine Dubois, Renaud Rioboo |
| 2013 | ICTAI | From Natural Language Requirements to Formal Specification Using an Ontology. | Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau |
| 2013 | MODELS | Research Questions for Validation and Verification in the Context of Model-Based Engineering. | Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nbrega, Ileana Ober, Martina Seidl, Markus Vlter |
| 2012 | CADE | Tableaux Modulo Theories Using Superdeduction - An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover. | Mlanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois |
| 2012 | CPP | Producing Certified Functional Code from Inductive Specifications. | Pierre-Nicolas Tollitte, David Delahaye, Catherine Dubois |
| 2012 | FM | A Certified Constraint Solver over Finite Domains. | Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb |
| 2012 | SEFM | ML Dependency Analysis for Assessors. | Philippe Ayrault, Vincent Benayoun, Catherine Dubois, Franois Pessaux |
| 2012 | TAP | A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest. | Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb |
| 2011 | SEFM | Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving. | Mlanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois |
| 2010 | ICSoft | Constraint Reasoning in FocalTest. | Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb |
| 2010 | ICSoft | FocalTest: A Constraint Programming Approach for Property-Based Testing. | Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb |
| 2008 | TAP | Functional Testing in the Focal Environment. | Matthieu Carlier, Catherine Dubois |
| 2007 | LPAR | Why Would You Trust | ric Jaeger, Catherine Dubois |
| 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 | An attempt to combine UML and formal methods to model airport security. | Yves Ledru, Rgine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Vronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux |
| 2002 | AISC | On a Generalised Logicality Theorem. | Marc Aiguier, Diane Bahrami, Catherine Dubois |
| 1995 | POPL | Generic Polymorphism. | Catherine Dubois, Franois Rouaix, Pierre Weis |