Mireille Ducassé

Alice Hermann, Sébastien Ferré, Mireille Ducassé: An Interactive Guidance Process Supporting Consistent Updates of RDFS Graphs. EKAW 2012: 185-199

Alice Hermann, Sébastien Ferré, Mireille Ducassé: Guided Semantic Annotation of Comic Panels with Sewelis. EKAW 2012: 430-433

Sébastien Ferré, Alice Hermann, Mireille Ducassé: Combining Faceted Search and Query Languages for the Semantic Web. CAiSE Workshops 2011: 554-563

Mireille Ducassé, Sébastien Ferré, Peggy Cellier: Building up Shared Knowledge with Logical Information Systems. CLA 2011: 31-42

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

Alice Hermann, Sébastien Ferré, Mireille Ducassé: Guided creation and update of objects in RDF(S) bases. K-CAP 2011: 189-190

Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux: Multiple Fault Localization with Data Mining. SEKE 2011: 238-243

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)

Mireille Ducassé: (C)LP Tracing and Debugging. ICLP 2009: 38

Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux: DeLLIS: A Data Mining Process for Fault Localization. SEKE 2009: 432-437

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)

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)

Mireille Ducassé, Sébastien Ferré: Fair(er) and (Almost) Serene Committee Meetings with Logical and Formal Concept Analysis. ICCS 2008: 217-230

Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux: Formal Concept Analysis Enhances Fault Localization in Software. ICFCA 2008: 273-288

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)

Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé: An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. CP 2007: 241-255

Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé: A Parameterized Algorithm for Exploring Concept Lattices. ICFCA 2007: 114-129

Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé: Improving Constraint-Based Testing with Dynamic Linear Relaxations. ISSRE 2007: 181-190

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)

Pierre Deransart, Mireille Ducassé, Gérard Ferrand: Observational semantics of the Prolog Resolution Box Model. CoRR abs/0711.4071 (2007)

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

Ludovic Langevine, Mireille Ducassé: A tracer driver for hybrid execution analyses. AADEBUG 2005: 143-148

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

Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé: Proving or Disproving likely Invariants with Constraint Reasoning. WLPE 2005: 1-13

Ludovic Langevine, Mireille Ducassé: A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs. WLPE 2005: 94-110

Ludovic Langevine, Mireille Ducassé: A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs. CoRR abs/cs/0508105 (2005)

Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé: Proving or Disproving likely Invariants with Constraint Reasoning. CoRR abs/cs/0508108 (2005)

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)

Elvis Tombini, Hervé Debar, Ludovic Mé, Mireille Ducassé: A Serial Combination of Anomaly and Misuse IDSes Applied to HTTP Traffic. ACSAC 2004: 428-437

Ludovic Langevine, Mireille Ducassé: A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer. ICLP 2004: 462-463

Ludovic Langevine, Mireille Ducassé: Un pilote de traceur pour la PLC. JFPLC 2004

Ludovic Langevine, Pierre Deransart, Mireille Ducassé: A Generic Trace Schema for the Portability of CP(FD) Debugging Tools. CSCLP 2003: 171-195

Ludovic Langevine, Mireille Ducassé, Pierre Deransart: A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation. ICLP 2003: 269-283

Pierre Deransart, Ludovic Langevine, Mireille Ducassé: Demonstration: Debugging constraint problems with portable tools. WLPE 2003: 46-47

Bil Lewis, Mireille Ducassé: Using events to debug Java programs backwards in time. OOPSLA Companion 2003: 96-97

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

Erwan Jahier, Mireille Ducassé: Generic and Efficient Program Monitoring by trace analysis. CoRR cs.PL/0311016 (2003)

Mireille Ducassé, Ludovic Langevine, Pierre Deransart: Rigorous design of tracers: an experiment for constraint logic programming. CoRR cs.SE/0310042 (2003)

Mireille Ducassé: Introduction. Autom. Softw. Eng. 9(1): 5 (2002)

Erwan Jahier, Mireille Ducassé: Generic program monitoring by trace analysis. TPLP 2(4-5): 611-643 (2002)

Jean-Philippe Pouzol, Mireille Ducassé: Formal Specification of Intrusion Signatures and Detection Rules. CSFW 2002: 64-

Mireille Ducassé, Ludovic Langevine: Automated Analysis of CLP(FD) Program Execution Traces. ICLP 2002: 470-471

Mireille Ducassé, Ludovic Langevine: Analyse automatisée de traces d'exécution de programmes CLP(FD). JFPLC 2002: 119-

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-

Benjamin Morin, Ludovic Mé, Hervé Debar, Mireille Ducassé: M2D2: A Formal Data Model for IDS Alert Correlation. RAID 2002: 115-127

Mireille Ducassé, Erwan Jahier: Efficient Automated Trace Analysis: Examples with Morphine. Electr. Notes Theor. Comput. Sci. 55(2): 118-133 (2001)

Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier: Prototyping CLP(FD) tracers: a trace model and an experimental validation environment. WLPE 2001

