Mireille Ducassé
Mireille Ducassé
Professor of Computer Science, IRISA-INSA de Rennes
Verified email at irisa.fr
Title
Cited by
Cited by
Year
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
3542002
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
1632004
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
1242009
Coca: An automated debugger for C
M Ducassé
Proceedings of the 1999 International Conference on Software Engineering …, 1999
1141999
Opium: An extendable trace analyzer for prolog
M Ducassé
The Journal of Logic programming 39 (1-3), 177-223, 1999
1011999
A review of automated debugging systems: Knowledge, strategies and techniques
M Decasse, AM Emde
Proceedings.[1989] 11th International Conference on Software Engineering …, 1988
771988
Logic programming environments: Dynamic program analysis and debugging
M Ducassé, J Noyé
The Journal of Logic Programming 19, 351-384, 1994
681994
A pragmatic survey of automated debugging
M Ducassé
International Workshop on Automated and Algorithmic Debugging, 1-15, 1993
671993
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
582005
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
522008
A backward slicing algorithm for Prolog
S Schoenig, M Ducassé
International Static Analysis Symposium, 317-331, 1996
491996
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
462003
From declarative signatures to misuse IDS
JP Pouzol, M Ducasé
International Workshop on Recent Advances in Intrusion Detection, 1-21, 2001
432001
Formal Specification of Intrusion Signatures and Detection Rules.
JP Pouzol, M Ducassé
CSFW, 64-, 2002
402002
Myrtle: A set-oriented meta-interpreter driven by a “relational” trace for deductive databases debugging
S Mallet, M Ducassé
International Workshop on Logic Programming Synthesis and Transformation …, 1998
351998
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
302007
Multiple Fault Localization with Data Mining.
P Cellier, M Ducassé, S Ferré, O Ridoux
SEKE, 238-243, 2011
292011
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
282008
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
282007
A propagation tracer for gnu-prolog: from formal definition to efficient implementation
L Langevine, M Ducassé, P Deransart
International Conference on Logic Programming, 269-283, 2003
252003
The system can't perform the operation now. Try again later.
Articles 1–20