2008 |
77 | EE | Mireille Ducassé,
Sébastien Ferré:
Fair(er) and (Almost) Serene Committee Meetings with Logical and Formal Concept Analysis.
ICCS 2008: 217-230 |
76 | EE | Peggy Cellier,
Mireille Ducassé,
Sébastien Ferré,
Olivier Ridoux:
Formal Concept Analysis Enhances Fault Localization in Software.
ICFCA 2008: 273-288 |
75 | EE | Ludovic Langevine,
Mireille Ducassé:
Design and Implementation of a Tracer Driver: Easy and Efficient Dynamic Analyses of Constraint Logic Programs
CoRR abs/0804.4116: (2008) |
74 | EE | Peggy Cellier,
Sébastien Ferré,
Olivier Ridoux,
Mireille Ducassé:
A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy.
Int. J. Found. Comput. Sci. 19(2): 319-343 (2008) |
73 | EE | Ludovic Langevine,
Mireille Ducassé:
Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs.
TPLP 8(5-6): 581-609 (2008) |
2007 |
72 | EE | Tristan Denmat,
Arnaud Gotlieb,
Mireille Ducassé:
An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming.
CP 2007: 241-255 |
71 | EE | Peggy Cellier,
Sébastien Ferré,
Olivier Ridoux,
Mireille Ducassé:
A Parameterized Algorithm for Exploring Concept Lattices.
ICFCA 2007: 114-129 |
70 | EE | Pierre Deransart,
Mireille Ducassé,
Gérard Ferrand:
Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)
CoRR abs/0706.3159: (2007) |
69 | EE | Pierre Deransart,
Mireille Ducassé,
Gérard Ferrand:
Observational semantics of the Prolog Resolution Box Model
CoRR abs/0711.4071: (2007) |
2006 |
68 | EE | Peggy Cellier,
Sébastien Ferré,
Olivier Ridoux,
Mireille Ducassé:
An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy.
CLA 2006: 226-231 |
2005 |
67 | EE | Ludovic Langevine,
Mireille Ducassé:
A tracer driver for hybrid execution analyses.
AADEBUG 2005: 143-148 |
66 | EE | Tristan Denmat,
Mireille Ducassé,
Olivier Ridoux:
Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information.
ASE 2005: 396-399 |
65 | EE | Tristan Denmat,
Arnaud Gotlieb,
Mireille Ducassé:
Proving or Disproving likely Invariants with Constraint Reasoning.
WLPE 2005: 1-13 |
64 | EE | Ludovic Langevine,
Mireille Ducassé:
A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs.
WLPE 2005: 94-110 |
63 | EE | Ludovic Langevine,
Mireille Ducassé:
A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs
CoRR abs/cs/0508105: (2005) |
62 | EE | Tristan Denmat,
Arnaud Gotlieb,
Mireille Ducassé:
Proving or Disproving likely Invariants with Constraint Reasoning
CoRR abs/cs/0508108: (2005) |
2004 |
61 | EE | Elvis Tombini,
Hervé Debar,
Ludovic Mé,
Mireille Ducassé:
A Serial Combination of Anomaly and Misuse IDSes Applied to HTTP Traffic.
ACSAC 2004: 428-437 |
60 | EE | Ludovic Langevine,
Mireille Ducassé:
A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer.
ICLP 2004: 462-463 |
59 | | Ludovic Langevine,
Mireille Ducassé:
Un pilote de traceur pour la PLC.
JFPLC 2004 |
58 | | Hervé Debar,
Benjamin Morin,
Frédéric Cuppens,
Fabien Autrel,
Ludovic Mé,
Bernard Vivinis,
Salem Benferhat,
Mireille Ducassé,
Rodolphe Ortalo:
Détection d'intrusions : corrélation d'alertes.
Technique et Science Informatiques 23(3): 359-390 (2004) |
2003 |
57 | | Mireille Ducassé:
Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003
Hermes/Lavoisier 2003 |
56 | EE | Ludovic Langevine,
Pierre Deransart,
Mireille Ducassé:
A Generic Trace Schema for the Portability of CP(FD) Debugging Tools.
CSCLP 2003: 171-195 |
55 | EE | Ludovic Langevine,
Mireille Ducassé,
Pierre Deransart:
A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation.
ICLP 2003: 269-283 |
54 | EE | Bil Lewis,
Mireille Ducassé:
Using events to debug Java programs backwards in time.
OOPSLA Companion 2003: 96-97 |
53 | | Pierre Deransart,
Ludovic Langevine,
Mireille Ducassé:
Demonstration: Debugging constraint problems with portable tools.
WLPE 2003: 46-47 |
52 | EE | Erwan Jahier,
Mireille Ducassé:
Generic and Efficient Program Monitoring by trace analysis
CoRR cs.PL/0311016: (2003) |
51 | EE | Mireille Ducassé,
Ludovic Langevine,
Pierre Deransart:
Rigorous design of tracers: an experiment for constraint logic programming
CoRR cs.SE/0310042: (2003) |
2002 |
50 | EE | Jean-Philippe Pouzol,
Mireille Ducassé:
Formal Specification of Intrusion Signatures and Detection Rules.
CSFW 2002: 64- |
49 | EE | Mireille Ducassé,
Ludovic Langevine:
Automated Analysis of CLP(FD) Program Execution Traces.
ICLP 2002: 470-471 |
48 | | Mireille Ducassé,
Ludovic Langevine:
Analyse automatisée de traces d'exécution de programmes CLP(FD).
JFPLC 2002: 119- |
47 | | Ludovic Langevine,
Pierre Deransart,
Mireille Ducassé,
Erwan Jahier:
Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation.
JFPLC 2002: 135- |
46 | EE | Benjamin Morin,
Ludovic Mé,
Hervé Debar,
Mireille Ducassé:
M2D2: A Formal Data Model for IDS Alert Correlation.
RAID 2002: 115-127 |
45 | | Mireille Ducassé:
Introduction.
Autom. Softw. Eng. 9(1): 5 (2002) |
44 | | Erwan Jahier,
Mireille Ducassé:
Generic program monitoring by trace analysis.
TPLP 2(4-5): 611-643 (2002) |
2001 |
43 | EE | Jean-Philippe Pouzol,
Mireille Ducassé:
From Declarative Signatures to Misuse IDS.
Recent Advances in Intrusion Detection 2001: 1-21 |
42 | EE | Ludovic Langevine,
Pierre Deransart,
Mireille Ducassé,
Erwan Jahier:
Prototyping CLP(FD) tracers: a trace model and an experimental validation environment.
WLPE 2001 |
41 | EE | Mireille Ducassé,
Erwan Jahier:
Efficient Automated Trace Analysis: Examples with Morphine.
Electr. Notes Theor. Comput. Sci. 55(2): (2001) |
2000 |
40 | | Mireille Ducassé:
Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000
AADEBUG 2000 |
39 | | Erwan Jahier,
Mireille Ducassé,
Olivier Ridoux:
Spécification de modèles de traces à l'aide d'une sémantique par continuations.
JFPLC 2000: 67-84 |
38 | EE | Erwan Jahier,
Mireille Ducassé,
Olivier Ridoux:
Specifying Prolog trace models with a continuation semantics.
LOPSTR 2000 |
37 | EE | Erwan Jahier,
Mireille Ducassé,
Olivier Ridoux:
Specifying Prolog Trace Models with a Continuation Semantics.
LOPSTR (LNCS 2042: Selected Papers) 2000: 165-182 |
36 | | Mireille Ducassé,
Jacques Noyé:
Tracing Prolog Programs by Source Instrumentation is Efficient Enough.
J. Log. Program. 43(2): 157-172 (2000) |
1999 |
35 | | Erwan Jahier,
Mireille Ducassé:
A Generic Approach to Monitor Program Executions.
ICLP 1999: 139-153 |
34 | | Sarah Mallet,
Mireille Ducassé:
Generating Deductive Database Explanations.
ICLP 1999: 154-168 |
33 | EE | Mireille Ducassé:
Coca: An automated Debugger for C.
ICSE 1999: 504-513 |
32 | | Erwan Jahier,
Mireille Ducassé:
Un traceur d'exécution de programme ne sert pas qu'au débogage.
JFPLC 1999: 297-311 |
31 | | Mireille Ducassé,
Laurence Rozé:
Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency.
LOPSTR 1999: 10-29 |
30 | EE | Mireille Ducassé,
Anthony J. Kusalik,
Germán Puebla:
Preface.
Electr. Notes Theor. Comput. Sci. 30(4): (1999) |
29 | EE | Erwan Jahier,
Mireille Ducassé,
Olivier Ridoux:
Specifying Byrd's Box Model with a Continuation Semantics.
Electr. Notes Theor. Comput. Sci. 30(4): (1999) |
28 | | Mireille Ducassé:
Opium: An Extendable Trace Analyzer for Prolog.
J. Log. Program. 39(1-3): 177-223 (1999) |
1998 |
27 | | Mireille Ducassé,
Jacques Noyé:
Tracing Prolog Programs by Source Instrumentation is Efficient Enough.
Implementation Technology for Programming Languages based on Logic 1998: 46-58 |
26 | | Sarah Mallet,
Mireille Ducassé:
Pilotage d'un méta-interprète ensembliste par une trace "relationelle" pour le débogage de bases de données déductives.
JFPLC 1998: 151- |
25 | EE | Sarah Mallet,
Mireille Ducassé:
Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging.
LOPSTR 1998: 328-330 |
1997 |
24 | EE | Sarah Mallet,
Mireille Ducassé:
DDB Trees: A Basis for Deductive Database Explanations.
AADEBUG 1997: 87-102 |
23 | | Sarah Mallet,
Mireille Ducassé:
An Informal Presentation of DDB Trees: A Basis for Deductive Database Explanations.
DDLP 1997: 0- |
22 | | Germán Puebla,
Marco Comini,
Wlodzimierz Drabent,
Mireille Ducassé,
Massimo Fabris,
Christian Schulte:
Tools and Environments for (Constraint) Logic Programming (Workshop Overview).
ILPS 1997: 417-418 |
21 | | Sarah Mallet,
Mireille Ducassé:
Generating DDB Trees (Abstract).
LPE 1997: 13 |
20 | | Mireille Ducassé:
Introduction.
Autom. Softw. Eng. 4(2): 119-120 (1997) |
1996 |
19 | | Mireille Ducassé,
Jacques Noyé:
Tracing Prolog without a Tracer (Poster Abstract).
JICSLP 1996: 534 |
18 | | Stéphane Schoenig,
Mireille Ducassé:
A Backward Slicing Algorithm for Prolog.
SAS 1996: 317-331 |
1995 |
17 | | Mireille Ducassé:
Automated Debugging Extensions of the Opium Trace Analyser.
AADEBUG 1995: 293-308 |
16 | | Stéphane Schoenig,
Mireille Ducassé:
Hybrid Backward Slicing Algorithm Producing Executable Slices for Prolog.
LPE 1995 |
1994 |
15 | | Mireille Ducassé,
Jacques Noyé:
Logic Programming Environments: Dynamic Program Analysis and Debugging.
J. Log. Program. 19/20: 351-384 (1994) |
1993 |
14 | | Mireille Ducassé:
A Pragmatic Survey of Automated Debugging.
AADEBUG 1993: 1-15 |
1992 |
13 | | Mireille Ducassé:
Analysis of failing Prolog Executions.
JFPL 1992: 341-352 |
12 | | Mireille Ducassé:
Opium - A High-level Debugging Environment.
LPAR 1992: 472-474 |
11 | | Mireille Ducassé:
A Trace Analyser to Prototype Explanations.
LPE 1992: 22-28 |
10 | | Mireille Ducassé:
Opium - An Advanced Debugging System.
Logic Programming Summer School 1992: 303-312 |
9 | | Mireille Ducassé:
A General Trace Query Mechanism Based on Prolog.
PLILP 1992: 400-414 |
1991 |
8 | | Mireille Ducassé:
Abstract Views of Prolog Executions in Opium.
ISLP 1991: 18-32 |
7 | | Mireille Ducassé:
Analysis of Failing Prolog Executions.
LPE 1991: 2-9 |
1990 |
6 | | Anna-Maria Emde,
Mireille Ducassé:
Automated Debugging of Non-Terminating Prolog Programs.
LPE 1990: 35-39 |
5 | | Anna-Maria Emde,
Mireille Ducassé:
Automated debugging of non-terminating Prolog programs.
SPLT 1990: 89- |
1988 |
4 | | Mireille Ducassé:
Opium+, a Meta-Debugger for Prolog.
ECAI 1988: 272-277 |
3 | | Mireille Ducassé,
Anna-Maria Emde:
A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques.
ICSE 1988: 162-173 |
1986 |
2 | | Mireille Ducassé:
OPIUM: un outil de trace sophistiqué pour PROLOG.
SPLT 1986: 281-292 |
1984 |
1 | | Mireille Ducassé,
J. Faget,
Alain Grumbach:
A propos du mariage LISP-PROLOG: les bases du langage FROG.
SPLT 1984 |