Mickael BARON

Je suis Ingénieur de Recherche en Informatique à l’ISAE-ENSMA depuis 2008 et membre du laboratoire de recherche en informatique LIAS (Laboratoire d’Informatique et d’Automatique pour les Systèmes). Mes activités sont triples : 1) Activité de recherche au sein de l’équipe IDD (Ingénierie des Données et des moDèles) avec une implication dans des projets structurants et collaboratifs, 2) Activité de valorisation et de transfert à travers la diffusion de plateformes logicielles, le montage et partenariats industriels, 3) Activité de contribution aux charges collectives et institutionnelles contribuant au fonctionnement et au développement du laboratoire et de l’ISAE-ENSMA.

90 %

Libre accès

Documents

Affiliations actuelles

Laboratoire d'informatique et d'automatique pour les systèmes [EA 6315] (LIAS [Poitiers])
Ingénierie des Données et des moDèles [équipe du LIAS] (IDD)
École Nationale Supérieure de Mécanique et d’Aérotechnique [Poitiers] (ISAE-ENSMA)

Identifiants chercheurs

Contact

Site web

Publications

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

	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	Cooperative Techniques for SPARQL Query Relaxation in RDF Databases Géraud Fokou , Stéphane Jean , Allel Hadjali , Mickael Baron 12th European Semantic Web Conference, ESWC 2015, May 2015, Portoroz, Slovenia. ⟨10.1007/978-3-319-18818-8_15⟩ Communication dans un congrès hal-05688229v1
	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
	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
	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
	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
	É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
	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
	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
	SUIDT: Safe User Interface Design Tool Mickaël Baron , Patrick Girard The 9th international conference on Intelligent user interfaces (IUI 2004), Jan 2004, Funchal, Portugal. pp.350, ⟨10.1145/964442.964529⟩ Communication dans un congrès hal-03592566v1
	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
	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
	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
	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
	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
	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
	SUIDT: A task model based GUI-Builder Mickaël Baron , Patrick Girard TAMODIA, Jul 2002, Bucharest, Romania Communication dans un congrès hal-03592530v1
	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
	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
	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

	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

	CIDOC CRM LLm Extractor Hariri Ali , Mickaël Baron , Stéphane Jean 2026, ⟨swh:1:dir:3541e0902473ceab0dde9a8ac82d30ebb6807755;origin=https://github.com/lias-laboratory/cidoccrm-llm-extractor;visit=swh:1:snp:03fd8d3b77ebd27d34d51c7de48f2388ec7bf999;anchor=swh:1:rev:e37b29bed6fda944263c7e5235a503ff256dc85b⟩ Logiciel hal-05490077v1
	RQL: A Query Language for Rule Discovery in Databases Mickaël Baron , Nicolas Buisson , Brice Chardin , Emmanuel Coquery , Benjamin Gouriou et al. 2024, ⟨swh:1:dir:13a549a54f5a3f047c499f9143fbae75ee2563f4;origin=https://github.com/lias-laboratory/rql;visit=swh:1:snp:a1565e838a5bdab082e79f1b41b75cdc3e11791f;anchor=swh:1:rev:881bb8f4e99344c369a989c7b577ef2293288fd3⟩ Logiciel hal-04594875v1
	Radius Clustering Python Package Quentin Haenn , Brice Chardin , Mickaël Baron 2024, ⟨swh:1:dir:5de8fbd9b18f9add2e7c35fd2658ded6b40f6b98;origin=https://github.com/lias-laboratory/radius_clustering;visit=swh:1:snp:6ffe749b0ec42d339ae8fd7a20b2169fe6c9ec4c;anchor=swh:1:rev:bc3b081db5d8d4f93f2b189a581abdf0ad121645⟩ Logiciel hal-05039266v1
	KMADe: Kernel of Model for Activity Description environment Mickaël Baron , Vincent Lucquiaud , Delphine Autard , Sybille Caffiau , Allan Fousse et al. 2024, ⟨swh:1:dir:70a927a515cf2e8175f5d15aea42bc3ffa922670;origin=https://github.com/lias-laboratory/kmade;visit=swh:1:snp:acaf2d90c77be1b4a1ccd74c2ff875c65b091cf6;anchor=swh:1:rev:7be06f8eedd75af28bb1b82f6b30c63e7fc3dff8⟩ Logiciel hal-04596510v1
	Clustering Under Radius Constraints Using Minimum Dominating Sets Quentin Haenn , Brice Chardin , Mickaël Baron 2024, ⟨swh:1:dir:b4d82c8c24d2619e80c30db6570098124e74a307;origin=https://github.com/lias-laboratory/mds_clustering;visit=swh:1:snp:4cd37ddeba9f3659bd5ee16caaedf169b34e6f6a;anchor=swh:1:rev:3c69f571f2f4210f9921ec9dc7cf735657022e7f⟩ Logiciel hal-04776988v1

Chargement...

Mickael BARON

Publications

Publications

A Cooperative Treatment of the Plethoric Answers Problem in RDF

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

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

A Mathematical Database to Process Time Series

Ontologies in engineering: the OntoDB/OntoQL platform

Handling Failing RDF Queries: From Diagnosis to Relaxation

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

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

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

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

Encoding a Process Algebra Using the Event B Method

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

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

Iterative Graph-Based Radius-Constrained Clustering

Towards Automating RDF Extraction for Archaeological Knowledge Graphs with LLMs

Knowledge Graphs for Data Integration in Retail

Clustering Under Radius Constraints Using Minimum Dominating Sets

Partitionnement sous contrainte de similarité

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

Trust Model Recommendation Driven by Application Requirements

Dealing with Plethoric Answers of SPARQL Queries

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

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

On Addressing the Empty Answer Problem in Uncertain Knowledge Bases

RDF Query Relaxation Strategies Based on Failure Causes

Cooperative Techniques for SPARQL Query Relaxation in RDF Databases

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

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

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

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

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

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

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

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

SUIDT: Safe User Interface Design Tool

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

Formal validation of HCI user tasks

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

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

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

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

SUIDT: A task model based GUI-Builder

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

Bringing robustness to end-user programming

Construction interactive d'application à partir du noyau fonctionnel

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

CIDOC CRM LLm Extractor

RQL: A Query Language for Rule Discovery in Databases

Radius Clustering Python Package

KMADe: Kernel of Model for Activity Description environment

Clustering Under Radius Constraints Using Minimum Dominating Sets