Mireille Ducassé
Mireille Ducassé
Professor of Computer Science, IRISA-INSA de Rennes
Verified email at irisa.fr
TitleCited byYear
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
3282002
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
1502004
Coca: An automated debugger for C
M Ducassé
Proceedings of the 1999 International Conference on Software Engineering …, 1999
1141999
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
1082009
Opium: An extendable trace analyser for Prolog
M Ducassé
961997
A review of automated debugging systems: knowledge, strategies and techniques
M Decasse, AM Emde
Proceedings.[1989] 11th International Conference on Software Engineering …, 1988
721988
Logic programming environments: Dynamic program analysis and debugging
M Ducassé, J Noyé
The Journal of Logic Programming 19, 351-384, 1994
641994
A pragmatic survey of automated debugging
M Ducassé
International Workshop on Automated and Algorithmic Debugging, 1-15, 1993
641993
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
572005
A backward slicing algorithm for Prolog
S Schoenig, M Ducassé
International Static Analysis Symposium, 317-331, 1996
511996
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
482008
From declarative signatures to misuse IDS
JP Pouzol, M Ducasé
International Workshop on Recent Advances in Intrusion Detection, 1-21, 2001
442001
Formal Specification of Intrusion Signatures and Detection Rules.
JP Pouzol, M Ducassé
CSFW, 64-, 2002
422002
Using events to debug Java programs backwards in time
B Lewis, M Ducasse
Companion of the 18th annual ACM SIGPLAN conference on Object-oriented …, 2003
412003
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
361998
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
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
272003
Multiple Fault Localization with Data Mining.
P Cellier, M Ducassé, S Ferré, O Ridoux
SEKE, 238-243, 2011
262011
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
262007
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
252008
The system can't perform the operation now. Try again later.
Articles 1–20