MB

Mickael BARON

45
Documents

Présentation

Publications

18
12
11
10
10
5
5
4
4
3
3
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
2
3
1
2
2
1
2
3
2
1
1
4
1
1
1
4
1
2
5
3
2
1

Publications

Deposit thumbnail

A Cooperative Treatment of the Plethoric Answers Problem in RDF

Louise Parkin , Brice Chardin , Stéphane Jean , Allel Hadjali , Mickael Baron

Knowledge and Information Systems (KAIS), 2022, 64 (9), pp.2481-2514. ⟨10.1007/s10115-022-01710-8⟩

Article dans une revue hal-03768027v1
Deposit thumbnail

Query Answering over Uncertain RDF Knowledge Bases: Explain and Obviate Unsuccessful Query Results

Ibrahim Dellal , Stéphane Jean , Allel Hadjali , Brice Chardin , Mickael Baron

Knowledge and Information Systems (KAIS), 2019, 61, pp.1633-1665. ⟨10.1007/s10115-019-01332-7⟩

Article dans une revue hal-03185269v1

Traitement coopératif des requêtes RDF dans le contexte des bases de connaissances incertaines

Ibrahim Dellal , Stéphane Jean , Allel Hadjali , Brice Chardin , Mickael Baron

Document numérique - Revue des sciences et technologies de l'information. Série Document numérique, 2018, 21 (1-2), pp.9--35. ⟨10.3166/DN.21.1-2.9-35⟩

Article dans une revue hal-03204287v1

A Mathematical Database to Process Time Series

Cyrille Ponchateau , Ladjel Bellatreche , Carlos Ordonez , Mickael Baron

International Journal of Data Warehousing and Mining (IJDWM), 2018, 14 (3), ⟨10.4018/IJDWM.2018070101⟩

Article dans une revue hal-03204314v1
Deposit thumbnail

Ontologies in engineering: the OntoDB/OntoQL platform

Yamine Aït-Ameur , Mickael Baron , Ladjel Bellatreche , Stéphane Jean , Eric Sardet

Soft Computing, 2017, 21 (2), pp.369-389. ⟨10.1007/s00500-015-1633-5⟩

Article dans une revue hal-02486126v1

Handling Failing RDF Queries: From Diagnosis to Relaxation

Géraud Fokou , Stéphane Jean , Allel Hadjali , Mickael Baron

Knowledge and Information Systems, 2016, 50, pp.167--195. ⟨10.1007/s10115-016-0941-0⟩

Article dans une revue hal-03204293v1
Deposit thumbnail

Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux

Yamine Aït-Ameur , Idir Aït-Sadoune , Mickael Baron , Jean-Marc Mota

Journal d'Interaction Personne-Système, 2014, Volume 1 (1), pp.1-30. ⟨10.46298/jips.59⟩

Article dans une revue hal-00634186v1

Comparaison et Evaluation des Systèmes de Gestion de Base de Données Sémantiques

Bery Mbaiossoum , Ladjel Bellatreche , Stéphane Jean , Mickael Baron

Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2013

Article dans une revue hal-03206617v1

Ontology-Based Structured Web Data Warehouses for Sustainable Interoperability: Requirement Modeling, Design Methodology and Tool

Selma Khouri , Ilyes Boukhari , Ladjel Bellatreche , Stéphane Jean , Eric Sardet et al.

Computers in Industry, 2012, 63 (8), pp.799--812. ⟨10.1016/j.compind.2012.08.001⟩

Article dans une revue istex hal-03206612v1

Increasing the expressive power of task analysis: Systematic comparison and empirical assessment of tool-supported task models

Sybille Caffiau , Dominique Scapin , Patrick Girard , Mickaël Baron , Francis Jambon

Interacting with Computers, 2010, 22 (6), pp.569-593. ⟨10.1016/j.intcom.2010.06.003⟩

Article dans une revue istex hal-00950015v1

Encoding a Process Algebra Using the Event B Method

