2019

Reports

titre
Kartu-Verbs: A Semantic Web Base of Inflected Verb Forms for the Georgian Language
auteur
Mireille Ducassé
article
[Research Report] IRISA. 2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02460975/file/Ducasse_Mireille-TR_Georgian_Verb_project-Dec_2019.pdf BibTex

2018

Poster communications

titre
ComVisMD-A Visualization Tool for Compact Display of Multidimensional Data: An illustration on Cricket Players Data
auteur
Mireille Ducassé, Shridhar Dandin
article
IEEE VIS 2018 International Conference, Oct 2018, Berlin, Germany
Accès au bibtex
BibTex

Reports

titre
Data Mining for Fault Localization: towards a Global Debugging Process
auteur
Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux
article
[Research Report] INSA RENNES; Univ Rennes, CNRS, IRISA, France. 2018
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02003069/file/DebuggingAsDataMining.pdf BibTex

2017

Conference papers

titre
Nested Forms with Dynamic Suggestions for Quality RDF Authoring
auteur
Pierre Maillot, Sébastien Ferré, Peggy Cellier, Mireille Ducassé, Franck Partouche
article
International Conference on Database and Expert Systems Applications (DEXA), Aug 2017, Lyon, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01731124/file/DEXA17_Formulis.pdf BibTex

2016

Journal articles

titre
Using Bids, Arguments and Preferences in Sensitive Multi-unit Assignments: A p-Equitable Process and a Course Allocation Case Study
auteur
Mireille Ducassé, Peggy Cellier
article
Group Decision and Negotiation, 2016, 25 (6), ⟨10.1007/s10726-016-9483-9⟩
Accès au bibtex
BibTex
titre
Solving Data Mismatches in Bioinformatics Workflows by Generating Data Converters
auteur
Mouhamadou Ba, Sébastien Ferré, Mireille Ducassé
article
Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer Berlin / Heidelberg, 2016, LNCS, 9510, pp.88-115
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01485059/file/paper%20Ba.pdf BibTex

Conference papers

titre
FORMULIS: Dynamic Form-Based Interface For Guided Knowledge Graph Authoring
auteur
Pierre Maillot, Sébastien Ferré, Peggy Cellier, Mireille Ducassé, Franck Partouche
article
International Conference on Knowledge Engineering and Knowledge Management, Oct 2016, Bologne, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01443319/file/EKAW16_Formulis.pdf BibTex

2015

Conference papers

titre
Safe Suggestions Based on Type Convertibility to Guide Workflow Composition
auteur
Mouhamadou Ba, Sébastien Ferré, Mireille Ducassé
article
Foundations of Intelligent Systems (ISMIS), Oct 2015, Lyon, France. ⟨10.1007/978-3-319-25252-0_25⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01252775/file/final.pdf BibTex

2014

Journal articles

titre
Fair and Fast Convergence on Islands of Agreement in Multicriteria Group Decision Making by Logical Navigation
auteur
Mireille Ducassé, Peggy Cellier
article
Group Decision and Negotiation, INFORMS, 2014, pp.22. ⟨10.1007/s10726-013-9372-4⟩
Accès au bibtex
BibTex

Conference papers

titre
Convertibilité entre types d'entrée et de sortie pour la composition de services en bio-informatique
auteur
Mouhamadou Ba, Sébastien Ferré, Mireille Ducassé
article
Reconnaissance de Formes et Intelligence Artificielle (RFIA) 2014, Jun 2014, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00989229/file/rfia2014_submission_71.pdf BibTex
titre
Using Biddings and Motivations in Multi-unit Assignments
auteur
Mireille Ducassé, Peggy Cellier
article
Group Decision and Negotiation, Jun 2014, Toulouse, France. pp.8, ⟨10.1007/978-3-319-07179-4-6⟩
Accès au bibtex
BibTex
titre
Convertibility between input and output types to help compose services in bioinformatics
auteur
Mouhamadou Ba, Sébastien Ferré, Mireille Ducassé
article
Colloque africain sur la recherche en informatique et mathématiques appliquées (CARI),, 2014, Saint-Louis, Senegal
Accès au bibtex
BibTex
titre
Generating Data Converters to Help Compose Services in Bioinformatics Workflows
auteur
Mouhamadou Ba, Sébastien Ferré, Mireille Ducassé
article
Int. Conf. Database and Expert Systems Applications (DEXA), 2014, Munich, Germany. pp.15
Accès au bibtex
BibTex

