| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alice Hermann, Sébastien Ferré, Mireille Ducassé |
Guided creation and update of objects in RDF(S) bases.  |
K-CAP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Ferré, Alice Hermann, Mireille Ducassé |
Combining Faceted Search and Query Languages for the Semantic Web. |
CAiSE Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux |
Multiple Fault Localization with Data Mining. |
SEKE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Peggy Cellier, Sébastien Ferré, Mireille Ducassé, Thierry Charnois |
Partial Orders and Logical Concept Analysis to Explore Patterns Extracted by Data Mining. |
ICCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew P. Black, Mireille Ducassé, Oscar Nierstrasz, Damien Pollet |
Pharo by Example (Version 2010-02-01). |
|
2010 |
RDF |
|
| 1 | Benjamin Morin, Ludovic Mé, Hervé Debar, Mireille Ducassé |
A logic-based model to support alert correlation in intrusion detection. |
Information Fusion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mireille Ducassé |
(C)LP Tracing and Debugging. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux |
DeLLIS: A Data Mining Process for Fault Localization. |
SEKE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé |
A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy. |
Int. J. Found. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludovic Langevine, Mireille Ducassé |
Design and Implementation of a Tracer Driver: Easy and Efficient Dynamic Analyses of Constraint Logic Programs |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ludovic Langevine, Mireille Ducassé |
Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs. |
TPLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux |
Formal Concept Analysis Enhances Fault Localization in Software. |
ICFCA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mireille Ducassé, Sébastien Ferré |
Fair(er) and (Almost) Serene Committee Meetings with Logical and Formal Concept Analysis. |
ICCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP BibTeX RDF |
|
| 1 | Pierre Deransart, Mireille Ducassé, Gérard Ferrand |
Observational semantics of the Prolog Resolution Box Model |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé |
A Parameterized Algorithm for Exploring Concept Lattices. |
ICFCA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé |
Improving Constraint-Based Testing with Dynamic Linear Relaxations. |
ISSRE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé |
An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé |
An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy. |
CLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludovic Langevine, Mireille Ducassé |
A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé |
Proving or Disproving likely Invariants with Constraint Reasoning |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé |
Proving or Disproving likely Invariants with Constraint Reasoning. |
WLPE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ludovic Langevine, Mireille Ducassé |
A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs. |
WLPE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ludovic Langevine, Mireille Ducassé |
A tracer driver for hybrid execution analyses. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
tracer, visualization, monitoring, debugging |
| 1 | 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 |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ludovic Langevine, Mireille Ducassé |
Un pilote de traceur pour la PLC. |
JFPLC |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ludovic Langevine, Mireille Ducassé |
A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvis Tombini, Hervé Debar, Ludovic Mé, Mireille Ducassé |
A Serial Combination of Anomaly and Misuse IDSes Applied to HTTP Traffic. |
ACSAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mireille Ducassé, Ludovic Langevine, Pierre Deransart |
Rigorous design of tracers: an experiment for constraint logic programming |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Erwan Jahier, Mireille Ducassé |
Generic and Efficient Program Monitoring by trace analysis |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Pierre Deransart, Ludovic Langevine, Mireille Ducassé |
Demonstration: Debugging constraint problems with portable tools. |
WLPE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Mireille Ducassé (eds.) |
Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003 |
JFPLC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ludovic Langevine, Mireille Ducassé, Pierre Deransart |
A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludovic Langevine, Pierre Deransart, Mireille Ducassé |
A Generic Trace Schema for the Portability of CP(FD) Debugging Tools. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bil Lewis, Mireille Ducassé |
Using events to debug Java programs backwards in time. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mireille Ducassé |
Introduction. |
Autom. Softw. Eng. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Erwan Jahier, Mireille Ducassé |
Generic program monitoring by trace analysis. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mireille Ducassé, Ludovic Langevine |
Analyse automatisée de traces d'exécution de programmes CLP(FD). |
JFPLC |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier |
Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation. |
JFPLC |
2002 |
DBLP BibTeX RDF |
|
| 1 | Mireille Ducassé, Ludovic Langevine |
Automated Analysis of CLP(FD) Program Execution Traces. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Philippe Pouzol, Mireille Ducassé |
Formal Specification of Intrusion Signatures and Detection Rules. |
CSFW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Morin, Ludovic Mé, Hervé Debar, Mireille Ducassé |
M2D2: A Formal Data Model for IDS Alert Correlation. |
RAID |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mireille Ducassé, Erwan Jahier |
Efficient Automated Trace Analysis: Examples with Morphine. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier |
Prototyping CLP(FD) tracers: a trace model and an experimental validation environment. |
WLPE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jean-Philippe Pouzol, Mireille Ducassé |
From Declarative Signatures to Misuse IDS. |
Recent Advances in Intrusion Detection |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mireille Ducassé, Jacques Noyé |
Tracing Prolog Programs by Source Instrumentation is Efficient Enough. |
J. Log. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Erwan Jahier, Mireille Ducassé, Olivier Ridoux |
Spécification de modèles de traces à l'aide d'une sémantique par continuations. |
JFPLC |
2000 |
DBLP BibTeX RDF |
|
| 1 | Mireille Ducassé (eds.) |
Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000 |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
| 1 | Erwan Jahier, Mireille Ducassé, Olivier Ridoux |
Specifying Prolog trace models with a continuation semantics. |
LOPSTR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Erwan Jahier, Mireille Ducassé, Olivier Ridoux |
Specifying Prolog Trace Models with a Continuation Semantics. |
LOPSTR (LNCS 2042: Selected Papers) |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mireille Ducassé |
Opium: An Extendable Trace Analyzer for Prolog. |
J. Log. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Erwan Jahier, Mireille Ducassé, Olivier Ridoux |
Specifying Byrd's Box Model with a Continuation Semantics. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mireille Ducassé, Anthony J. Kusalik, Germán Puebla |
Preface. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Erwan Jahier, Mireille Ducassé |
Un traceur d'exécution de programme ne sert pas qu'au débogage. |
JFPLC |
1999 |
DBLP BibTeX RDF |
|
| 1 | Erwan Jahier, Mireille Ducassé |
A Generic Approach to Monitor Program Executions. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Sarah Mallet, Mireille Ducassé |
Generating Deductive Database Explanations. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Mireille Ducassé, Laurence Rozé |
Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency. |
LOPSTR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mireille Ducassé |
Coca: An automated Debugger for C. |
ICSE |
1999 |
DBLP BibTeX RDF |
debugging language, program behavior understanding, trace query mechanism, C, automated debugging, debugging tool |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Mireille Ducassé, Jacques Noyé |
Tracing Prolog Programs by Source Instrumentation is Efficient Enough. |
Implementation Technology for Programming Languages based on Logic |
1998 |
DBLP BibTeX RDF |
|
| 1 | Sarah Mallet, Mireille Ducassé |
Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mireille Ducassé |
Introduction. |
Autom. Softw. Eng. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah Mallet, Mireille Ducassé |
An Informal Presentation of DDB Trees: A Basis for Deductive Database Explanations. |
DDLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Sarah Mallet, Mireille Ducassé |
Generating DDB Trees (Abstract). |
LPE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte |
Tools and Environments for (Constraint) Logic Programming (Workshop Overview). |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Sarah Mallet, Mireille Ducassé |
DDB Trees: A Basis for Deductive Database Explanations. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
| 1 | Mireille Ducassé, Jacques Noyé |
Tracing Prolog without a Tracer (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Schoenig, Mireille Ducassé |
A Backward Slicing Algorithm for Prolog. |
SAS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Schoenig, Mireille Ducassé |
Hybrid Backward Slicing Algorithm Producing Executable Slices for Prolog. |
LPE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Mireille Ducassé |
Automated Debugging Extensions of the Opium Trace Analyser. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
| 1 | Mireille Ducassé, Jacques Noyé |
Logic Programming Environments: Dynamic Program Analysis and Debugging. |
J. Log. Program. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Mireille Ducassé |
A Pragmatic Survey of Automated Debugging. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Mireille Ducassé |
Opium - A High-level Debugging Environment. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Mireille Ducassé |
A Trace Analyser to Prototype Explanations. |
LPE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Mireille Ducassé |
Analysis of failing Prolog Executions. |
JFPL |
1992 |
DBLP BibTeX RDF |
|
| 1 | Mireille Ducassé |
Opium - An Advanced Debugging System. |
Logic Programming Summer School |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Mireille Ducassé |
A General Trace Query Mechanism Based on Prolog. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Mireille Ducassé |
Analysis of Failing Prolog Executions. |
LPE |
1991 |
DBLP BibTeX RDF |
|
| 1 | Mireille Ducassé |
Abstract Views of Prolog Executions in Opium. |
ISLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Anna-Maria Emde, Mireille Ducassé |
Automated Debugging of Non-Terminating Prolog Programs. |
LPE |
1990 |
DBLP BibTeX RDF |
|
| 1 | Anna-Maria Emde, Mireille Ducassé |
Automated debugging of non-terminating Prolog programs. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Mireille Ducassé |
Opium+, a Meta-Debugger for Prolog. |
ECAI |
1988 |
DBLP BibTeX RDF |
|
| 1 | Mireille Ducassé, Anna-Maria Emde |
A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques. |
ICSE |
1988 |
DBLP BibTeX RDF |
|
| 1 | Mireille Ducassé |
OPIUM: un outil de trace sophistiqué pour PROLOG. |
SPLT |
1986 |
DBLP BibTeX RDF |
|
| 1 | Mireille Ducassé, J. Faget, Alain Grumbach |
A propos du mariage LISP-PROLOG: les bases du langage FROG. |
SPLT |
1984 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")