CV Accueil - Archive ouverte HAL

	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
	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
	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
	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 Computers in Industry, 2012, 63 (8), pp.799--812. ⟨10.1016/j.compind.2012.08.001⟩ Article dans une revue 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 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 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 hal-03273828v1

	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 Communication dans un congrès hal-04533921v1
	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 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 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
	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
	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
	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
	É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
	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
	Integrating formal approaches in Human-Computer Interaction methods and tools: an experience (Workshop) Patrick Girard , Mickael Baron , Francis Jambon Closing the Gaps - Software Engineering and Human-Computer Interaction (Interact 2003), 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
	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
	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

Mickael BARON

Présentation

Publications

A Cooperative Treatment of the Plethoric Answers Problem in RDF

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

A Mathematical Database to Process Time Series

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

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

Clustering Under Radius Constraints Using Minimum Dominating Sets

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

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

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

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

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

É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

SUIDT: Safe User Interface Design Tool

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

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

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

SUIDT: A task model based GUI-Builder

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

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