| 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 | 207 | 1992 |
| 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 | 193 | 1994 |
| 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 | 124 | 1995 |
| 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 | 91 | 1994 |
| A generic abstract interpretation algorithm and its complexity analysis B Le Charlier, K Musumbu, P Van Hentenryck ICLP, 64-78, 1991 | 81 | 1991 |
| A universal top-down fixpoint algorithm B Le Charlier, P Van Hentenryck Technical Report CS-92-25, 1992 | 80 | 1992 |
| 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 | 75 | 1995 |
| 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 | 63 | 1995 |
| Evaluation of the domain Prop P Van Hentenryck, A Cortesi, B Le Charlier The Journal of Logic Programming 23 (3), 237-278, 1995 | 57 | 1995 |
| Cardinality Analysis of Prolog. C Braem, B Le Charlier, S Modart, P Van Hentenryck ILPS 94, 1994 | 53 | 1994 |
| 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 | 48 | 2000 |
| Reexecution in abstract interpretation of Prolog B Le Charlier, P Van Hentenryck Acta Informatica 32 (3), 209-253, 1995 | 46 | 1995 |
| 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 | 43 | 1993 |
| 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 | 42 | 1994 |
| 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 | 41 | 1998 |
| 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 | 37 | 1993 |
| 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 | 37 | 1993 |
| 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 | 34 | 2001 |
| 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 | 31 | 1997 |
| Sequence-based abstract interpretation of Prolog B Le Charlier, S Rossi, P Van Hentenryck Theory and Practice of Logic Programming 2 (1), 25-84, 2002 | 29 | 2002 |