Yamine Aït-Ameur , Mickael Baron , Nadjet Kamel , Jean-Marc Mota

International Journal on Software Tools for Technology Transfer, 2009, 11 (3), pp.239--253. ⟨10.1007/s10009-009-0109-2⟩

Article dans une revue istex hal-03273749v1

Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement

Yamine Aït-Ameur , Idir Aït-Sadoune , Mickael Baron , Jean-Marc Mota

Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2008, 13 (2), pp.127-154

Article dans une revue hal-00634197v1

Formal and Experimental Validation Approaches in HCI Systems Design Based on a Shared Event B Model

Yamine Aït-Ameur , Mickael Baron

International Journal on Software Tools for Technology Transfer, 2006, 8 (6), pp.547--563. ⟨10.1007/s10009-006-0008-8⟩

Article dans une revue istex hal-03273828v1
Deposit thumbnail

Iterative Graph-Based Radius-Constrained Clustering

Quentin Haenn , Brice Chardin , Mickaël Baron , Allel Hadjali

Machine Learning with Graphs Workshop, ECML-PKDD, Sep 2025, Porto, Portugal

Communication dans un congrès hal-05281748v1
Deposit thumbnail

Towards Automating RDF Extraction for Archaeological Knowledge Graphs with LLMs

Ali Hariri , Stéphane Jean , Mickaël Baron

International Conference on Database and Expert Systems Applications, Aug 2025, Bangkok, Thailand. pp.83-97, ⟨10.1007/978-3-032-02049-9_6⟩

Communication dans un congrès hal-05237866v1
Deposit thumbnail

Partitionnement sous contrainte de similarité

Quentin Haenn , Brice Chardin , Mickaël Baron

40e Conférence sur la Gestion de Données : Principes, Technologies et Applications (BDA 2024), BDA, Oct 2024, Orléans, France

Communication dans un congrès hal-04791528v1
Deposit thumbnail

Clustering Under Radius Constraints Using Minimum Dominating Sets

Quentin Haenn , Brice Chardin , Mickaël Baron

27th International Symposium on Methodologies for Intelligent Systems, Jun 2024, Poitiers, France. pp.14-23, ⟨10.1007/978-3-031-62700-2_2⟩

Communication dans un congrès hal-04533921v1
Deposit thumbnail

Knowledge Graphs for Data Integration in Retail

Maxime Perrot , Mickaël Baron , Brice Chardin , Stéphane Jean

27th International symposium on methodologies for intelligent systems (ISMIS 2024), Jun 2024, Poitiers - Futuroscope, France

Communication dans un congrès hal-04582725v1
Deposit thumbnail

Thesaurus-based Transformation: A Classification Method for Real Dirty Data

Maxime Perrot , Mickaël Baron , Brice Chardin , Stéphane Jean

European Conference on Advances in Databases and Information Systems (ADBIS), Sep 2023, Barcelona, Spain. pp.256-265, ⟨10.1007/978-3-031-42941-5_23⟩

Communication dans un congrès hal-04161946v1

Trust Model Recommendation Driven by Application Requirements

Chayma Sellami , Mickaël Baron , Stéphane Jean , Mounir Bechchi , Allel Hadjali et al.

RCIS 2022, May 2022, Barcelona, Spain. pp.694-702, ⟨10.1007/978-3-031-05760-1_45⟩

Communication dans un congrès hal-03721609v1
Deposit thumbnail

Dealing with Plethoric Answers of SPARQL Queries

Louise Parkin , Brice Chardin , Stéphane Jean , Allel Hadjali , Mickaël Baron

Proceedings of the 32nd International Conference on Database and Expert Systems Applications, Sep 2021, Linz, Austria. pp.292-304, ⟨10.1007/978-3-030-86472-9_27⟩

Communication dans un congrès hal-03356184v1

Towards a Unified Framework for Computational Trust and Reputation Models for e-Commerce Applications

