Baudouin Le Charlier

Publication Activity (10 Years)

Years Active: 1974-2023
Publications (10 Years): 5

Top Topics

Experimental Evaluation

Semistructured Data

Top Venues

Publications

Baudouin Le Charlier
A Program That Simplifies Regular Expressions (Tool paper). CoRR (2023)
Baudouin Le Charlier
Experimental Evaluation of a Method to Simplify Expressions. CoRR (2020)
Baudouin Le Charlier, Minh Thanh Khong, Christophe Lecoutre, Yves Deville
Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints. IJCAI (2017)
Baudouin Le Charlier, Mêton Mêton Atindehou
A Data Structure to Handle Large Sets of Equal Terms. SCSS (2016)
Baudouin Le Charlier, Mêton Mêton Atindehou
A Method to Simplify Expressions: Intuition and Preliminary Experimental Results. IWIL@LPAR (2015)
Gustavo A. Ospina, Baudouin Le Charlier
Formalisation of C Language Interfaces. Electron. Notes Theor. Comput. Sci. 229 (4) (2009)
Nicolas Vanderavero, Xavier Brouckaert, Olivier Bonaventure, Baudouin Le Charlier
The HoneyTank: a scalable approach to collect malicious internet traffic. Int. J. Crit. Infrastructures 4 (1/2) (2008)
Francçois Gobert, Baudouin Le Charlier
Un système vérifiant des propriétés opérationnelles de programmes logiques. Tech. Sci. Informatiques 27 (8) (2008)
Francçois Gobert, Baudouin Le Charlier
Source-to-source optimizing transformations of Prolog programs based on abstract interpretation CoRR (2007)
Gustavo A. Ospina, Baudouin Le Charlier
Towards precise descriptions for programming language interoperability: a general approach based on operational semantics. IESA (2007)
Isabelle Dony, Baudouin Le Charlier
A tool for helping teach a programming method. ITiCSE (2006)
Isabelle Pollet, Baudouin Le Charlier
Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation. Electron. Notes Theor. Comput. Sci. 131 (2005)
Isabelle Dony, Baudouin Le Charlier
A Program Verification System Based on Oz. MOZ (2004)
Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
Sequence-based abstract interpretation of Prolog. Theory Pract. Log. Program. 2 (1) (2002)
Agostino Cortesi, Sabina Rossi, Baudouin Le Charlier
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations. APPIA-GULP-PRODE 48 (2001)
Gustavo A. Ospina, Baudouin Le Charlier
On the Design of a Tool for Supporting the Construction of Logic Programs. WLPE (2001)
Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi
Reexecution-Based Analysis of Logic Programs with Delay Declarations. Ershov Memorial Conference (2001)
Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi
Distinctness and Sharing Domains for Static Analysis of Java Programs. ECOOP (2001)
Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck
Combinations of abstract domains for logic programming: open product and generic pattern construction. Sci. Comput. Program. 38 (1-3) (2000)
Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
Sequence-Based Abstract Interpretation of Prolog CoRR (2000)
Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
Automated Verification of Prolog Programs. J. Log. Program. 39 (1-3) (1999)
Baudouin Le Charlier, Pierre Flener
Specifications are necessarily informal or: Some more myths of formal methods. J. Syst. Softw. 40 (3) (1998)
Dante Baldan, Baudouin Le Charlier, Christophe Leclère, Isabelle Pollet
A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury. LOPSTR (1998)
Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
Automated Behavioural Verification of Prolog Programs. APPIA-GULP-PRODE (1997)
Baudouin Le Charlier, Pierre Flener
On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract). SAS (1997)
Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
Automated Verification of Behavioural Properties of Prolog Programs. ASIAN (1997)
Abdelaziz Mounji, Baudouin Le Charlier
Continuous Assessment of a Unix Configuration: Integrating Intrusion Detection and Configuration Analysis. NDSS (1997)
Naji Habra, Baudouin Le Charlier
Unified Relational Framework for Programming Paradigm Combination. FroCoS (1996)
Baudouin Le Charlier
Abstract Interpretation and Application to Interactive System Verification. DSV-IS (1996)
Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi
Specification-Based Automatic Verification of Prolog Programs. LOPSTR (1996)
D. Zampuniéris, Baudouin Le Charlier
An Efficient Algorithm to Compute the Synchronized Product. MASCOTS (1995)
Baudouin Le Charlier, Sabina Rossi
Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions. LPE (1995)
Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier
. J. Log. Program. 23 (3) (1995)
Baudouin Le Charlier, Pascal Van Hentenryck
A generic fixpoint semantics for PROLOG and its application for abstract interpretation. JFPLC (1995)
Baudouin Le Charlier, Pascal Van Hentenryck
Reexecution in Abstract Interpretation of Prolog. Acta Informatica 32 (3) (1995)
Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier
Type Analysis of Prolog Using Type Graphs. J. Log. Program. 22 (3) (1995)
Abdelaziz Mounji, Baudouin Le Charlier, D. Zampuniéris, Naji Habra
Distributed audit trail analysis. NDSS (1995)
Baudouin Le Charlier
Abstract Interpretation and Finite Domain Symbolic Constraints Constraint Programming (1994)
Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut. ILPS (1994)
Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier
Type Analysis of Prolog Using Type Graphs. PLDI (1994)
Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck
Combinations of Abstract Domains for Logic Programming. POPL (1994)
Baudouin Le Charlier, Pascal Van Hentenryck
Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG. ACM Trans. Program. Lang. Syst. 16 (1) (1994)
Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
An Abstract Interpretation Framework for (almost) Full Prolog. GULP-PRODE (1) (1994)
C. Braem, Baudouin Le Charlier, S. Modart, Pascal Van Hentenryck
Cardinality Analysis of Prolog. ILPS (1994)
Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy, Baudouin Le Charlier
Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains. PLILP (1993)
Vincent Englebert, Baudouin Le Charlier, Didier Roland, Pascal Van Hentenryck
Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and their Experimental Evaluation. Softw. Pract. Exp. 23 (4) (1993)
Baudouin Le Charlier, Pascal Van Hentenryck
. PEPM (1993)
Baudouin Le Charlier, Olivier Degimbe, Laurent Michel, Pascal Van Hentenryck
Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog. WSA (1993)
Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel
The Impact of Granularity in Abstract Interpretation of Prolog. WSA (1993)
Pierre De Boeck, Baudouin Le Charlier
Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments. LOPSTR (1993)
Baudouin Le Charlier, Pascal Van Hentenryck
On the Design of Generic Abstract Interpretation Frameworks. WSA (1992)
Naji Habra, Baudouin Le Charlier, Abdelaziz Mounji, Isabelle Mathieu
ASAX: Software Architecture and Rule-Based Language for Universal Audit Trail Analysis. ESORICS (1992)
Baudouin Le Charlier, Pascal Van Hentenryck
Experimental evaluation of a generic abstract interpretation algorithm for Prolog. ICCL (1992)
Pierre De Boeck, Jean Henrard, Baudouin Le Charlier
FOLON: An Environment for Declarative Construction of Logic Programs. LPE (1992)
Baudouin Le Charlier
Une sémantique opérationelle instrumentale pour Prolog et son application à la preuve de consistance d'un modèle d'interprétation abstraite. JFPL (1992)
Vincent Englebert, Baudouin Le Charlier, Didier Roland, Pascal Van Hentenryck
Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation. PLILP (1992)
Baudouin Le Charlier, Pascal Van Hentenryck
Reexecution in Abstract Interpretation of Prolog. JICSLP (1992)
Jean Henrard, Baudouin Le Charlier
FOLON: An Environment for Declarative Construction of Logic Programs. PLILP (1992)
Pierre De Boeck, Baudouin Le Charlier
Automatic Construction of Prolog Primitives for Type Checking Analysis. JTASPEFT/WSA (1991)
Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck
A Generic Abstract Interpretation Algorithm and its Complexity Analysis. ICLP (1991)
Pierre De Boeck, Baudouin Le Charlier
Static Type Analysis of Prolog Procedures for Ensuring Correctness. PLILP (1990)
Jean-Luc Hainaut, Baudouin Le Charlier
An Extensible Semantic Model of Data Base and Its Data language. IFIP Congress (1974)