Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Mireille Ducassé
2010 – today
- 2012
[c66]Alice Hermann, Sébastien Ferré, Mireille Ducassé: An Interactive Guidance Process Supporting Consistent Updates of RDFS Graphs. EKAW 2012: 185-199- [c65]Alice Hermann, Sébastien Ferré, Mireille Ducassé: Guided Semantic Annotation of Comic Panels with Sewelis. EKAW 2012: 430-433
- 2011
- [c64]Sébastien Ferré, Alice Hermann, Mireille Ducassé: Combining Faceted Search and Query Languages for the Semantic Web. CAiSE Workshops 2011: 554-563
- [c63]Mireille Ducassé, Sébastien Ferré, Peggy Cellier: Building up Shared Knowledge with Logical Information Systems. CLA 2011: 31-42
- [c62]Peggy 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
- [c61]Alice Hermann, Sébastien Ferré, Mireille Ducassé: Guided creation and update of objects in RDF(S) bases. K-CAP 2011: 189-190
- [c60]Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux: Multiple Fault Localization with Data Mining. SEKE 2011: 238-243
2000 – 2009
- 2009
- [j13]Benjamin 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)
- [c59]
- [c58]Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux: DeLLIS: A Data Mining Process for Fault Localization. SEKE 2009: 432-437
- 2008
- [j12]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)
- [j11]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)
- [c57]Mireille Ducassé, Sébastien Ferré: Fair(er) and (Almost) Serene Committee Meetings with Logical and Formal Concept Analysis. ICCS 2008: 217-230
- [c56]Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux: Formal Concept Analysis Enhances Fault Localization in Software. ICFCA 2008: 273-288
- [i7]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)
- 2007
- [c55]Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé: An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. CP 2007: 241-255
- [c54]Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé: A Parameterized Algorithm for Exploring Concept Lattices. ICFCA 2007: 114-129
- [c53]Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé: Improving Constraint-Based Testing with Dynamic Linear Relaxations. ISSRE 2007: 181-190
- [i6]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)
- [i5]Pierre Deransart, Mireille Ducassé, Gérard Ferrand: Observational semantics of the Prolog Resolution Box Model. CoRR abs/0711.4071 (2007)
- 2006
- [c52]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
- [c51]Ludovic Langevine, Mireille Ducassé: A tracer driver for hybrid execution analyses. AADEBUG 2005: 143-148
- [c50]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
- [c49]Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé: Proving or Disproving likely Invariants with Constraint Reasoning. WLPE 2005: 1-13
- [c48]Ludovic Langevine, Mireille Ducassé: A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs. WLPE 2005: 94-110
- [i4]Ludovic Langevine, Mireille Ducassé: A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs. CoRR abs/cs/0508105 (2005)
- [i3]Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé: Proving or Disproving likely Invariants with Constraint Reasoning. CoRR abs/cs/0508108 (2005)
- 2004
- [j10]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)
- [c47]Elvis Tombini, Hervé Debar, Ludovic Mé, Mireille Ducassé: A Serial Combination of Anomaly and Misuse IDSes Applied to HTTP Traffic. ACSAC 2004: 428-437
- [c46]Ludovic Langevine, Mireille Ducassé: A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer. ICLP 2004: 462-463
- [c45]
- 2003
- [c44]Ludovic Langevine, Pierre Deransart, Mireille Ducassé: A Generic Trace Schema for the Portability of CP(FD) Debugging Tools. CSCLP 2003: 171-195
- [c43]Ludovic Langevine, Mireille Ducassé, Pierre Deransart: A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation. ICLP 2003: 269-283
- [c42]Pierre Deransart, Ludovic Langevine, Mireille Ducassé: Demonstration: Debugging constraint problems with portable tools. WLPE 2003: 46-47
- [c41]Bil Lewis, Mireille Ducassé: Using events to debug Java programs backwards in time. OOPSLA Companion 2003: 96-97
- [e2]Mireille Ducassé (Ed.): Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003. Hermes/Lavoisier 2003, ISBN 2-7462-0739-7
- [i2]Erwan Jahier, Mireille Ducassé: Generic and Efficient Program Monitoring by trace analysis. CoRR cs.PL/0311016 (2003)
- [i1]Mireille Ducassé, Ludovic Langevine, Pierre Deransart: Rigorous design of tracers: an experiment for constraint logic programming. CoRR cs.SE/0310042 (2003)
- 2002
- [j9]
- [j8]Erwan Jahier, Mireille Ducassé: Generic program monitoring by trace analysis. TPLP 2(4-5): 611-643 (2002)
- [c40]Jean-Philippe Pouzol, Mireille Ducassé: Formal Specification of Intrusion Signatures and Detection Rules. CSFW 2002: 64-
- [c39]Mireille Ducassé, Ludovic Langevine: Automated Analysis of CLP(FD) Program Execution Traces. ICLP 2002: 470-471
- [c38]Mireille Ducassé, Ludovic Langevine: Analyse automatisée de traces d'exécution de programmes CLP(FD). JFPLC 2002: 119-
- [c37]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-
- [c36]Benjamin Morin, Ludovic Mé, Hervé Debar, Mireille Ducassé: M2D2: A Formal Data Model for IDS Alert Correlation. RAID 2002: 115-127
- 2001
- [j7]Mireille Ducassé, Erwan Jahier: Efficient Automated Trace Analysis: Examples with Morphine. Electr. Notes Theor. Comput. Sci. 55(2): 118-133 (2001)
- [c35]Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier: Prototyping CLP(FD) tracers: a trace model and an experimental validation environment. WLPE 2001
- [c34]Jean-Philippe Pouzol, Mireille Ducassé: From Declarative Signatures to Misuse IDS. Recent Advances in Intrusion Detection 2001: 1-21
- 2000
- [j6]Mireille Ducassé, Jacques Noyé: Tracing Prolog Programs by Source Instrumentation is Efficient Enough. J. Log. Program. 43(2): 157-172 (2000)
- [c33]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
- [c32]Erwan Jahier, Mireille Ducassé, Olivier Ridoux: Specifying Prolog trace models with a continuation semantics. LOPSTR 2000
- [c31]Erwan Jahier, Mireille Ducassé, Olivier Ridoux: Specifying Prolog Trace Models with a Continuation Semantics. LOPSTR (LNCS 2042: Selected Papers) 2000: 165-182
- [e1]Mireille Ducassé (Ed.): Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000. 2000
1990 – 1999
- 1999
- [j5]Mireille Ducassé: Opium: An Extendable Trace Analyzer for Prolog. J. Log. Program. 39(1-3): 177-223 (1999)
- [j4]Mireille Ducassé, Anthony J. Kusalik, Germán Puebla: Preface. Electr. Notes Theor. Comput. Sci. 30(4): 197 (1999)
- [j3]Erwan Jahier, Mireille Ducassé, Olivier Ridoux: Specifying Byrd's Box Model with a Continuation Semantics. Electr. Notes Theor. Comput. Sci. 30(4): 308-315 (1999)
- [c30]Erwan Jahier, Mireille Ducassé: A Generic Approach to Monitor Program Executions. ICLP 1999: 139-153
- [c29]
- [c28]
- [c27]Erwan Jahier, Mireille Ducassé: Un traceur d'exécution de programme ne sert pas qu'au débogage. JFPLC 1999: 297-311
- [c26]Mireille Ducassé, Laurence Rozé: Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency. LOPSTR 1999: 10-29
- 1998
- [c25]Mireille Ducassé, Jacques Noyé: Tracing Prolog Programs by Source Instrumentation is Efficient Enough. Implementation Technology for Programming Languages based on Logic 1998: 46-58
- [c24]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-
- [c23]Sarah Mallet, Mireille Ducassé: Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging. LOPSTR 1998: 328-330
- 1997
- [j2]
- [c22]Sarah Mallet, Mireille Ducassé: DDB Trees: A Basis for Deductive Database Explanations. AADEBUG 1997: 87-102
- [c21]Sarah Mallet, Mireille Ducassé: An Informal Presentation of DDB Trees: A Basis for Deductive Database Explanations. DDLP 1997
- [c20]
- [c19]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
- 1996
- [c18]
- [c17]
- 1995
- [c16]
- [c15]Stéphane Schoenig, Mireille Ducassé: Hybrid Backward Slicing Algorithm Producing Executable Slices for Prolog. LPE 1995
- 1994
- [j1]Mireille Ducassé, Jacques Noyé: Logic Programming Environments: Dynamic Program Analysis and Debugging. J. Log. Program. 19/20: 351-384 (1994)
- 1993
- [c14]
- 1992
- [c13]
- [c12]
- [c11]
- [c10]Mireille Ducassé: Opium - An Advanced Debugging System. Logic Programming Summer School 1992: 303-312
- [c9]
- 1991
- [c8]
- [c7]
- 1990
- [c6]Anna-Maria Emde, Mireille Ducassé: Automated debugging of non-terminating Prolog programs. SPLT 1990: 89-
- [c5]Anna-Maria Emde, Mireille Ducassé: Automated Debugging of Non-Terminating Prolog Programs. LPE 1990: 35-39
1980 – 1989
- 1988
- [c4]
- [c3]Mireille Ducassé, Anna-Maria Emde: A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques. ICSE 1988: 162-173
- 1986
- [c2]
- 1984
- [c1]Mireille Ducassé, J. Faget, Alain Grumbach: A propos du mariage LISP-PROLOG: les bases du langage FROG. SPLT 1984
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-26 20:10 CET by the dblp team