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 |