Chayma Sellami , Mickaël Baron , Mounir Bechchi , Allel Hadjali , Stephane Jean et al.

RCIS 2021, May 2021, Limassol, Cyprus. pp.616-622, ⟨10.1007/978-3-030-75018-3_44⟩

Communication dans un congrès hal-03721614v1
Deposit thumbnail

On Addressing the Empty Answer Problem in Uncertain Knowledge Bases

Ibrahim Dellal , Stéphane Jean , Allel Hadjali , Brice Chardin , Mickaël Baron

Proceedings of the 28th International Conference on Database and Expert Systems Applications, Aug 2017, Lyon, France. pp.120-129, ⟨10.1007/978-3-319-64468-4_9⟩

Communication dans un congrès hal-03356196v1

Traitement coopératif des requêtes RDF dans le contexte des bases de connaissances incertaines

Ibrahim Dellal , Stéphane Jean , Allel Hadjali , Brice Chardin , Mickaël Baron

Informatique des Organisations et Systèmes d'Information et de Décision (INFORSID), May 2017, Toulouse, France

Communication dans un congrès hal-04161962v1

RDF Query Relaxation Strategies Based on Failure Causes

Géraud Fokou , Stéphane Jean , Allel Hadjali , Mickaël Baron

European Semantic Web Conference 2016 (ESWC), May 2016, Heraklion (Crete Island), Greece. pp.439-454, ⟨10.1007/978-3-319-34129-3_27⟩

Communication dans un congrès hal-05345216v1
Deposit thumbnail

Extension de ONTODB pour Construire une Architecture Générique de Bases de Données à Base Ontologique

Youness Bazhar , Stéphane Jean , Yamine Aït-Ameur , Mickaël Baron

6e Conférence francophone sur les Architectures Logicielles (CAL 2012), May 2012, Montpellier, France

Communication dans un congrès hal-03592799v1

Verification and validation of BPEL processes. A proof and animation based approach

Idir Aït-Sadoune , Yamine Aït-Ameur , Mickael Baron

Rodin User and Developer Workshop : Deploy Federated Event, Feb 2012, Fontainebleau, France

Communication dans un congrès hal-00695440v1
Deposit thumbnail

Etude Comparative des Systèmes de Bases de Données à base Ontologiques

Bery Mbaiossoum , Selma Khouri , Ladjel Bellatreche , Stéphane Jean , Mickaël Baron

30e congrès INFORSID, May 2012, Montpellier, France

Communication dans un congrès hal-03592769v1
Deposit thumbnail

Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve.

Yamine Aït-Ameur , Idir Aït-Sadoune , Mickael Baron , Jean-Marc Mota

18es Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006)., Apr 2006, Montréal, Canada. pp.123-130, ⟨10.1145/1132736.1132752⟩

Communication dans un congrès hal-00633908v1

K-MADe : un environnement pour le noyau du modèle de description de l'activité

Mickaël Baron , V. Lucquiaud , D. Autard , D. Scapin

Actes de la 14e conférence francophone sur l'Interaction Homme-Machine (IHM 2006), Apr 2006, Montreal, Canada. pp.287-288, ⟨10.1145/1132736.1132786⟩

Communication dans un congrès hal-03592592v1
Deposit thumbnail

Étude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement.

Yamine Aït-Ameur , Idir Aït-Sadoune , Mickael Baron

MOSIM 2006 - 6ème Conférence Francophone de Modélisation et Simulation. Modélisation, Optimisation et Simulation des Systèmes, Apr 2006, Rabat, Maroc. pp.578-588

Communication dans un congrès hal-00633903v1
Deposit thumbnail

Using formal methods in safety-critical interactive system design : from architecture-based approaches to tool-based development

Patrick Girard , Mickaël Baron , Francis Jambon

HCI International 2005, Jul 2005, Las Vegas, United States. pp.1-10

Communication dans un congrès hal-01010575v1

SUIDT: Safe User Interface Design Tool

Mickaël Baron , Patrick Girard

