Baudouin Le Charlier

65 papers A* 5A 2B 5C 4Journal 16Unranked 32

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