Mickael BARON

Présentation

Publications

Article dans une revue (13)

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

Communication dans un congrès (31)

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 Hadjaliet 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 Jeanet 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
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
É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
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
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
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
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
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
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
SUIDT: A task model based GUI-Builder Mickaël Baron,Patrick Girard TAMODIA, Jul 2002, Bucharest, Romania Communication dans un congrès hal-03592530v1
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
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
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
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

Thèse (1)

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