| 2017 | IJCAI | Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints. | Baudouin Le Charlier, Minh Thanh Khong, Christophe Lecoutre, Yves Deville |
| 2015 | LPAR | A Method to Simplify Expressions: Intuition and Preliminary Experimental Results. | Baudouin Le Charlier, Mton Mton Atindehou |
| 2006 | ITiCSE | A tool for helping teach a programming method. | Isabelle Dony, Baudouin Le Charlier |
| 2001 | ECOOP | Distinctness and Sharing Domains for Static Analysis of Java Programs. | Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi |
| 1998 | LOPSTR | A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury. | Dante Baldan, Baudouin Le Charlier, Christophe Leclre, Isabelle Pollet |
| 1997 | NDSS | Continuous Assessment of a Unix Configuration: Integrating Intrusion Detection and Configuration Analysis. | Abdelaziz Mounji, Baudouin Le Charlier |
| 1997 | SAS | On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract). | Baudouin Le Charlier, Pierre Flener |
| 1996 | LOPSTR | Specification-Based Automatic Verification of Prolog Programs. | Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi |
| 1995 | MASCOTS | An Efficient Algorithm to Compute the Synchronized Product. | D. Zampuniris, Baudouin Le Charlier |
| 1995 | NDSS | Distributed audit trail analysis. | Abdelaziz Mounji, Baudouin Le Charlier, D. Zampuniris, Naji Habra |
| 1994 | PLDI | Type Analysis of Prolog Using Type Graphs. | Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier |
| 1994 | POPL | Combinations of Abstract Domains for Logic Programming. | Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck |
| 1993 | LOPSTR | Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments. | Pierre De Boeck, Baudouin Le Charlier |
| 1993 | PEPM | Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain | Baudouin Le Charlier, Pascal Van Hentenryck |
| 1993 | SAS | Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog. | Baudouin Le Charlier, Olivier Degimbe, Laurent Michel, Pascal Van Hentenryck |
| 1993 | SAS | The Impact of Granularity in Abstract Interpretation of Prolog. | Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel |
| 1992 | ESORICS | ASAX: Software Architecture and Rule-Based Language for Universal Audit Trail Analysis. | Naji Habra, Baudouin Le Charlier, Abdelaziz Mounji, Isabelle Mathieu |
| 1992 | ICLP | Reexecution in Abstract Interpretation of Prolog. | Baudouin Le Charlier, Pascal Van Hentenryck |
| 1992 | SAS | On the Design of Generic Abstract Interpretation Frameworks. | Baudouin Le Charlier, Pascal Van Hentenryck |
| 1991 | ICLP | A Generic Abstract Interpretation Algorithm and its Complexity Analysis. | Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck |
| 1991 | SAS | Automatic Construction of Prolog Primitives for Type Checking Analysis. | Pierre De Boeck, Baudouin Le Charlier |