|
|
Partial orders and logical concept analysis to explore patterns extracted by data mining
Peggy Cellier
,
Sébastien Ferré
,
Mireille Ducassé
,
Thierry Charnois
Conference papers
hal-00779194v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
An Automated Debugger for Mercury - Opium-M 0.1 User and Reference Manuals
Mireille Ducassé
,
Erwan Jahier
[Research Report] RT-0231, INRIA. 1999, pp.104
Reports
inria-00069941v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Formal Concept analysis enhances Fault Localization in Software
Peggy Cellier
,
Mireille Ducassé
,
Sébastien Ferré
,
Olivier Ridoux
Int. Conf. Formal Concept Analysis, 2008, Montreal, Canada. pp.273--288
Conference papers
inria-00363593v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A logic-based model to support alert correlation in intrusion detection
Benjamin Morin
,
Ludovic Mé
,
Hervé Debar
,
Mireille Ducassé
Journal articles
hal-00353059v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Exploration de traces à l'aide de fouille de données
Peggy Cellier
,
Mireille Ducassé
,
Sébastien Ferré
2011
Other publications
hal-01119552v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Convertibilité entre types d'entrée et de sortie pour la composition de services en bio-informatique
Mouhamadou Ba
,
Sébastien Ferré
,
Mireille Ducassé
Reconnaissance de Formes et Intelligence Artificielle (RFIA) 2014, Jun 2014, France
Conference papers
hal-00989229v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Multiple Fault Localization with Data Mining
Peggy Cellier
,
Mireille Ducassé
,
Sébastien Ferré
,
Olivier Ridoux
International Conference on Software Engineering & Knowledge Engineering (SEKE), Jul 2011, Miami, United States
Conference papers
hal-01119562v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Data Mining and Cross-checking of Execution Traces : A re-intepretation of Jones, Harrold and Stasko test information visualization (Long version)
Tristan Denmat
,
Mireille Ducassé
,
Olivier Ridoux
[Research Report] RR-5661, INRIA. 2005, pp.21
Reports
inria-00070347v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
An Abstract Interpretation-based Combinator for Modelling While Loops in Constraint Programming
Tristan Denmat
,
Arnaud Gotlieb
,
Mireille Ducassé
the 13th International Conference on Principles and Practice of Constraint Programming (CP'07), Sep 2007, France. pp.00-00
Conference papers
hal-00180548v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Safe Suggestions Based on Type Convertibility to Guide Workflow Composition
Mouhamadou Ba
,
Sébastien Ferré
,
Mireille Ducassé
Conference papers
hal-01252775v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
An Interactive Guidance Process Supporting Consistent Updates of RDFS Graphs
Alice Hermann
,
Sébastien Ferré
,
Mireille Ducassé
EKAW - 18th International Conference on Knowledge Engineering and Knowledge Management - 2012, 2012, Galway City, Ireland. pp.185-199
Conference papers
hal-00757083v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Myrtle : A Set-Oriented Meta-Interpreter Driven by a «Relational» Trace for Deductive Databases Debugging
Sarah Mallet
,
Mireille Ducassé
[Research Report] RR-3598, INRIA. 1999
Reports
inria-00073081v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Using Biddings and Motivations in Multi-unit Assignments
Mireille Ducassé
,
Peggy Cellier
Conference papers
hal-01104449v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Guided Semantic Annotation of Comic Panels with Sewelis
Alice Hermann
,
Sébastien Ferré
,
Mireille Ducassé
2012
Other publications
hal-00757095v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Generating Data Converters to Help Compose Services in Bioinformatics Workflows
Mouhamadou Ba
,
Sébastien Ferré
,
Mireille Ducassé
Int. Conf. Database and Expert Systems Applications (DEXA), 2014, Munich, Germany. pp.15
Conference papers
hal-01122399v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Fair(er) and (almost) serene committee meetings with Logical and Formal Concept Analysis
Mireille Ducassé
,
Sébastien Ferré
Int. Conf. Conceptual Structures, 2008, Toulouse, France
Conference papers
inria-00363589v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques
Pierre Deransart
,
Mireille Ducassé
,
Gérard Ferrand
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), INRIA Rocquencourt, Jun 2007, Rocquencourt / France, France
Conference papers
inria-00151138v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy
Peggy Cellier
,
Mireille Ducassé
,
Sébastien Ferré
,
Olivier Ridoux
International Journal of Foundations of Computer Science, 2008, 19 (2), pp.319--343
Journal articles
inria-00363594v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A Tracer Driver to Enable Concurrent Dynamic Analyses
Ludovic Langevine
,
Mireille Ducassé
[Research Report] RR-5611, INRIA. 2005
Reports
inria-00071235v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Fair and Fast Convergence on Islands of Agreement in Multicriteria Group Decision Making by Logical Navigation
Mireille Ducassé
,
Peggy Cellier
Journal articles
hal-01104444v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Détection d'intrusions : corrélation d'alertes
Hervé Debar
,
Benjamin Morin
,
Frédéric Cuppens
,
Fabien Autrel
,
Ludovic Mé
et al.
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2004, 23, 32 p
Journal articles
hal-00356418v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Nested Forms with Dynamic Suggestions for Quality RDF Authoring
Pierre Maillot
,
Sébastien Ferré
,
Peggy Cellier
,
Mireille Ducassé
,
Franck Partouche
et al.
International Conference on Database and Expert Systems Applications (DEXA), Aug 2017, Lyon, France
Conference papers
hal-01731124v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Data Mining for Fault Localization: towards a Global Debugging Process
Peggy Cellier
,
Mireille Ducassé
,
Sébastien Ferré
,
Olivier Ridoux
[Research Report] INSA RENNES; Univ Rennes, CNRS, IRISA, France. 2018
Reports
hal-02003069v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Kartu-Verbs : un système d'informations logiques de formes verbales fléchies pour contourner les problèmes de lemmatisation des verbes géorgiens
Mireille Ducassé
EGC 2022 - Conférence francophone sur l'Extraction et la Gestion des Connaissances, Jan 2022, Blois, France. pp.421-428
Conference papers
hal-03542560v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Opium: An extendable trace analyser for Prolog.
Mireille Ducassé
Journal of Logic Programming, 1999
Journal articles
hal-00756828v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Convertibility between input and output types to help compose services in bioinformatics
Mouhamadou Ba
,
Sébastien Ferré
,
Mireille Ducassé
Colloque africain sur la recherche en informatique et mathématiques appliquées (CARI),, 2014, Saint-Louis, Senegal
Conference papers
hal-01122403v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A generic approach to monitor program executions
Erwan Jahier
,
Mireille Ducassé
International Conference on Logic Programming, 1999, Las Cruces, United States
Conference papers
hal-00756844v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Tracing Execution of CLP(FD) Programs : A Trace Model and an Experimental Validation Environment
Ludovic Langevine
,
Pierre Deransart
,
Mireille Ducassé
,
Erwan Jahier
[Research Report] RR-4342, INRIA. 2001
Reports
inria-00072246v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Solving Data Mismatches in Bioinformatics Workflows by Generating Data Converters
Mouhamadou Ba
,
Sébastien Ferré
,
Mireille Ducassé
Transactions on Large-Scale Data- and Knowledge-Centered Systems, 2016, LNCS, 9510, pp.88-115
Journal articles
hal-01485059v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Using Bids, Arguments and Preferences in Sensitive Multi-unit Assignments: A p-Equitable Process and a Course Allocation Case Study
Mireille Ducassé
,
Peggy Cellier
Journal articles
hal-01485046v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|