Mireille Ducassé

106 papers A* 3A 5B 11C 8Misc 2Journal 20Unranked 48

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Data Mining-Based Techniques for Software Fault Localization. CoRR Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux, W. Eric Wong
2022	—	`conf`	Kartu-Verbs : un système d'informations logiques de formes verbales fléchies pour contourner les problèmes de lemmatisation des verbes géorgiens. EGC Mireille Ducassé
2017	—	`conf`	Nested Forms with Dynamic Suggestions for Quality RDF Authoring. DEXA (1) Pierre Maillot, Sébastien Ferré, Peggy Cellier, Mireille Ducassé, Franck Partouche
2016	—	`conf`	FORMULIS: Dynamic Form-Based Interface for Guided Knowledge Graph Authoring. EKAW (Satellite Events) Pierre Maillot, Sébastien Ferré, Peggy Cellier, Mireille Ducassé, Franck Partouche
2016	J	`jnl`	Solving Data Mismatches in Bioinformatics Workflows by Generating Data Converters. Trans. Large Scale Data Knowl. Centered Syst. Mouhamadou Ba, Sébastien Ferré, Mireille Ducassé
2015	C	`conf`	Safe Suggestions Based on Type Convertibility to Guide Workflow Composition. ISMIS Mouhamadou Ba, Sébastien Ferré, Mireille Ducassé
2014	—	`conf`	Generating Data Converters to Help Compose Services in Bioinformatics Workflows. DEXA (1) Mouhamadou Ba, Sébastien Ferré, Mireille Ducassé
2014	—	`conf`	Using Biddings and Motivations in Multi-unit Assignments. GDN Mireille Ducassé, Peggy Cellier
2012	—	`conf`	Aide à la création d'objets dans une base RDF(S) avec des règles de relaxation. IC Alice Hermann, Sébastien Ferré, Mireille Ducassé
2012	B	`conf`	An Interactive Guidance Process Supporting Consistent Updates of RDFS Graphs. EKAW Alice Hermann, Sébastien Ferré, Mireille Ducassé
2012	B	`conf`	Guided Semantic Annotation of Comic Panels with Sewelis. EKAW Alice Hermann, Sébastien Ferré, Mireille Ducassé
2011	—	`conf`	Building up Shared Knowledge with Logical Information Systems. CLA Mireille Ducassé, Sébastien Ferré, Peggy Cellier
2011	—	`conf`	Combining Faceted Search and Query Languages for the Semantic Web. CAiSE Workshops Sébastien Ferré, Alice Hermann, Mireille Ducassé
2011	B	`conf`	Guided creation and update of objects in RDF(S) bases. K-CAP Alice Hermann, Sébastien Ferré, Mireille Ducassé
2011	C	`conf`	Multiple Fault Localization with Data Mining. SEKE Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux
2011	Misc	`conf`	Partial Orders and Logical Concept Analysis to Explore Patterns Extracted by Data Mining. ICCS Peggy Cellier, Sébastien Ferré, Mireille Ducassé, Thierry Charnois
2009	B	`conf`	(C)LP Tracing and Debugging. ICLP Mireille Ducassé
2009	J	`jnl`	A logic-based model to support alert correlation in intrusion detection. Inf. Fusion Benjamin Morin, Ludovic Mé, Hervé Debar, Mireille Ducassé
2009	C	`conf`	DeLLIS: A Data Mining Process for Fault Localization. SEKE Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux
2008	J	`jnl`	A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy. Int. J. Found. Comput. Sci. Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé
2008	J	`jnl`	Design and Implementation of a Tracer Driver: Easy and Efficient Dynamic Analyses of Constraint Logic Programs CoRR Ludovic Langevine, Mireille Ducassé
2008	J	`jnl`	Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs. Theory Pract. Log. Program. Ludovic Langevine, Mireille Ducassé
2008	Misc	`conf`	Fair(er) and (Almost) Serene Committee Meetings with Logical and Formal Concept Analysis. ICCS Mireille Ducassé, Sébastien Ferré
2008	C	`conf`	Formal Concept Analysis Enhances Fault Localization in Software. ICFCA Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux
2007	C	`conf`	A Parameterized Algorithm for Exploring Concept Lattices. ICFCA Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé
2007	A	`conf`	An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. CP Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
2007	A	`conf`	Improving Constraint-Based Testing with Dynamic Linear Relaxations. ISSRE Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
2007	J	`jnl`	Observational semantics of the Prolog Resolution Box Model CoRR Pierre Deransart, Mireille Ducassé, Gérard Ferrand
2007	J	`jnl`	Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue) CoRR Pierre Deransart, Mireille Ducassé, Gérard Ferrand
2006	—	`conf`	An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy. CLA Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé
2005	J	`jnl`	A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs CoRR Ludovic Langevine, Mireille Ducassé
2005	—	`conf`	A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs. WLPE Ludovic Langevine, Mireille Ducassé
2005	—	`conf`	A tracer driver for hybrid execution analyses. AADEBUG Ludovic Langevine, Mireille Ducassé
2005	A*	`conf`	Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information. ASE Tristan Denmat, Mireille Ducassé, Olivier Ridoux
2005	J	`jnl`	Proving or Disproving likely Invariants with Constraint Reasoning CoRR Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
2005	—	`conf`	Proving or Disproving likely Invariants with Constraint Reasoning. WLPE Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
2004	A	`conf`	A Serial Combination of Anomaly and Misuse IDSes Applied to HTTP Traffic. ACSAC Elvis Tombini, Hervé Debar, Ludovic Mé, Mireille Ducassé
2004	B	`conf`	A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer. ICLP Ludovic Langevine, Mireille Ducassé
2004	J	`jnl`	Détection d'intrusions : corrélation d'alertes. Tech. Sci. Informatiques Hervé Debar, Benjamin Morin, Frédéric Cuppens, Fabien Autrel, Ludovic Mé, Bernard Vivinis, Salem Benferhat, Mireille Ducassé, Rodolphe Ortalo
2004	—	`conf`	Un pilote de traceur pour la PLC. JFPLC Ludovic Langevine, Mireille Ducassé
2003	—	`conf`	A Generic Trace Schema for the Portability of CP(FD) Debugging Tools. CSCLP Ludovic Langevine, Pierre Deransart, Mireille Ducassé
2003	B	`conf`	A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation. ICLP Ludovic Langevine, Mireille Ducassé, Pierre Deransart
2003	—	`conf`	Demonstration: Debugging constraint problems with portable tools. WLPE Pierre Deransart, Ludovic Langevine, Mireille Ducassé
2003	J	`jnl`	Generic and Efficient Program Monitoring by trace analysis CoRR Erwan Jahier, Mireille Ducassé
2003	—	`ed.`	Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003 JFPLC Mireille Ducassé
2003	—	`conf`	Rigorous design of tracers: an experiment for constraint logic programming AADEBUG Mireille Ducassé, Ludovic Langevine, Pierre Deransart
2003	—	`conf`	Using events to debug Java programs backwards in time. OOPSLA Companion Bil Lewis, Mireille Ducassé
2002	—	`conf`	Analyse automatisée de traces d'exécution de programmes CLP(FD). JFPLC Mireille Ducassé, Ludovic Langevine
2002	B	`conf`	Automated Analysis of CLP(FD) Program Execution Traces. ICLP Mireille Ducassé, Ludovic Langevine
2002	—	`conf`	Formal Specification of Intrusion Signatures and Detection Rules. CSFW Jean-Philippe Pouzol, Mireille Ducassé
2002	J	`jnl`	Generic program monitoring by trace analysis. Theory Pract. Log. Program. Erwan Jahier, Mireille Ducassé
2002	J	`jnl`	Introduction. Autom. Softw. Eng. Mireille Ducassé
2002	A	`conf`	M2D2: A Formal Data Model for IDS Alert Correlation. RAID Benjamin Morin, Ludovic Mé, Hervé Debar, Mireille Ducassé
2002	—	`conf`	Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation. JFPLC Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier
2001	—	`conf`	Efficient Automated Trace Analysis: Examples with Morphine. RV@CAV Mireille Ducassé, Erwan Jahier
2001	—	`conf`	From Declarative Signatures to Misuse IDS. Recent Advances in Intrusion Detection Jean-Philippe Pouzol, Mireille Ducassé
2001	—	`conf`	Prototyping CLP(FD) tracers: a trace model and an experimental validation environment. WLPE Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier
2000	—	`ed.`	Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000 AADEBUG Mireille Ducassé
2000	—	`conf`	Specifying Prolog Trace Models with a Continuation Semantics. LOPSTR (LNCS 2042: Selected Papers) Erwan Jahier, Mireille Ducassé, Olivier Ridoux
2000	C	`conf`	Specifying Prolog trace models with a continuation semantics. LOPSTR Erwan Jahier, Mireille Ducassé, Olivier Ridoux
2000	—	`conf`	Spécification de modèles de traces à l'aide d'une sémantique par continuations. JFPLC Erwan Jahier, Mireille Ducassé, Olivier Ridoux
2000	J	`jnl`	Tracing Prolog Programs by Source Instrumentation is Efficient Enough. J. Log. Program. Mireille Ducassé, Jacques Noyé
1999	B	`conf`	A Generic Approach to Monitor Program Executions. ICLP Erwan Jahier, Mireille Ducassé
1999	A*	`conf`	Coca: An automated Debugger for C. ICSE Mireille Ducassé
1999	B	`conf`	Generating Deductive Database Explanations. ICLP Sarah Mallet, Mireille Ducassé
1999	J	`jnl`	Opium: An Extendable Trace Analyzer for Prolog. J. Log. Program. Mireille Ducassé
1999	—	`conf`	Preface. WLPE@ICLP Mireille Ducassé, Anthony J. Kusalik, Germán Puebla
1999	C	`conf`	Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency. LOPSTR Mireille Ducassé, Laurence Rozé
1999	—	`conf`	Specifying Byrd's Box Model with a Continuation Semantics. WLPE@ICLP Erwan Jahier, Mireille Ducassé, Olivier Ridoux
1999	—	`ed.`	Tenth Workshop on Logic Programming Environments, WLPE 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, Nobember 29, 1999 WLPE@ICLP Mireille Ducassé, Anthony J. Kusalik, Germán Puebla
1999	—	`conf`	Un traceur d'exécution de programme ne sert pas qu'au débogage. JFPLC Erwan Jahier, Mireille Ducassé
1998	C	`conf`	Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging. LOPSTR Sarah Mallet, Mireille Ducassé
1998	—	`conf`	Pilotage d'un méta-interprète ensembliste par une trace "relationelle" pour le débogage de bases de données déductives. JFPLC Sarah Mallet, Mireille Ducassé
1998	—	`conf`	Tracing Prolog Programs by Source Instrumentation is Efficient Enough. Implementation Technology for Programming Languages based on Logic Mireille Ducassé, Jacques Noyé
1997	—	`conf`	An Informal Presentation of DDB Trees: A Basis for Deductive Database Explanations. DDLP Sarah Mallet, Mireille Ducassé
1997	—	`conf`	DDB Trees: A Basis for Deductive Database Explanations. AADEBUG Sarah Mallet, Mireille Ducassé
1997	—	`conf`	Generating DDB Trees (Abstract). LPE Sarah Mallet, Mireille Ducassé
1997	J	`jnl`	Introduction. Autom. Softw. Eng. Mireille Ducassé
1997	—	`ed.`	Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997 LPE Anthony J. Kusalik, Mireille Ducassé, Ulrich Neumerkel
1997	—	`conf`	Tools and Environments for (Constraint) Logic Programming (Workshop Overview). ILPS Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte
1996	B	`conf`	A Backward Slicing Algorithm for Prolog. SAS Stéphane Schoenig, Mireille Ducassé
1996	—	`conf`	Tracing Prolog without a Tracer (Poster Abstract). JICSLP Mireille Ducassé, Jacques Noyé
1995	—	`conf`	Automated Debugging Extensions of the Opium Trace Analyser. AADEBUG Mireille Ducassé
1995	—	`conf`	Hybrid Backward Slicing Algorithm Producing Executable Slices for Prolog. LPE Stéphane Schoenig, Mireille Ducassé
1995	—	`ed.`	Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995 AADEBUG Mireille Ducassé
1994	J	`jnl`	Logic Programming Environments: Dynamic Program Analysis and Debugging. J. Log. Program. Mireille Ducassé, Jacques Noyé
1993	—	`conf`	A Pragmatic Survey of Automated Debugging. AADEBUG Mireille Ducassé
1993	—	`ed.`	Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), October 29-30, 1993, In conjunction with ILPS 1993, Vancouver, British Columbia, Canada LPE Mireille Ducassé, Baudouin Le Charlier, Yow-Jian Lin, L. Ümit Yalçinalp
1992	—	`conf`	A General Trace Query Mechanism Based on Prolog. PLILP Mireille Ducassé
1992	—	`conf`	A Trace Analyser to Prototype Explanations. LPE Mireille Ducassé
1992	—	`conf`	Analysis of failing Prolog Executions. JFPL Mireille Ducassé
1992	B	`conf`	Opium - A High-level Debugging Environment. LPAR Mireille Ducassé
1992	—	`conf`	Opium - An Advanced Debugging System. Logic Programming Summer School Mireille Ducassé
1992	—	`ed.`	Proceedings of the 4th Workshop on Logic Programming Environments (LPE 1992), November 13th, 1992, In conjunction with JICSLP 1992, Washington, DC, USA. Technical Report TR 92-143. LPE Mireille Ducassé, Yow-Jian Lin, L. Ümit Yalçinalp
1991	—	`conf`	Abstract Views of Prolog Executions in Opium. ISLP Mireille Ducassé
1991	—	`conf`	Analysis of Failing Prolog Executions. LPE Mireille Ducassé
1991	J	`jnl`	OPIUM: a debugging environment for Prolog development and debugging research. ACM SIGSOFT Softw. Eng. Notes Mireille Ducassé, Anna-Maria Emde
1991	J	`jnl`	OPIUM: a debugging environment for Prolog development and debugging research. ACM SIGSOFT Softw. Eng. Notes Mireille Ducassé, Anna-Maria Emde
1991	—	`ed.`	Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, Paris, June 1991. Technical Report, University of Orléans, France, LIFO N 91-6 LPE Mireille Ducassé, Gérard Ferrand
1990	—	`conf`	Automated Debugging of Non-Terminating Prolog Programs. LPE Anna-Maria Emde, Mireille Ducassé
1990	—	`conf`	Automated debugging of non-terminating Prolog programs. SPLT Anna-Maria Emde, Mireille Ducassé
1990	—	`ed.`	Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25 LPE Mireille Ducassé, Anna-Maria Emde, Anthony J. Kusalik, Jacob Levy
1988	A*	`conf`	A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques. ICSE Mireille Ducassé, Anna-Maria Emde
1988	A	`conf`	Opium ECAI Mireille Ducassé
1986	—	`conf`	OPIUM: un outil de trace sophistiqué pour PROLOG. SPLT Mireille Ducassé
1984	—	`conf`	A propos du mariage LISP-PROLOG: les bases du langage FROG. SPLT Mireille Ducassé, J. Faget, Alain Grumbach