Jean-Philippe Pouzol, Mireille Ducassé: From Declarative Signatures to Misuse IDS. Recent Advances in Intrusion Detection 2001: 1-21

Mireille Ducassé, Jacques Noyé: Tracing Prolog Programs by Source Instrumentation is Efficient Enough. J. Log. Program. 43(2): 157-172 (2000)

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

Erwan Jahier, Mireille Ducassé, Olivier Ridoux: Specifying Prolog trace models with a continuation semantics. LOPSTR 2000

Erwan Jahier, Mireille Ducassé, Olivier Ridoux: Specifying Prolog Trace Models with a Continuation Semantics. LOPSTR (LNCS 2042: Selected Papers) 2000: 165-182

Mireille Ducassé (Ed.): Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000. 2000

Mireille Ducassé: Opium: An Extendable Trace Analyzer for Prolog. J. Log. Program. 39(1-3): 177-223 (1999)

Mireille Ducassé, Anthony J. Kusalik, Germán Puebla: Preface. Electr. Notes Theor. Comput. Sci. 30(4): 197 (1999)

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)

Erwan Jahier, Mireille Ducassé: A Generic Approach to Monitor Program Executions. ICLP 1999: 139-153

Sarah Mallet, Mireille Ducassé: Generating Deductive Database Explanations. ICLP 1999: 154-168

Mireille Ducassé: Coca: An automated Debugger for C. ICSE 1999: 504-513

Erwan Jahier, Mireille Ducassé: Un traceur d'exécution de programme ne sert pas qu'au débogage. JFPLC 1999: 297-311

Mireille Ducassé, Laurence Rozé: Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency. LOPSTR 1999: 10-29

Mireille Ducassé, Jacques Noyé: Tracing Prolog Programs by Source Instrumentation is Efficient Enough. Implementation Technology for Programming Languages based on Logic 1998: 46-58

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-

Sarah Mallet, Mireille Ducassé: Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging. LOPSTR 1998: 328-330

Mireille Ducassé: Introduction. Autom. Softw. Eng. 4(2): 119-120 (1997)

Sarah Mallet, Mireille Ducassé: DDB Trees: A Basis for Deductive Database Explanations. AADEBUG 1997: 87-102

Sarah Mallet, Mireille Ducassé: An Informal Presentation of DDB Trees: A Basis for Deductive Database Explanations. DDLP 1997

Sarah Mallet, Mireille Ducassé: Generating DDB Trees (Abstract). LPE 1997: 13

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

Mireille Ducassé, Jacques Noyé: Tracing Prolog without a Tracer (Poster Abstract). JICSLP 1996: 534

Stéphane Schoenig, Mireille Ducassé: A Backward Slicing Algorithm for Prolog. SAS 1996: 317-331

Mireille Ducassé: Automated Debugging Extensions of the Opium Trace Analyser. AADEBUG 1995: 293-308

Stéphane Schoenig, Mireille Ducassé: Hybrid Backward Slicing Algorithm Producing Executable Slices for Prolog. LPE 1995

Mireille Ducassé, Jacques Noyé: Logic Programming Environments: Dynamic Program Analysis and Debugging. J. Log. Program. 19/20: 351-384 (1994)

Mireille Ducassé: A Pragmatic Survey of Automated Debugging. AADEBUG 1993: 1-15

Mireille Ducassé: Analysis of failing Prolog Executions. JFPL 1992: 341-352

Mireille Ducassé: Opium - A High-level Debugging Environment. LPAR 1992: 472-474

Mireille Ducassé: A Trace Analyser to Prototype Explanations. LPE 1992: 22-28

Mireille Ducassé: Opium - An Advanced Debugging System. Logic Programming Summer School 1992: 303-312

Mireille Ducassé: A General Trace Query Mechanism Based on Prolog. PLILP 1992: 400-414

Mireille Ducassé: Analysis of Failing Prolog Executions. LPE 1991: 2-9

Mireille Ducassé: Abstract Views of Prolog Executions in Opium. ISLP 1991: 18-32

Anna-Maria Emde, Mireille Ducassé: Automated debugging of non-terminating Prolog programs. SPLT 1990: 89-

Anna-Maria Emde, Mireille Ducassé: Automated Debugging of Non-Terminating Prolog Programs. LPE 1990: 35-39

Mireille Ducassé: Opium⁺, a Meta-Debugger for Prolog. ECAI 1988: 272-277

Mireille Ducassé, Anna-Maria Emde: A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques. ICSE 1988: 162-173

Mireille Ducassé: OPIUM: un outil de trace sophistiqué pour PROLOG. SPLT 1986: 281-292

Mireille Ducassé, J. Faget, Alain Grumbach: A propos du mariage LISP-PROLOG: les bases du langage FROG. SPLT 1984