Search - Archive ouverte HAL Access content directly

Filter your results

75 Results
Image document

Partial orders and logical concept analysis to explore patterns extracted by data mining

Peggy Cellier , Sébastien Ferré , Mireille Ducassé , Thierry Charnois
International Conference on Conceptual Structures, 2011, Derby, United Kingdom. pp.77-90, ⟨10.1007/978-3-642-22688-5_6⟩
Conference papers hal-00779194v1
Image document

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
Image document

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

A logic-based model to support alert correlation in intrusion detection

Benjamin Morin , Ludovic Mé , Hervé Debar , Mireille Ducassé
Information Fusion, 2009, 10 (4), pp.285-299. ⟨10.1016/j.inffus.2009.01.005⟩
Journal articles hal-00353059v1

Exploration de traces à l'aide de fouille de données

Peggy Cellier , Mireille Ducassé , Sébastien Ferré
2011
Other publications hal-01119552v1
Image document

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

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
Image document

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
Image document

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
Image document

Safe Suggestions Based on Type Convertibility to Guide Workflow Composition

Mouhamadou Ba , Sébastien Ferré , Mireille Ducassé
Foundations of Intelligent Systems (ISMIS), Oct 2015, Lyon, France. ⟨10.1007/978-3-319-25252-0_25⟩
Conference papers hal-01252775v1
Image document

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
Image document

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

Using Biddings and Motivations in Multi-unit Assignments

Mireille Ducassé , Peggy Cellier
Group Decision and Negotiation, Jun 2014, Toulouse, France. pp.8, ⟨10.1007/978-3-319-07179-4-6⟩
Conference papers hal-01104449v1
Image document

Guided Semantic Annotation of Comic Panels with Sewelis

Alice Hermann , Sébastien Ferré , Mireille Ducassé
2012
Other publications hal-00757095v1

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
Image document

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
Image document

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

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
Image document

A Tracer Driver to Enable Concurrent Dynamic Analyses

Ludovic Langevine , Mireille Ducassé
[Research Report] RR-5611, INRIA. 2005
Reports inria-00071235v1

Fair and Fast Convergence on Islands of Agreement in Multicriteria Group Decision Making by Logical Navigation

Mireille Ducassé , Peggy Cellier
Group Decision and Negotiation, 2014, pp.22. ⟨10.1007/s10726-013-9372-4⟩
Journal articles hal-01104444v1

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
Image document

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
Image document

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
Image document

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

Opium: An extendable trace analyser for Prolog.

Mireille Ducassé
Journal of Logic Programming, 1999
Journal articles hal-00756828v1

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

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
Image document

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
Image document

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

Using Bids, Arguments and Preferences in Sensitive Multi-unit Assignments: A p-Equitable Process and a Course Allocation Case Study

Mireille Ducassé , Peggy Cellier
Group Decision and Negotiation, 2016, 25 (6), ⟨10.1007/s10726-016-9483-9⟩
Journal articles hal-01485046v1