Baudouin Le Charlier

Computer Science · Physical Sciences

19h-index1.1kcitations75works0.02yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(53), Formal Methods in Verification(42), Software Testing and Debugging Techniques(22), Logic, Reasoning, and Knowledge(16), Software Engineering Research(11)

Publications75 total

A Layered Implementation Framework for Regular Languages
arXiv (Cornell University)·2025Open Access
A Program That Simplifies Regular Expressions (Tool paper)
arXiv (Cornell University)·2023Open Access
Another Look at Derivatives of Regular Expressions, with an Experimental Evaluation
SSRN Electronic Journal·2023Open Access
Experimental Evaluation of a Method to Simplify Expressions
arXiv (Cornell University)·2020Open Access
A Data Structure to Handle Large Sets of Equal Terms
EPiC series in computing·2018· 1 citedOpen Access
A Method to Simplify Expressions: Intuition and Preliminary Experimental Results
EPiC series in computing·2018· 3 citedOpen Access
Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints
2017· 8 citedOpen Access
Formalisation of C Language Interfaces
Electronic Notes in Theoretical Computer Science·2009· 1 citedOpen Access
The HoneyTank: a scalable approach to collect malicious internet traffic
International Journal of Critical Infrastructures·2007· 13 cited
Source-to-source optimizing transformations of Prolog programs based on abstract interpretation
arXiv (Cornell University)·2007Open Access
Towards precise descriptions for programming language interoperability: a general approach based on operational semantics
2007· 3 cited
A tool for helping teach a programming method
ACM SIGCSE Bulletin·2006· 9 cited
A tool for helping teach a programming method
Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education·2006· 8 cited
Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation
Electronic Notes in Theoretical Computer Science·2005· 3 citedOpen Access
A Program Verification System Based on Oz
Lecture notes in computer science·2005· 2 cited
Experimental evaluation of a generic abstract interpretation algorithm for Prolog
2003· 26 cited
Continuous assessment of a Unix configuration: integrating intrusion detection and configuration analysis
2002· 16 cited
An efficient algorithm to compute the synchronized product
2002· 4 cited
Efficient handling of large sets of tuples with sharing trees
2002· 14 cited
Distributed audit trail analysis
2002· 40 cited
page 1 of 4Next →

Frequent Co-authors

Pascal Van Hentenryck(25), Agostino Cortesi(11), Sabina Rossi(6), Kaninda Musumbu(4), A. Mounji(3), D. Zampuniéris(3), Isabelle Pollet(3), Laurent Michel(3), Pierre De Boeck(3), Naji Habra(2), Marc-Michel Corsini(2), Antoine Rauzy(2), Vincent Englebert(2), Didier Roland(2), Olivier Degimbe(2), Isabelle Dony(2), Christophe Leclère(2), Isabelle Mathieu(1), Pierre Flener(1), C. Braem(1)