M2D2: A formal data model for IDS alert correlation B Morin, L Mé, H Debar, M Ducassé International Workshop on Recent Advances in Intrusion Detection, 115-137, 2002 | 380 | 2002 |
A serial combination of anomaly and misuse IDSes applied to HTTP traffic E Tombini, H Debar, L Mé, M Ducassé 20th annual computer security applications conference, 428-437, 2004 | 180 | 2004 |
A logic-based model to support alert correlation in intrusion detection B Morin, L Mé, H Debar, M Ducassé Information Fusion 10 (4), 285-299, 2009 | 133 | 2009 |
Coca: An automated debugger for C M Ducassé Proceedings of the 21st international conference on Software engineering …, 1999 | 119 | 1999 |
A review of automated debugging systems: Knowledge, strategies and techniques M Decasse, AM Emde Proceedings.[1989] 11th International Conference on Software Engineering …, 1988 | 104 | 1988 |
Opium: An extendable trace analyzer for prolog M Ducassé The Journal of Logic programming 39 (1-3), 177-223, 1999 | 100 | 1999 |
Formal concept analysis enhances fault localization in software P Cellier, M Ducassé, S Ferré, O Ridoux International Conference on Formal Concept Analysis, 273-288, 2008 | 73 | 2008 |
Logic programming environments: Dynamic program analysis and debugging M Ducassé, J Noyé The Journal of Logic Programming 19, 351-384, 1994 | 73 | 1994 |
A pragmatic survey of automated debugging M Ducassé International Workshop on Automated and Algorithmic Debugging, 1-15, 1993 | 71 | 1993 |
Data mining and cross-checking of execution traces: a re-interpretation of jones, harrold and stasko test information T Denmat, M Ducassé, O Ridoux Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005 | 70 | 2005 |
A backward slicing algorithm for Prolog S Schoenig, M Ducassé International Static Analysis Symposium, 317-331, 1996 | 54 | 1996 |
Using events to debug Java programs backwards in time B Lewis, M Ducassé Companion of the 18th annual ACM SIGPLAN conference on Object-oriented …, 2003 | 49 | 2003 |
From declarative signatures to misuse IDS JP Pouzol, M Ducasé International Workshop on Recent Advances in Intrusion Detection, 1-21, 2001 | 46 | 2001 |
Formal Specification of Intrusion Signatures and Detection Rules. JP Pouzol, M Ducassé CSFW, 64-, 2002 | 42 | 2002 |
Multiple Fault Localization with Data Mining. P Cellier, M Ducassé, S Ferré, O Ridoux SEKE, 238-243, 2011 | 40 | 2011 |
Myrtle: A set-oriented meta-interpreter driven by a “relational” trace for deductive databases debugging S Mallet, M Ducassé Logic-Based Program Synthesis and Transformation: 8th International Workshop …, 1999 | 37 | 1999 |
A parameterized algorithm to explore formal contexts with a taxonomy P Cellier, S Ferré, O Ridoux, M Ducasse International Journal of Foundations of Computer Science 19 (02), 319-343, 2008 | 31 | 2008 |
An interactive guidance process supporting consistent updates of RDFS graphs A Hermann, S Ferré, M Ducassé Knowledge Engineering and Knowledge Management: 18th International …, 2012 | 29 | 2012 |
An abstract interpretation based combinator for modelling while loops in constraint programming T Denmat, A Gotlieb, M Ducassé International Conference on Principles and Practice of Constraint …, 2007 | 29 | 2007 |
Improving constraint-based testing with dynamic linear relaxations T Denmat, A Gotlieb, M Ducassé The 18th IEEE International Symposium on Software Reliability (ISSRE'07 …, 2007 | 28 | 2007 |