Follow
Baudouin Le Charlier
Title
Cited by
Cited by
Year
ASAX: Software architecture and rule-based language for universal audit trail analysis
N Habra, BL Charlier, A Mounji, I Mathieu
Computer Security—ESORICS 92: Second European Symposium on Research in …, 1992
2171992
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
2151994
Type analysis of Prolog using type graphs
P Van Hentenryck, A Cortesi, B Le Charlier
Proceedings of the ACM SIGPLAN 1994 conference on Programming language …, 1994
1521994
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
951994
A generic abstract interpretation algorithm and its complexity analysis
B Le Charlier, K Musumbu, P Van Hentenryck
ICLP, 64-78, 1991
841991
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
821995
A universal top-down fixpoint algorithm
B Le Charlier, P Van Hentenryck
Technical Report CS-92-25, 1992
811992
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
641995
Evaluation of the domain Prop
P Van Hentenryck, A Cortesi, B Le Charlier
The Journal of Logic Programming 23 (3), 237-278, 1995
601995
Cardinality Analysis of Prolog.
C Braem, B Le Charlier, S Modart, P Van Hentenryck
ILPS 94, 1994
571994
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
522000
Reexecution in abstract interpretation of Prolog
B Le Charlier, P Van Hentenryck
Acta Informatica 32, 209-253, 1995
481995
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
461998
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
461994
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
441993
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
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
Progamming Language Implementation and Logic Programming: 5th International …, 1993
391993
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
382001
The honeytank: a scalable approach to collect malicious Internet traffic
N Vanderavero, X Brouckaert, O Bonaventure, B Le Charlier
International Journal of Critical Infrastructures 4 (1-2), 185-205, 2008
362008
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
331997
The system can't perform the operation now. Try again later.
Articles 1–20