Baudouin Le Charlier
TitleCited byYear
Experimental evaluation of a generic abstract interpretation algorithm for Prolog
B Le Charlier, P Van Hentenryck
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (1), 35-101, 1994
2061994
ASAX: Software architecture and rule-based language for universal audit trail analysis
N Habra, B Le Charlier, A Mounji, I Mathieu
European Symposium on Research in Computer Security, 435-450, 1992
1901992
Type analysis of Prolog using type graphs
P Van Hentenryck, A Cortesi, B Le Charlier
The Journal of logic programming 22 (3), 179-209, 1995
1251995
Combinations of abstract domains for logic programming
A Cortesi, B Le Charlier, P Van Hentenryck
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994
881994
A generic abstract interpretation algorithm and its complexity analysis
B Le Charlier, K Musumbu, P Van Hentenryck
ICLP, 64-78, 1991
811991
A universal top-down fixpoint algorithm
B Le Charlier, P Van Hentenryck
Technical Report CS-92-25, 1992
771992
Distributed audit trail analysis
A Mounji, B Le Charlier, D Zampunieris, N Habra
Proceedings of the Symposium on Network and Distributed System Security, 102-112, 1995
701995
Evaluation of the domain Prop
P Van Hentenryck, A Cortesi, B Le Charlier
The Journal of Logic Programming 23 (3), 237-278, 1995
581995
Dynamic detection and classification of computer viruses using general behaviour patterns
B Le Charlier, A Mounji, M Swimmer, VT Center
International Virus Bulletin Conference, 1-22, 1995
551995
Cardinality Analysis of Prolog.
C Braem, B Le Charlier, S Modart, P Van Hentenryck
ILPS 94, 1994
551994
An abstract interpretation framework which accurately handles Prolog search-rule and the cut
B Le Charlier, S Rossi, P Van Hentenryck
Proceedings of the 1994 International Symposium on Logic programming, 157-171, 1994
491994
Reexecution in abstract interpretation of Prolog
B Le Charlier, P Van Hentenryck
Acta Informatica 32 (3), 209-253, 1995
461995
Combinations of abstract domains for logic programming: Open product and generic pattern construction
A Cortesi, B Le Charlier, P Van Hentenryck
Science of Computer Programming 38 (1-3), 27-71, 2000
452000
Specifications are necessarily informal or: Some more myths of formal methods
B Le Charlier, P Flener
Journal of Systems and Software 40 (3), 275-296, 1998
421998
Groundness analysis for Prolog: implementation and evaluation of domain prop
B Le Charlier, P Van Hentenryck
Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and …, 1993
401993
Efficient bottom-up abstract interpretation of prolog by means of constraint solving over symbolic finite domains
MM Corsini, K Musumbu, A Rauzy, B Le Charlier
International Symposium on Programming Language Implementation and Logic …, 1993
381993
Distinctness and sharing domains for static analysis of Java programs
I Pollet, B Le Charlier, A Cortesi
European Conference on Object-Oriented Programming, 77-98, 2001
352001
Generic abstract interpretation algorithms for Prolog: two optimization techniques and their experimental evaluation
V Englebert, BL Charlier, D Roland, P Van Hentenryck
Software: Practice and Experience 23 (4), 419-459, 1993
351993
Type analysis of Prolog using type graphs
P Van Hentenryck, A Cortesi, B Le Charlier
ACM SIGPLAN Notices 29 (6), 337-348, 1994
311994
Continuous assessment of a unix configuration: Integrating intrusion detection and configuration analysis
A Mounji, B Le Charlier
Proceedings of SNDSS'97: Internet Society 1997 Symposium on Network and …, 1997
301997
The system can't perform the operation now. Try again later.
Articles 1–20