![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Mireille Ducassé
Person information
- affiliation: IRISA Rennes, LIS
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c76]Mireille Ducassé:
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 2022: 421-428
2010 – 2019
- 2017
- [c75]Pierre Maillot, Sébastien Ferré
, Peggy Cellier, Mireille Ducassé, Franck Partouche:
Nested Forms with Dynamic Suggestions for Quality RDF Authoring. DEXA (1) 2017: 35-45 - 2016
- [j13]Mouhamadou Ba
, Sébastien Ferré
, Mireille Ducassé:
Solving Data Mismatches in Bioinformatics Workflows by Generating Data Converters. Trans. Large Scale Data Knowl. Centered Syst. 24: 88-115 (2016) - [c74]Pierre Maillot, Sébastien Ferré
, Peggy Cellier, Mireille Ducassé, Franck Partouche:
FORMULIS: Dynamic Form-Based Interface for Guided Knowledge Graph Authoring. EKAW (Satellite Events) 2016: 140-144 - 2015
- [c73]Mouhamadou Ba
, Sébastien Ferré
, Mireille Ducassé:
Safe Suggestions Based on Type Convertibility to Guide Workflow Composition. ISMIS 2015: 230-236 - 2014
- [c72]Mouhamadou Ba, Sébastien Ferré
, Mireille Ducassé:
Generating Data Converters to Help Compose Services in Bioinformatics Workflows. DEXA (1) 2014: 284-298 - [c71]Mireille Ducassé, Peggy Cellier:
Using Biddings and Motivations in Multi-unit Assignments. GDN 2014: 53-61 - 2012
- [c70]Alice Hermann, Sébastien Ferré
, Mireille Ducassé:
An Interactive Guidance Process Supporting Consistent Updates of RDFS Graphs. EKAW 2012: 185-199 - [c69]Alice Hermann, Sébastien Ferré
, Mireille Ducassé:
Guided Semantic Annotation of Comic Panels with Sewelis. EKAW 2012: 430-433 - [c68]Alice Hermann, Sébastien Ferré, Mireille Ducassé:
Aide à la création d'objets dans une base RDF(S) avec des règles de relaxation. IC 2012: 301-316 - 2011
- [c67]Sébastien Ferré
, Alice Hermann, Mireille Ducassé:
Combining Faceted Search and Query Languages for the Semantic Web. CAiSE Workshops 2011: 554-563 - [c66]Mireille Ducassé, Sébastien Ferré, Peggy Cellier:
Building up Shared Knowledge with Logical Information Systems. CLA 2011: 31-42 - [c65]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 - [c64]Alice Hermann, Sébastien Ferré
, Mireille Ducassé:
Guided creation and update of objects in RDF(S) bases. K-CAP 2011: 189-190 - [c63]Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux:
Multiple Fault Localization with Data Mining. SEKE 2011: 238-243
2000 – 2009
- 2009
- [j12]Benjamin Morin, Ludovic Mé, Hervé Debar
, Mireille Ducassé:
A logic-based model to support alert correlation in intrusion detection. Inf. Fusion 10(4): 285-299 (2009) - [c62]Mireille Ducassé:
(C)LP Tracing and Debugging. ICLP 2009: 38 - [c61]Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux:
DeLLIS: A Data Mining Process for Fault Localization. SEKE 2009: 432-437 - 2008
- [j11]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) - [j10]Ludovic Langevine, Mireille Ducassé:
Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs. Theory Pract. Log. Program. 8(5-6): 581-609 (2008) - [c60]Mireille Ducassé, Sébastien Ferré
:
Fair(er) and (Almost) Serene Committee Meetings with Logical and Formal Concept Analysis. ICCS 2008: 217-230 - [c59]Peggy Cellier, Mireille Ducassé, Sébastien Ferré
, Olivier Ridoux:
Formal Concept Analysis Enhances Fault Localization in Software. ICFCA 2008: 273-288 - [i7]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) - 2007
- [c58]Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé:
An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. CP 2007: 241-255 - [c57]Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé:
A Parameterized Algorithm for Exploring Concept Lattices. ICFCA 2007: 114-129 - [c56]Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé:
Improving Constraint-Based Testing with Dynamic Linear Relaxations. ISSRE 2007: 181-190 - [i6]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) - [i5]Pierre Deransart, Mireille Ducassé, Gérard Ferrand:
Observational semantics of the Prolog Resolution Box Model. CoRR abs/0711.4071 (2007) - 2006
- [c55]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 - 2005
- [c54]Ludovic Langevine, Mireille Ducassé:
A tracer driver for hybrid execution analyses. AADEBUG 2005: 143-148 - [c53]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 - [c52]Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé:
Proving or Disproving likely Invariants with Constraint Reasoning. WLPE 2005: 1-13 - [c51]Ludovic Langevine, Mireille Ducassé:
A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs. WLPE 2005: 94-110 - [i4]Ludovic Langevine, Mireille Ducassé:
A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs. CoRR abs/cs/0508105 (2005) - [i3]Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé:
Proving or Disproving likely Invariants with Constraint Reasoning. CoRR abs/cs/0508108 (2005) - 2004
- [j9]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. Tech. Sci. Informatiques 23(3): 359-390 (2004) - [c50]Elvis Tombini, Hervé Debar
, Ludovic Mé, Mireille Ducassé:
A Serial Combination of Anomaly and Misuse IDSes Applied to HTTP Traffic. ACSAC 2004: 428-437 - [c49]Ludovic Langevine, Mireille Ducassé:
A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer. ICLP 2004: 462-463 - [c48]Ludovic Langevine, Mireille Ducassé:
Un pilote de traceur pour la PLC. JFPLC 2004 - 2003
- [c47]Ludovic Langevine, Pierre Deransart, Mireille Ducassé:
A Generic Trace Schema for the Portability of CP(FD) Debugging Tools. CSCLP 2003: 171-195 - [c46]Ludovic Langevine, Mireille Ducassé, Pierre Deransart:
A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation. ICLP 2003: 269-283 - [c45]Pierre Deransart, Ludovic Langevine, Mireille Ducassé:
Demonstration: Debugging constraint problems with portable tools. WLPE 2003: 46-47 - [c44]Bil Lewis, Mireille Ducassé:
Using events to debug Java programs backwards in time. OOPSLA Companion 2003: 96-97 - [e9]Mireille Ducassé:
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 [contents] - [i2]Erwan Jahier, Mireille Ducassé:
Generic and Efficient Program Monitoring by trace analysis. CoRR cs.PL/0311016 (2003) - [i1]Mireille Ducassé, Ludovic Langevine, Pierre Deransart:
Rigorous design of tracers: an experiment for constraint logic programming. CoRR cs.SE/0310042 (2003) - 2002
- [j8]Mireille Ducassé:
Introduction. Autom. Softw. Eng. 9(1): 5 (2002) - [j7]Erwan Jahier, Mireille Ducassé:
Generic program monitoring by trace analysis. Theory Pract. Log. Program. 2(4-5): 611-643 (2002) - [c43]Jean-Philippe Pouzol, Mireille Ducassé:
Formal Specification of Intrusion Signatures and Detection Rules. CSFW 2002: 64- - [c42]Mireille Ducassé, Ludovic Langevine:
Automated Analysis of CLP(FD) Program Execution Traces. ICLP 2002: 470-471 - [c41]Mireille Ducassé, Ludovic Langevine:
Analyse automatisée de traces d'exécution de programmes CLP(FD). JFPLC 2002: 119- - [c40]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- - [c39]Benjamin Morin, Ludovic Mé, Hervé Debar
, Mireille Ducassé:
M2D2: A Formal Data Model for IDS Alert Correlation. RAID 2002: 115-127 - 2001
- [c38]Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier:
Prototyping CLP(FD) tracers: a trace model and an experimental validation environment. WLPE 2001 - [c37]Jean-Philippe Pouzol, Mireille Ducassé:
From Declarative Signatures to Misuse IDS. Recent Advances in Intrusion Detection 2001: 1-21 - [c36]Mireille Ducassé, Erwan Jahier:
Efficient Automated Trace Analysis: Examples with Morphine. RV@CAV 2001: 118-133 - 2000
- [j6]Mireille Ducassé, Jacques Noyé:
Tracing Prolog Programs by Source Instrumentation is Efficient Enough. J. Log. Program. 43(2): 157-172 (2000) - [c35]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 - [c34]Erwan Jahier, Mireille Ducassé, Olivier Ridoux:
Specifying Prolog trace models with a continuation semantics. LOPSTR 2000 - [c33]Erwan Jahier, Mireille Ducassé, Olivier Ridoux:
Specifying Prolog Trace Models with a Continuation Semantics. LOPSTR (LNCS 2042: Selected Papers) 2000: 165-182 - [e8]Mireille Ducassé:
Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000. 2000 [contents]
1990 – 1999
- 1999
- [j5]Mireille Ducassé:
Opium: An Extendable Trace Analyzer for Prolog. J. Log. Program. 39(1-3): 177-223 (1999) - [c32]Erwan Jahier, Mireille Ducassé:
A Generic Approach to Monitor Program Executions. ICLP 1999: 139-153 - [c31]Sarah Mallet, Mireille Ducassé:
Generating Deductive Database Explanations. ICLP 1999: 154-168 - [c30]Mireille Ducassé:
Coca: An automated Debugger for C. ICSE 1999: 504-513 - [c29]Erwan Jahier, Mireille Ducassé:
Un traceur d'exécution de programme ne sert pas qu'au débogage. JFPLC 1999: 297-311 - [c28]Mireille Ducassé, Laurence Rozé:
Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency. LOPSTR 1999: 10-29 - [c27]Mireille Ducassé, Anthony J. Kusalik, Germán Puebla:
Preface. WLPE@ICLP 1999: 197 - [c26]Erwan Jahier, Mireille Ducassé, Olivier Ridoux:
Specifying Byrd's Box Model with a Continuation Semantics. WLPE@ICLP 1999: 308-315 - [e7]Mireille Ducassé, Anthony J. Kusalik, Germán Puebla:
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. Electronic Notes in Theoretical Computer Science 30(4), Elsevier 1999 [contents] - 1998
- [c25]Mireille Ducassé, Jacques Noyé:
Tracing Prolog Programs by Source Instrumentation is Efficient Enough. Implementation Technology for Programming Languages based on Logic 1998: 46-58 - [c24]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- - [c23]Sarah Mallet, Mireille Ducassé:
Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging. LOPSTR 1998: 328-330 - 1997
- [j4]Mireille Ducassé:
Introduction. Autom. Softw. Eng. 4(2): 119-120 (1997) - [c22]Sarah Mallet, Mireille Ducassé:
DDB Trees: A Basis for Deductive Database Explanations. AADEBUG 1997: 87-102 - [c21]Sarah Mallet, Mireille Ducassé:
An Informal Presentation of DDB Trees: A Basis for Deductive Database Explanations. DDLP 1997 - [c20]Sarah Mallet, Mireille Ducassé:
Generating DDB Trees (Abstract). LPE 1997: 13 - [c19]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 - [e6]Anthony J. Kusalik, Mireille Ducassé, Ulrich Neumerkel:
Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997. 1997 [contents] - 1996
- [c18]Mireille Ducassé, Jacques Noyé:
Tracing Prolog without a Tracer (Poster Abstract). JICSLP 1996: 534 - [c17]Stéphane Schoenig, Mireille Ducassé:
A Backward Slicing Algorithm for Prolog. SAS 1996: 317-331 - 1995
- [c16]Mireille Ducassé:
Automated Debugging Extensions of the Opium Trace Analyser. AADEBUG 1995: 293-308 - [c15]Stéphane Schoenig, Mireille Ducassé:
Hybrid Backward Slicing Algorithm Producing Executable Slices for Prolog. LPE 1995 - [e5]Mireille Ducassé:
Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995. IRISA-CNRS 1995 [contents] - 1994
- [j3]Mireille Ducassé, Jacques Noyé:
Logic Programming Environments: Dynamic Program Analysis and Debugging. J. Log. Program. 19/20: 351-384 (1994) - 1993
- [c14]Mireille Ducassé:
A Pragmatic Survey of Automated Debugging. AADEBUG 1993: 1-15 - [e4]Mireille Ducassé, Baudouin Le Charlier, Yow-Jian Lin, L. Ümit Yalçinalp:
Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), October 29-30, 1993, In conjunction with ILPS 1993, Vancouver, British Columbia, Canada. IRISA, Campus de Beaulieu, France 1993 [contents] - 1992
- [c13]Mireille Ducassé:
Analysis of failing Prolog Executions. JFPL 1992: 341-352 - [c12]Mireille Ducassé:
Opium - A High-level Debugging Environment. LPAR 1992: 472-474 - [c11]Mireille Ducassé:
A Trace Analyser to Prototype Explanations. LPE 1992: 22-28 - [c10]Mireille Ducassé:
Opium - An Advanced Debugging System. Logic Programming Summer School 1992: 303-312 - [c9]Mireille Ducassé:
A General Trace Query Mechanism Based on Prolog. PLILP 1992: 400-414 - [e3]Mireille Ducassé, Yow-Jian Lin, L. Ümit Yalçinalp:
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. Case Western Reserver University, Cleveland 1992 [contents] - 1991
- [j2]Mireille Ducassé, Anna-Maria Emde:
OPIUM: a debugging environment for Prolog development and debugging research. ACM SIGSOFT Softw. Eng. Notes 16(1): 54-59 (1991) - [j1]Mireille Ducassé, Anna-Maria Emde:
OPIUM: a debugging environment for Prolog development and debugging research. ACM SIGSOFT Softw. Eng. Notes 16(2): 67-72 (1991) - [c8]Mireille Ducassé:
Analysis of Failing Prolog Executions. LPE 1991: 2-9 - [c7]Mireille Ducassé:
Abstract Views of Prolog Executions in Opium. ISLP 1991: 18-32 - [e2]Mireille Ducassé, Gérard Ferrand:
Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, Paris, June 1991. Technical Report, University of Orléans, France, LIFO N 91-6. University of Orléans, France 1991 [contents] - 1990
- [c6]Anna-Maria Emde, Mireille Ducassé:
Automated debugging of non-terminating Prolog programs. SPLT 1990: 89- - [c5]Anna-Maria Emde, Mireille Ducassé:
Automated Debugging of Non-Terminating Prolog Programs. LPE 1990: 35-39 - [e1]Mireille Ducassé, Anna-Maria Emde, Anthony J. Kusalik, Jacob Levy:
Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25. 1990 [contents]
1980 – 1989
- 1988
- [c4]Mireille Ducassé:
Opium+, a Meta-Debugger for Prolog. ECAI 1988: 272-277 - [c3]Mireille Ducassé, Anna-Maria Emde:
A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques. ICSE 1988: 162-173 - 1986
- [c2]Mireille Ducassé:
OPIUM: un outil de trace sophistiqué pour PROLOG. SPLT 1986: 281-292 - 1984
- [c1]Mireille Ducassé, J. Faget, Alain Grumbach:
A propos du mariage LISP-PROLOG: les bases du langage FROG. SPLT 1984
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-26 18:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint