Mireille Ducassé
Mireille Ducassé
Professor of Computer Science, IRISA-INSA de Rennes
Email verificata su irisa.fr
TitoloCitata daAnno
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
3272002
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
1102009
Opium: An extendable trace analyzer for prolog
M Ducassé
The Journal of Logic programming 39 (1-3), 177-223, 1999
971999
A review of automated debugging systems: knowledge, strategies and techniques
M Ducasse, AM Emde
Proceedings of the 10th international conference on Software engineering …, 1988
701988
Logic programming environments: Dynamic program analysis and debugging
M Ducassé, J Noyé
The Journal of Logic Programming 19, 351-384, 1994
651994
A pragmatic survey of automated debugging
M Ducassé
International Workshop on Automated and Algorithmic Debugging, 1-15, 1993
651993
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
552005
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
472008
From declarative signatures to misuse IDS
JP Pouzol, M Ducasé
International Workshop on Recent Advances in Intrusion Detection, 1-21, 2001
422001
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
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
371998
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
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 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
262003
Multiple Fault Localization with Data Mining.
P Cellier, M Ducassé, S Ferré, O Ridoux
SEKE, 238-243, 2011
252011
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20