the 9th international conference, Jan 2004, Funchal, Portugal. pp.350, ⟨10.1145/964442.964529⟩

Communication dans un congrès hal-03592566v1
Deposit thumbnail

Bridging the gap between formal and experimental validation approaches in HCI systems design: use of the event B proof based technique

Yamine Aït-Ameur , Mickaël Baron

International Symposium on Leveraging Applications of Formal Methods (ISoLA), Oct 2004, Paphos, Cyprus

Communication dans un congrès hal-03592574v1
Deposit thumbnail

Integrating formal approaches in Human-Computer Interaction methods and tools: an experience

Patrick Girard , Mickael Baron , Francis Jambon

Closing the Gaps: Software Engineering and Human-Computer Interaction (Interact 2003 Workshop), Sep 2003, Zürich, Switzerland. pp.55-62

Communication dans un congrès hal-03759396v1
Deposit thumbnail

Formal validation of HCI user tasks

Yamine Ait-Ameur , Mickael Baron , Patrick Girard

Proc. International Conference on Software Engineering Research and Practice (SERP 2003), Jun 2003, Las Vegas, Unknown Region. pp.732-738

Communication dans un congrès hal-03759393v1
Deposit thumbnail

SUIDT : Un outil de construction d'interfaces utilisateurs sûres (Article de Démonstration)

Mickael Baron , Patrick Girard

15ème Conférence Francophone sur l'Interaction Homme-Machine (IHM 2003), Nov 2003, Caen, France. pp.198-201

Communication dans un congrès hal-03759405v1
Deposit thumbnail

Utilisation de techniques formelles dans la modélisation d'Interfaces Homme-Machine. Une expérience comparative entre B et Promela/SPIN

Yamine Ait-Ameur , Mickael Baron , Nadjet Kamel

6th International Symposium on Programming and Systems ISPS 2003 (ISPS 2003), May 2003, Alger, Algérie. pp.57-66

Communication dans un congrès hal-03759386v1

De la conception à la construction d'application sûre

Mickaël Baron

Actes de la 14e conférence francophone sur l'Interaction Homme-Machine (IHM 2002), Nov 2002, Poitiers, France. pp.285-286, ⟨10.1145/777005.777056⟩

Communication dans un congrès hal-03592550v1
Deposit thumbnail

SUIDT: A task model based GUI-Builder

Mickaël Baron , Patrick Girard

TAMODIA, Jul 2002, Bucharest, Romania

Communication dans un congrès hal-03592530v1

Intégration d'un modèle de tâche dans une démarche sûre de construction d'interface

Mickaël Baron

Actes de la 14e conférence francophone sur l'Interaction Homme-Machine (IHM 2002), Nov 2002, Poitiers, France. pp.73-80, ⟨10.1145/777005.777016⟩

Communication dans un congrès hal-03592581v1

Bringing robustness to end-user programming

Mickaël Baron , Patrick Girard

HCC 2001. IEEE Symposium on Human-Centric Computing Languages and Environments, Sep 2001, Stresa, Italy. pp.142-149, ⟨10.1109/HCC.2001.995252⟩

Communication dans un congrès hal-03592533v1
Deposit thumbnail

Vers un développement sûr d'applications interactives

Mickaël Baron , Patrick Girard

13e conférence francophone sur l'Interaction Homme-Machine (IHM 2001), Sep 2001, Lille, France

Communication dans un congrès hal-03592697v1
Deposit thumbnail

Construction interactive d'application à partir du noyau fonctionnel

Patrick Girard , Mickaël Baron

Ergonomie et Informatique avancées (ErgoIHM 2000), Oct 2000, Biarritz, France

Communication dans un congrès hal-03592684v1
Deposit thumbnail

Vers une approche sûre du développement des Interfaces Homme-Machine

Mickaël Baron

Informatique [cs]. Université de Poitiers (France), 2003. Français. ⟨NNT : ⟩

Thèse tel-03592883v1