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

OPIUM: un outil de trace sophistiqué pour PROLOG. - Mireille Ducassé (SPLT, 1986)

Opium+, a Meta-Debugger for Prolog. - Mireille Ducassé (ECAI, 1988)

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

Automated debugging of non-terminating Prolog programs. - Anna-Maria Emde; Mireille Ducassé (SPLT, 1990)

Abstract Views of Prolog Executions in Opium. - Mireille Ducassé (ISLP, 1991)

OPIUM: a debugging environment for Prolog development and debugging research. - Mireille Ducassé; Anna-Maria Emde (ACM SIGSOFT Softw. Eng. Notes, 1991)

Analysis of failing Prolog Executions. - Mireille Ducassé (JFPL, 1992)

Opium - A High-level Debugging Environment. - Mireille Ducassé (LPAR, 1992)

A Trace Analyser to Prototype Explanations. - Mireille Ducassé (LPE, 1992)

Opium - An Advanced Debugging System. - Mireille Ducassé (Logic Programming Summer School, 1992)

A General Trace Query Mechanism Based on Prolog. - Mireille Ducassé (PLILP, 1992)

A Pragmatic Survey of Automated Debugging. - Mireille Ducassé (AADEBUG, 1993)

Logic Programming Environments: Dynamic Program Analysis and Debugging. - Mireille Ducassé; Jacques Noyé (J. Log. Program., 1994)

Automated Debugging Extensions of the Opium Trace Analyser. - Mireille Ducassé (AADEBUG, 1995)

Hybrid Backward Slicing Algorithm Producing Executable Slices for Prolog. - Stéphane Schoenig; Mireille Ducassé (LPE, 1995)

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

A Backward Slicing Algorithm for Prolog. - Stéphane Schoenig; Mireille Ducassé (SAS, 1996)

DDB Trees: A Basis for Deductive Database Explanations. - Sarah Mallet; Mireille Ducassé (AADEBUG, 1997)

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

Generating DDB Trees (Abstract). - Sarah Mallet; Mireille Ducassé (LPE, 1997)

Tools and Environments for (Constraint) Logic Programming (Workshop Overview). - Germán Puebla; Marco Comini; Wlodzimierz Drabent; Mireille Ducassé; Massimo Fabris; Christian Schulte 001 (ILPS, 1997)

Pilotage d'un méta-interprète ensembliste par une trace "relationelle" pour le débogage de bases de données déductives. - Sarah Mallet; Mireille Ducassé (JFPLC, 1998)

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

A Generic Approach to Monitor Program Executions. - Erwan Jahier; Mireille Ducassé (ICLP, 1999)

Generating Deductive Database Explanations. - Sarah Mallet; Mireille Ducassé (ICLP, 1999)

Coca: An automated Debugger for C. - Mireille Ducassé (ICSE, 1999)

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

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

Opium: An Extendable Trace Analyzer for Prolog. - Mireille Ducassé (J. Log. Program., 1999)

Preface. - Mireille Ducassé; Anthony J. Kusalik; Germán Puebla (WLPE@ICLP, 1999)

Specifying Byrd's Box Model with a Continuation Semantics. - Erwan Jahier; Mireille Ducassé; Olivier Ridoux (WLPE@ICLP, 1999)

Spécification de modèles de traces à l'aide d'une sémantique par continuations. - Erwan Jahier; Mireille Ducassé; Olivier Ridoux (JFPLC, 2000)

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

Tracing Prolog Programs by Source Instrumentation is Efficient Enough. - Mireille Ducassé; Jacques Noyé (J. Log. Program., 2000)

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

From Declarative Signatures to Misuse IDS. - Jean-Philippe Pouzol; Mireille Ducassé (Recent Advances in Intrusion Detection, 2001)

Efficient Automated Trace Analysis: Examples with Morphine. - Mireille Ducassé; Erwan Jahier (RV@CAV, 2001)

Formal Specification of Intrusion Signatures and Detection Rules. - Jean-Philippe Pouzol; Mireille Ducassé (CSFW, 2002)

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

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

Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation. - Ludovic Langevine; Pierre Deransart; Mireille Ducassé; Erwan Jahier (JFPLC, 2002)

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

Introduction. - Mireille Ducassé (Autom. Softw. Eng., 2002)

Generic program monitoring by trace analysis. - Erwan Jahier; Mireille Ducassé (Theory Pract. Log. Program., 2002)

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

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

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

Using events to debug Java programs backwards in time. - Bil Lewis; Mireille Ducassé (OOPSLA Companion, 2003)

Generic and Efficient Program Monitoring by trace analysis - Erwan Jahier; Mireille Ducassé (CoRR, 2003)

Rigorous design of tracers: an experiment for constraint logic programming - Mireille Ducassé; Ludovic Langevine; Pierre Deransart (CoRR, 2003)

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

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

Un pilote de traceur pour la PLC. - Ludovic Langevine; Mireille Ducassé (JFPLC, 2004)