2013

Conference papers

titre
Helping Facilitators Build on Experience When Preparing Meetings With Logical Information Systems
auteur
Mireille Ducassé
article
Groupe Decision and Negotiation, 2013, Stockholm, Sweden
Accès au bibtex
BibTex
titre
Une approche fondée sur le raisonnement à partir de cas pour la mise à jour interactive d'objets du Web sémantique
auteur
Alice Hermann, Mireille Ducassé, Sébastien Ferré, Jean Lieber
article
21ème atelier Français de Raisonnement à Partir de Cas (RàPC), 2013, Lille, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00910294/file/rpc2013_submission_1.pdf BibTex

Reports

titre
Scalable Query-based Faceted Search on top of SPARQL Endpoints for Guided and Expressive Semantic Search
auteur
Joris Guyonvarch, Sebastien Ferre, Mireille Ducassé
article
[Research Report] PI-2009, 2013, pp.28
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00868460/file/main.pdf BibTex

2012

Conference papers

titre
Guided Semantic Annotation of Comic Panels with Sewelis
auteur
Alice Hermann, Sébastien Ferré, Mireille Ducassé
article
Knowledge Engineering and Knowledge Management (EKAW), Oct 2012, Galway, Ireland. pp.430-433
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00779929/file/main.pdf BibTex
titre
Aide à la création d'objets dans une base RDF(S) avec des règles de relaxation
auteur
Alice Hermann, Sébastien Ferré, Mireille Ducassé
article
Journées francophones d'ingénierie des connaissances, Jun 2012, Paris, France. pp.301-316
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00779953/file/IC2012_Papier_16.pdf BibTex
titre
An Interactive Guidance Process Supporting Consistent Updates of RDFS Graphs
auteur
Alice Hermann, Sébastien Ferré, Mireille Ducassé
article
EKAW - 18th International Conference on Knowledge Engineering and Knowledge Management - 2012, 2012, Galway City, Ireland. pp.185-199
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00757083/file/EKAW2012_HermannFerrA_DucassA_.pdf BibTex
titre
The LogicalMulticriteriaSort ThinkLet: Logical Navigation for Fair and Fast Convergence in Multicriteria Group Decision Making
auteur
Mireille Ducassé, Peggy Cellier
article
Group Decision and Negotiation Conference, 2012, Recife, Brazil
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00756560/file/Ducasse_Cellier_GDN2012_final.pdf BibTex

Other publications

titre
Guided Semantic Annotation of Comic Panels with Sewelis
auteur
Alice Hermann, Sébastien Ferré, Mireille Ducassé
article
2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00757095/file/chp_3A10.1007_2F978-3-642-33876-2_40.pdf BibTex

2011

Conference papers

