MB

Mickael BARON

42
Documents

Présentation

Publications

16
12
10
10
9
5
5
4
4
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
3
1
2
2
1
2
3
1
1
1
4
1
1
1
4
1
2
5
3
2
1

Publications

Image document

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

É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-00633903 v1
Image document

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

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

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

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

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

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

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

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

SUIDT: A task model based GUI-Builder

Mickaël Baron , Patrick Girard
TAMODIA, Jul 2002, Bucharest, Romania
Communication dans un congrès hal-03592530 v1

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

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

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

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