Détection d'intrusions : corrélation d'alertes. - Hervé Debar; Benjamin Morin; Frédéric Cuppens; Fabien Autrel; Ludovic Mé; Bernard Vivinis; Salem Benferhat; Mireille Ducassé; Rodolphe Ortalo (Tech. Sci. Informatiques, 2004)

A tracer driver for hybrid execution analyses. - Ludovic Langevine; Mireille Ducassé (AADEBUG, 2005)

Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information. - Tristan Denmat; Mireille Ducassé; Olivier Ridoux (ASE, 2005)

Proving or Disproving likely Invariants with Constraint Reasoning. - Tristan Denmat; Arnaud Gotlieb; Mireille Ducassé (WLPE, 2005)

A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs. - Ludovic Langevine; Mireille Ducassé (WLPE, 2005)

A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs - Ludovic Langevine; Mireille Ducassé (CoRR, 2005)

An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy. - Peggy Cellier; Sébastien Ferré; Olivier Ridoux; Mireille Ducassé (CLA, 2006)

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

A Parameterized Algorithm for Exploring Concept Lattices. - Peggy Cellier; Sébastien Ferré; Olivier Ridoux; Mireille Ducassé (ICFCA, 2007)

Improving Constraint-Based Testing with Dynamic Linear Relaxations. - Tristan Denmat; Arnaud Gotlieb; Mireille Ducassé (ISSRE, 2007)

Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue) - Pierre Deransart; Mireille Ducassé; Gérard Ferrand (CoRR, 2007)

Observational semantics of the Prolog Resolution Box Model - Pierre Deransart; Mireille Ducassé; Gérard Ferrand (CoRR, 2007)

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

Formal Concept Analysis Enhances Fault Localization in Software. - Peggy Cellier; Mireille Ducassé; Sébastien Ferré; Olivier Ridoux (ICFCA, 2008)

A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy. - Peggy Cellier; Sébastien Ferré; Olivier Ridoux; Mireille Ducassé (Int. J. Found. Comput. Sci., 2008)

Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs. - Ludovic Langevine; Mireille Ducassé (Theory Pract. Log. Program., 2008)

(C)LP Tracing and Debugging. - Mireille Ducassé (ICLP, 2009)

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

A logic-based model to support alert correlation in intrusion detection. - Benjamin Morin; Ludovic Mé; Hervé Debar; Mireille Ducassé (Inf. Fusion, 2009)

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

Building up Shared Knowledge with Logical Information Systems. - Mireille Ducassé; Sébastien Ferré; Peggy Cellier (CLA, 2011)

Partial Orders and Logical Concept Analysis to Explore Patterns Extracted by Data Mining. - Peggy Cellier; Sébastien Ferré; Mireille Ducassé; Thierry Charnois (ICCS, 2011)

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

Multiple Fault Localization with Data Mining. - Peggy Cellier; Mireille Ducassé; Sébastien Ferré; Olivier Ridoux (SEKE, 2011)

An Interactive Guidance Process Supporting Consistent Updates of RDFS Graphs. - Alice Hermann; Sébastien Ferré; Mireille Ducassé (EKAW, 2012)

Guided Semantic Annotation of Comic Panels with Sewelis. - Alice Hermann; Sébastien Ferré; Mireille Ducassé (EKAW, 2012)

Aide à la création d'objets dans une base RDF(S) avec des règles de relaxation. - Alice Hermann; Sébastien Ferré; Mireille Ducassé (IC, 2012)

Generating Data Converters to Help Compose Services in Bioinformatics Workflows. - Mouhamadou Ba; Sébastien Ferré; Mireille Ducassé (DEXA (1), 2014)

Using Biddings and Motivations in Multi-unit Assignments. - Mireille Ducassé; Peggy Cellier (GDN, 2014)

Safe Suggestions Based on Type Convertibility to Guide Workflow Composition. - Mouhamadou Ba; Sébastien Ferré; Mireille Ducassé (ISMIS, 2015)

FORMULIS: Dynamic Form-Based Interface for Guided Knowledge Graph Authoring. - Pierre Maillot; Sébastien Ferré; Peggy Cellier; Mireille Ducassé; Franck Partouche (EKAW (Satellite Events), 2016)

Solving Data Mismatches in Bioinformatics Workflows by Generating Data Converters. - Mouhamadou Ba; Sébastien Ferré; Mireille Ducassé (Trans. Large Scale Data Knowl. Centered Syst., 2016)

Nested Forms with Dynamic Suggestions for Quality RDF Authoring. - Pierre Maillot; Sébastien Ferré; Peggy Cellier; Mireille Ducassé; Franck Partouche (DEXA (1), 2017)

Kartu-Verbs : un système d'informations logiques de formes verbales fléchies pour contourner les problèmes de lemmatisation des verbes géorgiens. - Mireille Ducassé (EGC, 2022)

Data Mining-Based Techniques for Software Fault Localization. - Peggy Cellier; Mireille Ducassé; Sébastien Ferré; Olivier Ridoux; W. Eric Wong (CoRR, 2025)