titre
Multiple Fault Localization with Data Mining
auteur
Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux
article
International Conference on Software Engineering & Knowledge Engineering (SEKE), Jul 2011, Miami, United States
Accès au bibtex
BibTex
titre
Guided Creation and Update of Objects in RDF(S) Bases
auteur
Alice Hermann, Sébastien Ferré, Mireille Ducassé
article
International Conference on Knowledge Capture, Jun 2011, Banff, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654084/file/kcap718d-hermannPS.pdf BibTex
titre
Combining Faceted Search and Query Languages for the Semantic Web
auteur
Sébastien Ferré, Alice Hermann, Mireille Ducassé
article
Semantic Search over the Web (SSW) - Advanced Information Systems Engineering Workshops - CAiSE Int. Workshops, Jun 2011, London, United Kingdom. pp.554-563
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00658310/file/main.pdf BibTex
titre
Création et mise à jour guidées d'objets dans une base RDF(S)
auteur
Alice Hermann, Sébastien Ferré, Mireille Ducassé
article
Rencontres des Jeunes Chercheurs en Intelligence Artificielle, May 2011, Chambéry, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654093/file/main.pdf BibTex
titre
Partial orders and logical concept analysis to explore patterns extracted by data mining
auteur
Peggy Cellier, Sébastien Ferré, Mireille Ducassé, Thierry Charnois
article
International Conference on Conceptual Structures, 2011, Derby, United Kingdom. pp.77-90, ⟨10.1007/978-3-642-22688-5_6⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00779194/file/iccs11.pdf BibTex
titre
Building up Shared Knowledge with Logical Information Systems
auteur
Mireille Ducassé, Sébastien Ferré, Peggy Cellier
article
8th International Conference on Concept Lattices and their Applications, 2011, Nancy, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00756627/file/DucasseEtAlCla2011OptimiseI_.pdf BibTex

Other publications

titre
Exploration de traces à l'aide de fouille de données
auteur
Peggy Cellier, Mireille Ducassé, Sébastien Ferré
article
2011
Accès au bibtex
BibTex

Reports

titre
Semantic Faceted Search: Safe and Expressive Navigation in RDF Graphs
auteur
Sébastien Ferré, Alice Hermann, Mireille Ducassé
article
[Research Report] PI 1964, 2011, pp.27
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00554093/file/PI-1964.pdf BibTex

2010

Journal articles

titre
Aide à la décision multicritère : cohérence et équité grâce à l'analyse de concepts
auteur
Mireille Ducassé, Sébastien Ferré
article
Nouvelles perspectives en sciences sociales, Prise de parole (Ontario, Canada), 2010
Accès au bibtex
BibTex

Other publications

titre
Fouille de données pour la localisation de fautes dans les programmes
auteur
Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux
article
2010
Accès au bibtex
BibTex

2009

Journal articles

titre
A logic-based model to support alert correlation in intrusion detection
auteur
Benjamin Morin, Ludovic Mé, Hervé Debar, Mireille Ducassé
article
Information Fusion, Elsevier, 2009, 10 (4), pp.285-299. ⟨10.1016/j.inffus.2009.01.005⟩
Accès au bibtex
BibTex

Conference papers

titre
DeLLIS: A Data Mining Process for Fault Localization
auteur
Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux
article
International Conference on Software Engineering and Knowledge Engineering (SEKE), Jul 2009, Boston, United States
Accès au bibtex
BibTex
titre
(C)LP Tracing and Debugging
auteur
Mireille Ducassé
article
25th International Conference on Logic Programming, 2009, Pasadena, United States
Accès au bibtex
BibTex

2008

Journal articles

titre
Design and Implementation of a Tracer Driver: Easy and Efficient Dynamic Analyses of Constraint Logic Programs.
auteur
Ludovic Langevine, Mireille Ducassé
article
Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2008
Accès au bibtex
BibTex
titre
A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy
auteur
Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux
article
International Journal of Foundations of Computer Science, World Scientific Publishing, 2008, 19 (2), pp.319--343
Accès au bibtex
BibTex

Conference papers

titre
Fair(er) and (almost) serene committee meetings with Logical and Formal Concept Analysis
auteur
Mireille Ducassé, Sébastien Ferré
article
Int. Conf. Conceptual Structures, 2008, Toulouse, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00363589/file/iccs2008.pdf BibTex
titre
Formal Concept analysis enhances Fault Localization in Software
auteur
Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux
article
Int. Conf. Formal Concept Analysis, 2008, Montreal, Canada. pp.273--288
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00363593/file/icfca2008-cellier.pdf BibTex

2007

Conference papers

