| 2023 | CADE | Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates. | Bernard Boigelot, Pascal Fontaine, Baptiste Vergain |
| 2018 | ATVA | Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces. | Bernard Boigelot, Isabelle Mainz |
| 2017 | ICALP | An Efficient Algorithm to Decide Periodicity of b-Recognisable Sets Using MSDF Convention. | Bernard Boigelot, Isabelle Mainz, Victor Marsault, Michel Rigo |
| 2014 | ATVA | Acceleration of Affine Hybrid Transformations. | Bernard Boigelot, Frdric Herbreteau, Isabelle Mainz |
| 2012 | LATA | Automata-Based Symbolic Representations of Polyhedra. | Bernard Boigelot, Julien Brusten, Jean-Franois Degbomont |
| 2009 | CADE | A Generalization of Semenov's Theorem to Automata over Real Numbers. | Bernard Boigelot, Julien Brusten, Jrme Leroux |
| 2009 | LATA | Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization. | Bernard Boigelot, Jean-Franois Degbomont |
| 2008 | ICALP | On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases. | Bernard Boigelot, Julien Brusten, Vronique Bruyre |
| 2007 | ICALP | A Generalization of Cobham's Theorem to Automata over Real Numbers. | Bernard Boigelot, Julien Brusten |
| 2006 | CAV | The Power of Hybrid Acceleration. | Bernard Boigelot, Frdric Herbreteau |
| 2004 | TACAS | Omega-Regular Model Checking. | Bernard Boigelot, Axel Legay, Pierre Wolper |
| 2003 | CAV | Hybrid Acceleration Using Real Vector Automata (Extended Abstract). | Bernard Boigelot, Frdric Herbreteau, Sbastien Jodogne |
| 2003 | CAV | Iterating Transducers in the Large (Extended Abstract). | Bernard Boigelot, Axel Legay, Pierre Wolper |
| 2002 | ICLP | Representing Arithmetic Constraints with Finite Automata: An Overview. | Bernard Boigelot, Pierre Wolper |
| 2001 | CADE | On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables. | Bernard Boigelot, Sbastien Jodogne, Pierre Wolper |
| 2000 | TACAS | On the Construction of Automata from Linear Arithmetic Constraints. | Pierre Wolper, Bernard Boigelot |
| 1998 | CAV | Verifying Systems with Infinite but Regular State Spaces. | Pierre Wolper, Bernard Boigelot |
| 1998 | ICALP | On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract). | Bernard Boigelot, Stphane Rassart, Pierre Wolper |
| 1997 | CAV | An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract). | Bernard Boigelot, Louis Bronne, Stphane Rassart |
| 1997 | SAS | The Power of QDDs (Extended Abstract). | Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper |
| 1997 | TACAS | Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs. | Bernard Boigelot, Patrice Godefroid |
| 1996 | CAV | Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract). | Bernard Boigelot, Patrice Godefroid |
| 1996 | FM | Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN. | Bernard Boigelot, Patrice Godefroid |
| 1995 | SAS | An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract) | Pierre Wolper, Bernard Boigelot |
| 1994 | CAV | Symbolic Verification with Periodic Sets. | Bernard Boigelot, Pierre Wolper |