| 2017 | DEXA | Nested Forms with Dynamic Suggestions for Quality RDF Authoring. | Pierre Maillot, Sbastien Ferr, Peggy Cellier, Mireille Ducass, Franck Partouche |
| 2016 | EKAW | FORMULIS: Dynamic Form-Based Interface for Guided Knowledge Graph Authoring. | Pierre Maillot, Sbastien Ferr, Peggy Cellier, Mireille Ducass, Franck Partouche |
| 2015 | ISMIS | Safe Suggestions Based on Type Convertibility to Guide Workflow Composition. | Mouhamadou Ba, Sbastien Ferr, Mireille Ducass |
| 2014 | DEXA | Generating Data Converters to Help Compose Services in Bioinformatics Workflows. | Mouhamadou Ba, Sbastien Ferr, Mireille Ducass |
| 2012 | EKAW | An Interactive Guidance Process Supporting Consistent Updates of RDFS Graphs. | Alice Hermann, Sbastien Ferr, Mireille Ducass |
| 2012 | EKAW | Guided Semantic Annotation of Comic Panels with Sewelis. | Alice Hermann, Sbastien Ferr, Mireille Ducass |
| 2011 | CaiSE | Combining Faceted Search and Query Languages for the Semantic Web. | Sbastien Ferr, Alice Hermann, Mireille Ducass |
| 2011 | ICCS | Partial Orders and Logical Concept Analysis to Explore Patterns Extracted by Data Mining. | Peggy Cellier, Sbastien Ferr, Mireille Ducass, Thierry Charnois |
| 2011 | SEKE | Multiple Fault Localization with Data Mining. | Peggy Cellier, Mireille Ducass, Sbastien Ferr, Olivier Ridoux |
| 2009 | ICLP | (C)LP Tracing and Debugging. | Mireille Ducass |
| 2009 | SEKE | DeLLIS: A Data Mining Process for Fault Localization. | Peggy Cellier, Mireille Ducass, Sbastien Ferr, Olivier Ridoux |
| 2008 | ICCS | Fair(er) and (Almost) Serene Committee Meetings with Logical and Formal Concept Analysis. | Mireille Ducass, Sbastien Ferr |
| 2008 | ICFCA | Formal Concept Analysis Enhances Fault Localization in Software. | Peggy Cellier, Mireille Ducass, Sbastien Ferr, Olivier Ridoux |
| 2007 | CP | An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. | Tristan Denmat, Arnaud Gotlieb, Mireille Ducass |
| 2007 | ICFCA | A Parameterized Algorithm for Exploring Concept Lattices. | Peggy Cellier, Sbastien Ferr, Olivier Ridoux, Mireille Ducass |
| 2007 | ISSRE | Improving Constraint-Based Testing with Dynamic Linear Relaxations. | Tristan Denmat, Arnaud Gotlieb, Mireille Ducass |
| 2004 | ACSAC | A Serial Combination of Anomaly and Misuse IDSes Applied to HTTP Traffic. | Elvis Tombini, Herv Debar, Ludovic M, Mireille Ducass |
| 2004 | ICLP | A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer. | Ludovic Langevine, Mireille Ducass |
| 2003 | ICLP | A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation. | Ludovic Langevine, Mireille Ducass, Pierre Deransart |
| 2003 | OOPSLA | Using events to debug Java programs backwards in time. | Bil Lewis, Mireille Ducass |
| 2002 | ICLP | Automated Analysis of CLP(FD) Program Execution Traces. | Mireille Ducass, Ludovic Langevine |
| 2002 | RAID | M2D2: A Formal Data Model for IDS Alert Correlation. | Benjamin Morin, Ludovic M, Herv Debar, Mireille Ducass |
| 2001 | RAID | From Declarative Signatures to Misuse IDS. | Jean-Philippe Pouzol, Mireille Ducass |
| 2000 | LOPSTR | Specifying Prolog trace models with a continuation semantics. | Erwan Jahier, Mireille Ducass, Olivier Ridoux |
| 2000 | LOPSTR | Specifying Prolog Trace Models with a Continuation Semantics. | Erwan Jahier, Mireille Ducass, Olivier Ridoux |
| 1999 | ICLP | A Generic Approach to Monitor Program Executions. | Erwan Jahier, Mireille Ducass |
| 1999 | ICLP | Generating Deductive Database Explanations. | Sarah Mallet, Mireille Ducass |
| 1999 | ICSE | Coca: An automated Debugger for C. | Mireille Ducass |
| 1999 | LOPSTR | Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency. | Mireille Ducass, Laurence Roz |
| 1998 | ICLP | Tracing Prolog Programs by Source Instrumentation is Efficient Enough. | Mireille Ducass, Jacques Noy |
| 1998 | LOPSTR | Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging. | Sarah Mallet, Mireille Ducass |
| 1996 | ICLP | Tracing Prolog without a Tracer (Poster Abstract). | Mireille Ducass, Jacques Noy |
| 1996 | SAS | A Backward Slicing Algorithm for Prolog. | Stphane Schoenig, Mireille Ducass |
| 1992 | LPAR | Opium - A High-level Debugging Environment. | Mireille Ducass |
| 1988 | ECAI | Opium | Mireille Ducass |
| 1988 | ICSE | A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques. | Mireille Ducass, Anna-Maria Emde |