titre
Improving Constraint-Based Testing with Dynamic Linear Relaxations
auteur
Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
article
the 18th IEEE International Symposium on Software Reliability Engineering (ISSRE'07), Nov 2007, France. pp.00-00
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00180513/file/issre07.pdf BibTex
titre
An Abstract Interpretation-based Combinator for Modelling While Loops in Constraint Programming
auteur
Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
article
the 13th International Conference on Principles and Practice of Constraint Programming (CP'07), Sep 2007, France. pp.00-00
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00180548/file/final.pdf BibTex
titre
Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques
auteur
Pierre Deransart, Mireille Ducassé, Gérard Ferrand
article
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), INRIA Rocquencourt, Jun 2007, Rocquencourt / France, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00151138/file/33.pdf BibTex
titre
A Parameterized Algorithm for Exploring Concept Lattices
auteur
Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé
article
Int. Conf. Formal Concept Analysis, Feb 2007, France. pp.114--129
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00180601/file/icfca07.pdf BibTex

Reports

titre
Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)
auteur
Pierre Deransart, Mireille Ducassé, Gérard Ferrand
article
[Interne] RR-6229, INRIA. 2007, pp.54
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00151285/file/RR-6229.pdf BibTex

2006

Conference papers

titre
An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy
auteur
Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé
article
International Conference on Concept Lattices and Their Applications, Oct 2006, Hammamet, Tunisia
Accès au bibtex
BibTex
titre
Agrégation d'alarmes faiblement structurées
auteur
Alexandre Vautier, Marie-Odile Cordier, Mireille Ducassé, René Quiniou
article
Atelier Fouille de Données Temporelles, EGC 06, 2006, Lille, France
Accès au bibtex
BibTex

Other publications

titre
Visualization of Internet Flow Records
auteur
Alexandre Vautier, Marie-Odile Cordier, Mireille Ducassé, René Quiniou
article
2006
Accès au bibtex
BibTex

2005

Conference papers

titre
Data mining and cross-checking of execution traces. A re-interpretation of Jones, Harrold and Stasko test information visualization
auteur
Tristan Denmat, Mireille Ducassé, Olivier Ridoux
article
International Conference on Automated Software Engineering, 2005, Long Beach, United States
Accès au bibtex
BibTex

Reports

titre
A Tracer Driver to Enable Concurrent Dynamic Analyses
auteur
Ludovic Langevine, Mireille Ducassé
article
[Research Report] RR-5611, INRIA. 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071235/file/RR-5611.pdf BibTex
titre
Data Mining and Cross-checking of Execution Traces : A re-intepretation of Jones, Harrold and Stasko test information visualization (Long version)
auteur
Tristan Denmat, Mireille Ducassé, Olivier Ridoux
article
[Research Report] RR-5661, INRIA. 2005, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070347/file/RR-5661.pdf BibTex
titre
Data Mining and Cross-checking of Execution Traces: A re-interpretation of Jones, Harrold and Stasko test information visualization (Long version)
auteur
Tristan Denmat, Mireille Ducassé, Olivier Ridoux
article
[Research Report] PI 1743, 2005, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000566/file/PI-1743.pdf BibTex

2004

Journal articles

titre
Détection d'intrusions : corrélation d'alertes
auteur
Hervé Debar, Benjamin Morin, Frédéric Cuppens, Fabien Autrel, Ludovic Mé, Bernard Vivinis, Salem Benferhat, Mireille Ducassé, Rodolphe Ortalo
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2004, 23, 32 p
Accès au bibtex
BibTex

Conference papers

titre
A Serial Combination of Anomaly and Misuse IDSes Applied to HTTP Traffic
auteur
Elvis Tombini, Hervé Debar, Ludovic Mé, Mireille Ducassé
article
Annual Computer Security Applications Conference 2004, Sep 2004, Beijing, China. 10 p
Accès au bibtex
BibTex

Reports

titre
Building efficient tools to query execution traces
auteur
Mireille Ducassé, Benjamin Sigonneau
article
[Research Report] RR-5280, INRIA. 2004, pp.52
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070720/file/RR-5280.pdf BibTex

2003

Conference papers

titre
A Propagation Tracer for Gnu-Prolog: from Formal Definition to Efficient Implementation
auteur
Ludovic Langevine, Mireille Ducassé
article
International Conference on Logic Programming, 2003, Mumbay, India
Accès au bibtex
BibTex

