dblp.uni-trier.dewww.uni-trier.de

Mireille Ducassé

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
77EEMireille Ducassé, Sébastien Ferré: Fair(er) and (Almost) Serene Committee Meetings with Logical and Formal Concept Analysis. ICCS 2008: 217-230
76EEPeggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux: Formal Concept Analysis Enhances Fault Localization in Software. ICFCA 2008: 273-288
75EELudovic Langevine, Mireille Ducassé: Design and Implementation of a Tracer Driver: Easy and Efficient Dynamic Analyses of Constraint Logic Programs CoRR abs/0804.4116: (2008)
74EEPeggy 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)
73EELudovic 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
72EETristan Denmat, Arnaud Gotlieb, Mireille Ducassé: An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. CP 2007: 241-255
71EEPeggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé: A Parameterized Algorithm for Exploring Concept Lattices. ICFCA 2007: 114-129
70EEPierre 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)
69EEPierre Deransart, Mireille Ducassé, Gérard Ferrand: Observational semantics of the Prolog Resolution Box Model CoRR abs/0711.4071: (2007)
2006
68EEPeggy 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
67EELudovic Langevine, Mireille Ducassé: A tracer driver for hybrid execution analyses. AADEBUG 2005: 143-148
66EETristan 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
65EETristan Denmat, Arnaud Gotlieb, Mireille Ducassé: Proving or Disproving likely Invariants with Constraint Reasoning. WLPE 2005: 1-13
64EELudovic Langevine, Mireille Ducassé: A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs. WLPE 2005: 94-110
63EELudovic Langevine, Mireille Ducassé: A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs CoRR abs/cs/0508105: (2005)
62EETristan Denmat, Arnaud Gotlieb, Mireille Ducassé: Proving or Disproving likely Invariants with Constraint Reasoning CoRR abs/cs/0508108: (2005)
2004
61EEElvis Tombini, Hervé Debar, Ludovic Mé, Mireille Ducassé: A Serial Combination of Anomaly and Misuse IDSes Applied to HTTP Traffic. ACSAC 2004: 428-437
60EELudovic 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
56EELudovic Langevine, Pierre Deransart, Mireille Ducassé: A Generic Trace Schema for the Portability of CP(FD) Debugging Tools. CSCLP 2003: 171-195
55EELudovic Langevine, Mireille Ducassé, Pierre Deransart: A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation. ICLP 2003: 269-283
54EEBil 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
52EEErwan Jahier, Mireille Ducassé: Generic and Efficient Program Monitoring by trace analysis CoRR cs.PL/0311016: (2003)
51EEMireille Ducassé, Ludovic Langevine, Pierre Deransart: Rigorous design of tracers: an experiment for constraint logic programming CoRR cs.SE/0310042: (2003)
2002
50EEJean-Philippe Pouzol, Mireille Ducassé: Formal Specification of Intrusion Signatures and Detection Rules. CSFW 2002: 64-
49EEMireille 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-
46EEBenjamin 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
43EEJean-Philippe Pouzol, Mireille Ducassé: From Declarative Signatures to Misuse IDS. Recent Advances in Intrusion Detection 2001: 1-21
42EELudovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier: Prototyping CLP(FD) tracers: a trace model and an experimental validation environment. WLPE 2001
41EEMireille 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
38EEErwan Jahier, Mireille Ducassé, Olivier Ridoux: Specifying Prolog trace models with a continuation semantics. LOPSTR 2000
37EEErwan 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
33EEMireille 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
30EEMireille Ducassé, Anthony J. Kusalik, Germán Puebla: Preface. Electr. Notes Theor. Comput. Sci. 30(4): (1999)
29EEErwan 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-
25EESarah Mallet, Mireille Ducassé: Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging. LOPSTR 1998: 328-330
1997
24EESarah 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

Coauthor Index

1Fabien Autrel [58]
2Salem Benferhat [58]
3Peggy Cellier [68] [71] [74] [76]
4Marco Comini [22]
5Frédéric Cuppens [58]
6Hervé Debar [46] [58] [61]
7Tristan Denmat [62] [65] [66] [72]
8Pierre Deransart [42] [47] [51] [53] [55] [56] [69] [70]
9Wlodzimierz Drabent (Wlodek Drabent) [22]
10Anna-Maria Emde [3] [5] [6]
11Massimo Fabris [22]
12J. Faget [1]
13Gérard Ferrand [69] [70]
14Sébastien Ferré [68] [71] [74] [76] [77]
15Arnaud Gotlieb [62] [65] [72]
16Alain Grumbach [1]
17Erwan Jahier [29] [32] [35] [37] [38] [39] [41] [42] [44] [47] [52]
18Anthony J. Kusalik [30]
19Ludovic Langevine [42] [47] [48] [49] [51] [53] [55] [56] [59] [60] [63] [64] [67] [73] [75]
20Bil Lewis [54]
21Sarah Mallet [21] [23] [24] [25] [26] [34]
22Ludovic Mé [46] [58] [61]
23Benjamin Morin [46] [58]
24Jacques Noyé [15] [19] [27] [36]
25Rodolphe Ortalo [58]
26Jean-Philippe Pouzol [43] [50]
27Germán Puebla (German Puebla) [22] [30]
28Olivier Ridoux [29] [37] [38] [39] [66] [68] [71] [74] [76]
29Laurence Rozé [31]
30Stéphane Schoenig [16] [18]
31Christian Schulte [22]
32Elvis Tombini [61]
33Bernard Vivinis [58]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)