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

Mireille Ducassé Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSébastien Ferré, Alice Hermann, Mireille Ducassé: Combining Faceted Search and Query Languages for the Semantic Web. CAiSE Workshops 2011: 554-563
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeggy Cellier, Sébastien Ferré, Mireille Ducassé, Thierry Charnois: Partial Orders and Logical Concept Analysis to Explore Patterns Extracted by Data Mining. ICCS 2011: 77-90
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlice Hermann, Sébastien Ferré, Mireille Ducassé: Guided creation and update of objects in RDF(S) bases. K-CAP 2011: 189-190
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux: Multiple Fault Localization with Data Mining. SEKE 2011: 238-243
2010
82no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew P. Black, Mireille Ducassé, Oscar Nierstrasz, Damien Pollet: Pharo by Example (Version 2010-02-01). Square Bracket Associates 2010: I-XII, 1-333
2009
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé: (C)LP Tracing and Debugging. ICLP 2009: 38
80no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux: DeLLIS: A Data Mining Process for Fault Localization. SEKE 2009: 432-437
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Morin, Ludovic Mé, Hervé Debar, Mireille Ducassé: A logic-based model to support alert correlation in intrusion detection. Information Fusion 10(4): 285-299 (2009)
2008
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé, Sébastien Ferré: Fair(er) and (Almost) Serene Committee Meetings with Logical and Formal Concept Analysis. ICCS 2008: 217-230
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux: Formal Concept Analysis Enhances Fault Localization in Software. ICFCA 2008: 273-288
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLudovic Langevine, Mireille Ducassé: Design and Implementation of a Tracer Driver: Easy and Efficient Dynamic Analyses of Constraint Logic Programs CoRR abs/0804.4116: (2008)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeggy 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)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLudovic 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
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTristan Denmat, Arnaud Gotlieb, Mireille Ducassé: An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. CP 2007: 241-255
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé: A Parameterized Algorithm for Exploring Concept Lattices. ICFCA 2007: 114-129
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTristan Denmat, Arnaud Gotlieb, Mireille Ducassé: Improving Constraint-Based Testing with Dynamic Linear Relaxations. ISSRE 2007: 181-190
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre 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)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Deransart, Mireille Ducassé, Gérard Ferrand: Observational semantics of the Prolog Resolution Box Model CoRR abs/0711.4071: (2007)
2006
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeggy 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
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLudovic Langevine, Mireille Ducassé: A tracer driver for hybrid execution analyses. AADEBUG 2005: 143-148
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTristan 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
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTristan Denmat, Arnaud Gotlieb, Mireille Ducassé: Proving or Disproving likely Invariants with Constraint Reasoning. WLPE 2005: 1-13
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLudovic Langevine, Mireille Ducassé: A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs. WLPE 2005: 94-110
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLudovic Langevine, Mireille Ducassé: A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs CoRR abs/cs/0508105: (2005)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTristan Denmat, Arnaud Gotlieb, Mireille Ducassé: Proving or Disproving likely Invariants with Constraint Reasoning CoRR abs/cs/0508108: (2005)
2004
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElvis Tombini, Hervé Debar, Ludovic Mé, Mireille Ducassé: A Serial Combination of Anomaly and Misuse IDSes Applied to HTTP Traffic. ACSAC 2004: 428-437
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLudovic Langevine, Mireille Ducassé: A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer. ICLP 2004: 462-463
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLudovic Langevine, Mireille Ducassé: Un pilote de traceur pour la PLC. JFPLC 2004
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé 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
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé: Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003 Hermes/Lavoisier 2003
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLudovic Langevine, Pierre Deransart, Mireille Ducassé: A Generic Trace Schema for the Portability of CP(FD) Debugging Tools. CSCLP 2003: 171-195
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLudovic Langevine, Mireille Ducassé, Pierre Deransart: A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation. ICLP 2003: 269-283
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBil Lewis, Mireille Ducassé: Using events to debug Java programs backwards in time. OOPSLA Companion 2003: 96-97
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Deransart, Ludovic Langevine, Mireille Ducassé: Demonstration: Debugging constraint problems with portable tools. WLPE 2003: 46-47
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErwan Jahier, Mireille Ducassé: Generic and Efficient Program Monitoring by trace analysis CoRR cs.PL/0311016: (2003)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé, Ludovic Langevine, Pierre Deransart: Rigorous design of tracers: an experiment for constraint logic programming CoRR cs.SE/0310042: (2003)
2002
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Philippe Pouzol, Mireille Ducassé: Formal Specification of Intrusion Signatures and Detection Rules. CSFW 2002: 64-
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé, Ludovic Langevine: Automated Analysis of CLP(FD) Program Execution Traces. ICLP 2002: 470-471
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé, Ludovic Langevine: Analyse automatisée de traces d'exécution de programmes CLP(FD). JFPLC 2002: 119-
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLudovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier: Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation. JFPLC 2002: 135-
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Morin, Ludovic Mé, Hervé Debar, Mireille Ducassé: M2D2: A Formal Data Model for IDS Alert Correlation. RAID 2002: 115-127
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé: Introduction. Autom. Softw. Eng. 9(1): 5 (2002)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErwan Jahier, Mireille Ducassé: Generic program monitoring by trace analysis. TPLP 2(4-5): 611-643 (2002)
2001
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Philippe Pouzol, Mireille Ducassé: From Declarative Signatures to Misuse IDS. Recent Advances in Intrusion Detection 2001: 1-21
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLudovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier: Prototyping CLP(FD) tracers: a trace model and an experimental validation environment. WLPE 2001
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé, Erwan Jahier: Efficient Automated Trace Analysis: Examples with Morphine. Electr. Notes Theor. Comput. Sci. 55(2): 118-133 (2001)
2000
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000 AADEBUG 2000
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErwan Jahier, Mireille Ducassé, Olivier Ridoux: Spécification de modèles de traces à l'aide d'une sémantique par continuations. JFPLC 2000: 67-84
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErwan Jahier, Mireille Ducassé, Olivier Ridoux: Specifying Prolog trace models with a continuation semantics. LOPSTR 2000
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErwan Jahier, Mireille Ducassé, Olivier Ridoux: Specifying Prolog Trace Models with a Continuation Semantics. LOPSTR (LNCS 2042: Selected Papers) 2000: 165-182
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé, Jacques Noyé: Tracing Prolog Programs by Source Instrumentation is Efficient Enough. J. Log. Program. 43(2): 157-172 (2000)
1999
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErwan Jahier, Mireille Ducassé: A Generic Approach to Monitor Program Executions. ICLP 1999: 139-153
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSarah Mallet, Mireille Ducassé: Generating Deductive Database Explanations. ICLP 1999: 154-168
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé: Coca: An automated Debugger for C. ICSE 1999: 504-513
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErwan Jahier, Mireille Ducassé: Un traceur d'exécution de programme ne sert pas qu'au débogage. JFPLC 1999: 297-311
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé, Laurence Rozé: Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency. LOPSTR 1999: 10-29
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé, Anthony J. Kusalik, Germán Puebla: Preface. Electr. Notes Theor. Comput. Sci. 30(4): 197 (1999)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErwan Jahier, Mireille Ducassé, Olivier Ridoux: Specifying Byrd's Box Model with a Continuation Semantics. Electr. Notes Theor. Comput. Sci. 30(4): 308-315 (1999)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé: Opium: An Extendable Trace Analyzer for Prolog. J. Log. Program. 39(1-3): 177-223 (1999)
1998
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé, Jacques Noyé: Tracing Prolog Programs by Source Instrumentation is Efficient Enough. Implementation Technology for Programming Languages based on Logic 1998: 46-58
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSarah 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-
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSarah Mallet, Mireille Ducassé: Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging. LOPSTR 1998: 328-330
1997
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSarah Mallet, Mireille Ducassé: DDB Trees: A Basis for Deductive Database Explanations. AADEBUG 1997: 87-102
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSarah Mallet, Mireille Ducassé: An Informal Presentation of DDB Trees: A Basis for Deductive Database Explanations. DDLP 1997
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermá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
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSarah Mallet, Mireille Ducassé: Generating DDB Trees (Abstract). LPE 1997: 13
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé: Introduction. Autom. Softw. Eng. 4(2): 119-120 (1997)
1996
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé, Jacques Noyé: Tracing Prolog without a Tracer (Poster Abstract). JICSLP 1996: 534
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Schoenig, Mireille Ducassé: A Backward Slicing Algorithm for Prolog. SAS 1996: 317-331
1995
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé: Automated Debugging Extensions of the Opium Trace Analyser. AADEBUG 1995: 293-308
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Schoenig, Mireille Ducassé: Hybrid Backward Slicing Algorithm Producing Executable Slices for Prolog. LPE 1995
1994
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé, Jacques Noyé: Logic Programming Environments: Dynamic Program Analysis and Debugging. J. Log. Program. 19/20: 351-384 (1994)
1993
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé: A Pragmatic Survey of Automated Debugging. AADEBUG 1993: 1-15
1992
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé: Analysis of failing Prolog Executions. JFPL 1992: 341-352
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé: Opium - A High-level Debugging Environment. LPAR 1992: 472-474
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé: A Trace Analyser to Prototype Explanations. LPE 1992: 22-28
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé: Opium - An Advanced Debugging System. Logic Programming Summer School 1992: 303-312
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé: A General Trace Query Mechanism Based on Prolog. PLILP 1992: 400-414
1991
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé: Abstract Views of Prolog Executions in Opium. ISLP 1991: 18-32
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé: Analysis of Failing Prolog Executions. LPE 1991: 2-9
1990
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna-Maria Emde, Mireille Ducassé: Automated Debugging of Non-Terminating Prolog Programs. LPE 1990: 35-39
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna-Maria Emde, Mireille Ducassé: Automated debugging of non-terminating Prolog programs. SPLT 1990: 89-
1988
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé: Opium+, a Meta-Debugger for Prolog. ECAI 1988: 272-277
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé, Anna-Maria Emde: A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques. ICSE 1988: 162-173
1986
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille Ducassé: OPIUM: un outil de trace sophistiqué pour PROLOG. SPLT 1986: 281-292
1984
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille 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]
3Andrew P. Black [82]
4Peggy Cellier [68] [72] [75] [77] [80] [83] [85]
5Thierry Charnois [85]
6Marco Comini [22]
7Frédéric Cuppens [58]
8Hervé Debar [46] [58] [61] [79]
9Tristan Denmat [62] [65] [66] [71] [73]
10Pierre Deransart [42] [47] [51] [53] [55] [56] [69] [70]
11Wlodzimierz Drabent (Wlodek Drabent) [22]
12Anna-Maria Emde [3] [5] [6]
13Massimo Fabris [22]
14J. Faget [1]
15Gérard Ferrand [69] [70]
16Sébastien Ferré [68] [72] [75] [77] [78] [80] [83] [84] [85] [86]
17Arnaud Gotlieb [62] [65] [71] [73]
18Alain Grumbach [1]
19Alice Hermann [84] [86]
20Erwan Jahier [29] [32] [35] [37] [38] [39] [41] [42] [44] [47] [52]
21Anthony J. Kusalik [30]
22Ludovic Langevine [42] [47] [48] [49] [51] [53] [55] [56] [59] [60] [63] [64] [67] [74] [76]
23Bil Lewis [54]
24Sarah Mallet [21] [23] [24] [25] [26] [34]
25Ludovic Mé [46] [58] [61] [79]
26Benjamin Morin [46] [58] [79]
27Oscar Nierstrasz [82]
28Jacques Noyé [15] [19] [27] [36]
29Rodolphe Ortalo [58]
30Damien Pollet [82]
31Jean-Philippe Pouzol [43] [50]
32Germán Puebla (German Puebla) [22] [30]
33Olivier Ridoux [29] [37] [38] [39] [66] [68] [72] [75] [77] [80] [83]
34Laurence Rozé [31]
35Stéphane Schoenig [16] [18]
36Christian Schulte [22]
37Elvis Tombini [61]
38Bernard Vivinis [58]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page