2002

Journal articles

titre
Generic Program Monitoring by Trace Analysis
auteur
Erwan Jahier, Mireille Ducassé
article
Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2002
Accès au bibtex
BibTex

2001

Reports

titre
Tracing Execution of CLP(FD) Programs : A Trace Model and an Experimental Validation Environment
auteur
Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier
article
[Research Report] RR-4342, INRIA. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072246/file/RR-4342.pdf BibTex
titre
Generic Program Monitoring by Trace Analysis
auteur
Erwan Jahier, Mireille Ducassé
article
[Research Report] RR-4323, INRIA. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072264/file/RR-4323.pdf BibTex

2000

Journal articles

titre
Tracing Prolog programs by source instrumentation is efficient enough
auteur
Mireille Ducassé, Jacques Noyé
article
Journal of Logic Programming, Elsevier, 2000
Accès au bibtex
BibTex

1999

Journal articles

titre
Opium: An extendable trace analyser for Prolog.
auteur
Mireille Ducassé
article
Journal of Logic Programming, Elsevier, 1999
Accès au bibtex
BibTex

Conference papers

titre
Coca: An automated Debugger for C
auteur
Mireille Ducassé
article
International Conference on Automated Software Engineering, 1999, Los Angeles, United States
Accès au bibtex
BibTex
titre
Generating deductive database explanations
auteur
Sarah Mallet, Mireille Ducassé
article
International Conference on Logic Programming, 1999, Las Cruces, United States
Accès au bibtex
BibTex
titre
A generic approach to monitor program executions
auteur
Erwan Jahier, Mireille Ducassé
article
International Conference on Logic Programming, 1999, Las Cruces, United States
Accès au bibtex
BibTex

Reports

titre
Myrtle : A Set-Oriented Meta-Interpreter Driven by a «Relational» Trace for Deductive Databases Debugging
auteur
Sarah Mallet, Mireille Ducassé
article
[Research Report] RR-3598, INRIA. 1999
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073081/file/RR-3598.pdf BibTex
titre
An Automated Debugger for Mercury - Opium-M 0.1 User and Reference Manuals
auteur
Mireille Ducassé, Erwan Jahier
article
[Research Report] RT-0231, INRIA. 1999, pp.104
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00069941/file/RT-0231.pdf BibTex

1998

Reports

titre
Abstract Views of Prolog Executions in Opium
auteur
Mireille Ducassé
article
[Research Report] RR-3531, INRIA. 1998
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073154/file/RR-3531.pdf BibTex
titre
Coca: A Debugger for C Based on Fine Grained Control Flow and Data Events
auteur
Mireille Ducassé
article
[Research Report] RR-3489, INRIA. 1998
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073198/file/RR-3489.pdf BibTex

1997

Reports

titre
OPIUM: An Extendable Trace Analyser for Prolog
auteur
Mireille Ducassé
article
[Research Report] RR-3257, INRIA. 1997
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073432/file/RR-3257.pdf BibTex

1995

Reports

titre
Logic Programming Environments: Dynamic Program Analysis and Debugging
auteur
Mireille Ducassé, Jacques Noyé
article
[Research Report] RR-2618, INRIA. 1995
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00074067/file/RR-2618.pdf BibTex

1994

Journal articles

titre
Logic Programming Environments: Dynamic program analysis and debugging
auteur
Mireille Ducassé, Jacques Noyé
article
Journal of Logic Programming, Elsevier, 1994
Accès au bibtex
BibTex

1988

Conference papers

titre
Opium+, a Meta-Debugger for Prolog
auteur
Mireille Ducassé
article
European Conference on Artificail Intelligence, 1988, Munich, Germany
Accès au bibtex
BibTex
titre
A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques
auteur
Mireille Ducassé, Anna-Maria Emde
article
International Conference on Automated Software Engineering, 1988, Singapour, Singapore
Accès au bibtex
BibTex