Baudouin Le Charlier

Gustavo A. Ospina, Baudouin Le Charlier: Formalisation of C Language Interfaces. Electr. Notes Theor. Comput. Sci. 229(4): 67-84 (2009)

Nicolas Vanderavero, Xavier Brouckaert, Olivier Bonaventure, Baudouin Le Charlier: The HoneyTank: a scalable approach to collect malicious internet traffic. IJCIS 4(1/2): 185-205 (2008)

Francois Gobert, Baudouin Le Charlier: Un système vérifiant des propriétés opérationnelles de programmes logiques. Technique et Science Informatiques 27(8): 1033-1064 (2008)

Gustavo A. Ospina, Baudouin Le Charlier: Towards precise descriptions for programming language interoperability: a general approach based on operational semantics. IESA 2007: 581-586

Francois Gobert, Baudouin Le Charlier: Source-to-source optimizing transformations of Prolog programs based on abstract interpretation. CoRR abs/0710.5895 (2007)

Isabelle Dony, Baudouin Le Charlier: A tool for helping teach a programming method. ITiCSE 2006: 212-216

Isabelle Pollet, Baudouin Le Charlier: Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation. Electr. Notes Theor. Comput. Sci. 131: 85-98 (2005)

Isabelle Dony, Baudouin Le Charlier: A Program Verification System Based on Oz. MOZ 2004: 41-52

Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck: Sequence-based abstract interpretation of Prolog. TPLP 2(1): 25-84 (2002)

Agostino Cortesi, Sabina Rossi, Baudouin Le Charlier: Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations. Electr. Notes Theor. Comput. Sci. 48: 29-44 (2001)

Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi: Distinctness and Sharing Domains for Static Analysis of Java Programs. ECOOP 2001: 77-98

Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi: Reexecution-Based Analysis of Logic Programs with Delay Declarations. Ershov Memorial Conference 2001: 395-405

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, Pascal Van Hentenryck: Combinations of abstract domains for logic programming: open product and generic pattern construction. Sci. Comput. Program. 38(1-3): 27-71 (2000)

Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck: Sequence-Based Abstract Interpretation of Prolog. CoRR cs.LO/0010028 (2000)

Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi: Automated Verification of Prolog Programs. J. Log. Program. 39(1-3): 3-42 (1999)

Baudouin Le Charlier, Pierre Flener: Specifications are necessarily informal or: Some more myths of formal methods. Journal of Systems and Software 40(3): 275-296 (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: 21-40

Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi: Automated Behavioural Verification of Prolog Programs. APPIA-GULP-PRODE 1997: 189-200

Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi: Automated Verification of Behavioural Properties of Prolog Programs. ASIAN 1997: 225-238

Abdelaziz Mounji, Baudouin Le Charlier: Continuous Assessment of a Unix Configuration: Integrating Intrusion Detection and Configuration Analysis. NDSS 1997

Baudouin Le Charlier, Pierre Flener: On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract). SAS 1997: 379-387

Baudouin Le Charlier: Abstract Interpretation and Application to Interactive System Verification. DSV-IS 1996: 46-72

Naji Habra, Baudouin Le Charlier: Unified Relational Framework for Programming Paradigm Combination. FroCoS 1996: 357-375

Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi: Specification-Based Automatic Verification of Prolog Programs. LOPSTR 1996: 38-57

Baudouin Le Charlier, Pascal Van Hentenryck: Reexecution in Abstract Interpretation of Prolog. Acta Inf. 32(3): 209-270 (1995)

Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier: Type Analysis of Prolog Using Type Graphs. J. Log. Program. 22(3): 179-209 (1995)

Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier: Evaluation of the Domain Prop. J. Log. Program. 23(3): 237-278 (1995)

Baudouin Le Charlier, Pascal Van Hentenryck: A generic fixpoint semantics for PROLOG and its application for abstract interpretation. JFPLC 1995: 113-125

Baudouin Le Charlier, Sabina Rossi: Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions. LPE 1995

D. Zampuniéris, Baudouin Le Charlier: An Efficient Algorithm to Compute the Synchronized Product. MASCOTS 1995: 77-81

Baudouin Le Charlier, Pascal Van Hentenryck: Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG. ACM Trans. Program. Lang. Syst. 16(1): 35-101 (1994)

Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck: An Abstract Interpretation Framework for (almost) Full Prolog. GULP-PRODE (1) 1994: 92-106

Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier: Type Analysis of Prolog Using Type Graphs. PLDI 1994: 337-348

Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck: Combinations of Abstract Domains for Logic Programming. POPL 1994: 227-239

Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck: An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut. SLP 1994: 157-171

C. Braem, Baudouin Le Charlier, S. Modart, Pascal Van Hentenryck: Cardinality Analysis of Prolog. SLP 1994: 457-471

Baudouin Le Charlier: Abstract Interpretation and Finite Domain Symbolic Constraints. Constraint Programming 1994: 147-170

Baudouin Le Charlier (Ed.): Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings. Lecture Notes in Computer Science 864, Springer 1994, isbn 3-540-58485-4

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. Exper. 23(4): 419-459 (1993)

Pierre De Boeck, Baudouin Le Charlier: Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments. LOPSTR 1993: 229-245

Baudouin Le Charlier, Pascal Van Hentenryck: Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop. PEPM 1993: 99-110

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: 75-91

Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel: The Impact of Granularity in Abstract Interpretation of Prolog. WSA 1993: 1-14

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: 15-26

Naji Habra, Baudouin Le Charlier, Abdelaziz Mounji, Isabelle Mathieu: ASAX: Software Architecture and Rule-Based Language for Universal Audit Trail Analysis. ESORICS 1992: 435-450

Baudouin Le Charlier, Pascal Van Hentenryck: Experimental evaluation of a generic abstract interpretation algorithm for Prolog. ICCL 1992: 137-146

Baudouin Le Charlier, Pascal Van Hentenryck: Reexecution in Abstract Interpretation of Prolog. JICSLP 1992: 750-764

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: 386-

Pierre De Boeck, Jean Henrard, Baudouin Le Charlier: FOLON: An Environment for Declarative Construction of Logic Programs. LPE 1992: 3-8

Jean Henrard, Baudouin Le Charlier: FOLON: An Environment for Declarative Construction of Logic Programs. PLILP 1992: 217-231

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: 310-325

Baudouin Le Charlier, Pascal Van Hentenryck: On the Design of Generic Abstract Interpretation Frameworks. WSA 1992: 229-246

Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck: A Generic Abstract Interpretation Algorithm and its Complexity Analysis. ICLP 1991: 64-78

Pierre De Boeck, Baudouin Le Charlier: Automatic Construction of Prolog Primitives for Type Checking Analysis. JTASPEFT/WSA 1991: 165-172

Pierre De Boeck, Baudouin Le Charlier: Static Type Analysis of Prolog Procedures for Ensuring Correctness. PLILP 1990: 222-237

Jean-Luc Hainaut, Baudouin Le Charlier: An Extensible Semantic Model of Data Base and Its Data language. IFIP Congress 1974: 1026-1030