Mickael BARON
Mickael BARON
Ingénieur de Recherche

email : baron@ensma.fr
tél : +33 (0)549498073
adresse : ISAE-ENSMA, 1 avenue Clément Ader BP 40109, 86961 Chasseneuil - France
équipe : Ingénierie des Données et des Modèles
Publications
(49)
Ouvrages individuels ou collectifs
(1)
Yamine AIT-AMEUR, Mickael BARON, Nabil BELAID, Stéphane JEAN, Laura Mastella, Ontology Integration and Management within Data Intensive Engineering Systems, In Shared Earth Modeling: Knowledge Driven Solutions for Building and Managing Subsurface 3D Geological models (Shared Earth Modeling), chapt. 13, 2013, pp. 281-305
Revues Internationales
(6)
Géraud FOKOU, Stéphane JEAN, Allel HADJALI, Mickael BARON, Handling Failing RDF Queries: From Diagnosis to Relaxation, Knowledge and Information Systems (KAIS 2016), March, 2016, pp. 167-19521368/KAIS2015.pdf
Yamine AIT-AMEUR, Mickael BARON, Ladjel BELLATRECHE, Stéphane JEAN, Eric SARDET, Ontologies in engineering: The OntoDB/OntoQL platform, Soft Computing (SC), 201517794/main-soft-computing-2014.pdf
Selma KHOURI, Ilyes BOUKHARI, Ladjel BELLATRECHE, Stéphane JEAN, Eric SARDET, Mickael BARON, Ontology-based structured web data warehouses for sustainable interoperability: requirement modeling, design methodology and tool, Computers in Industry (CII 2012), 2012, pp. 799-8129939/Khouri_ComputerInIndustry2012.pdf
Sybille CAFFIAU, Dominique Scapin, Patrick GIRARD, Mickael BARON, Francis JAMBON, Increasing the expressive power of task analysis: systematic comparison and empirical assessment of tool-supported task models , Interacting with computers (IWC 2010), 2010, pp. 569-593http://dx.doi.org/10.1016/j.intcom.2010.06.003http://dx.doi.org/10.1016/j.intcom.2010.06.003
Yamine AIT-AMEUR, Mickael BARON, Nadjet KAMEL, Jean-Marc MOTA, Encoding a process algebra using the Event B method, International Journal on Software Tools for Technology Transfer (STTT 2009), vol. Volume 11, n. Number 3, 2009, pp. 239-253http://springerlink.com/content/e678300406631434/?p=06debe5114e64a758dae3651b5c97db9&pi=5http://springerlink.com/content/e678300406631434/?p=06debe5114e64a758dae3651b5c97db9&pi=5
Yamine AIT-AMEUR, Mickael BARON, Formal and experimental validation approaches in HCI systems design based on a shared event B model, International Journal on Software Tools for Technology Transfer (STTT 2006), vol. 8, n. 6, November, 2006, pp. 547-563
Revues Nationales
(3)
Bery MBAIOSSOUM, Ladjel BELLATRECHE, Stéphane JEAN, Mickael BARON, Comparaison et Evaluation des Systèmes de Gestion de Base de Données Sémantiques, Ingénierie des Systèmes d'Information (ISI - 2013), 201310779/ISI2013.pdf
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Jean-Marc MOTA, Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux, Journal d'Interaction Personne-Système (JIPS 2010), vol. 1, n. 1, Septembre, 2010, pp. 1-30http://jips.gforge.inria.fr/articles/1/1/3-aitameur.htmlhttp://jips.gforge.inria.fr/articles/1/1/3-aitameur.html
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Jean-Marc MOTA, Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement, RSTI - ISI (Ingénierie des Systèmes d'Information) (ISI 2008), vol. 13 , n. 2, 2008, pp. 127-154
Conférences Internationales
(22)
Géraud FOKOU, Stéphane JEAN, Allel HADJALI, Mickael BARON, RDF Query Relaxation Strategies Based on Failure Causes (Best Research Paper Award), 13th International Extented Semantic Web Conference, Heraklion, Greece (ESWC16), 2016, pp. 439-45421268/ESWC2016_FOKOU_ET_AL_CAMERA_READY.pdf
Cyrille PONCHATEAU, Ladjel BELLATRECHE, Carlos Ordonez, Mickael BARON, A Database Model for Time Series : From a traditional Data Warehouse to a Mathematical Models Warehouse, 32th French Conference On Advanced Databases (BDA 2016), 2016
Géraud FOKOU, Stéphane JEAN, Allel HADJALI, Mickael BARON, Cooperative Techniques for SPARQL Query Relaxation in RDF Databases, 12th Internationa Extended Semantic Web Conference, Portoroz, Slovenia (ESWC15), 2015, pp. 237-25218000/ESWC2015.pdf
Géraud FOKOU, Stéphane JEAN, Allel HADJALI, Mickael BARON, QaRS: A User-Friendly Graphical Tool for Semantic Query Design and Relaxation (Demo Paper) , 18th International Conference on Extending Database Technology, Brussels, Belgium (EDBT15), 2015, pp. 553-556
Selma BOUARAR, Ladjel BELLATRECHE, Stéphane JEAN, Mickael BARON, Do Rule-based Approaches Still Make Sense in Logical Data Warehouse Design?, Proceedings of the 18th East-European Conference on Advances in Databases and Information Systems (ADBIS 2014), 2014
Stéphane JEAN, Ladjel BELLATRECHE, Carlos Ordonez, Géraud FOKOU, Mickael BARON, OntoDBench: Interactively Benchmarking Ontology Storage in a Database (Demo paper), Proceedings of the 32nd International Conference on Conceptual Modeling (ER 2013), 201311861/er2013.pdf
Youness BAZHAR, Yamine AIT-AMEUR, Stéphane JEAN, Mickael BARON, A Flexible Support of Non Canonical Concepts In Ontology-Based Databases, Proceedings of the 8th International Conference on Web Information Systems and Technologies (WEBIST), Porto, Portugal, April, 2012, pp. 393-3989700/webist2012_bazhar.pdf
Stéphane JEAN, Ladjel BELLATRECHE, Géraud FOKOU, Mickael BARON, Selma KHOURI, OntoDBench : Novel Benchmarking System for Ontology-Based Databases, Ontologies, DataBases, and Applications of Semantics (ODBASE 2012), Septembre, 2012, pp. 897-9149908/JEAN_ODBASE2012.pdf
Idir AIT-SADOUNE, Yamine AIT-AMEUR, Mickael BARON, Verification and validation of BPEL processes. A proof and animation based approach, Rodin User and Developer Workshop : Deploy Federated Event (Rodin User and Developer Workshop), 2012
Patrick GIRARD, Francis JAMBON, Mickael BARON, Using formal methods in safety-critical interactive system design : from architecture-based approaches to tool-based development, HCII, Las Vegas, USA, 20057212/2005-hcii05-gijaba.pdf
Yamine AIT-AMEUR, Mickael BARON, Nadjet KAMEL, Encoding a Process Algebra Using the Event B Method., ISOLA 2005 - 2nd IEEE International Symposium on Leveraging Applications of Formal Methods, edited by Loyola College, Department of Computer Science University of, Columbia, Maryland USA, 20057295/2005-isola05-yabaka.pdf
Yamine AIT-AMEUR, Mickael BARON, Bridging the gap between formal and experimental validation approaches in HCI systems design : use of the event B proof based technique, ISOLA 2004 - 1st International Symposium on Leveraging Applications of Formal Methods, edited by Cyprus, Department of Computer Science University of, Paphos, Cyprus, 2004, pp. 74-817110/2004-isola04-yaba.pdf
Mickael BARON, Patrick GIRARD, SUIDT : Safe User Interface Design Tool (Demo Paper), International Conference on Intelligent User Interfaces Computer-Aided Design of User Interfaces (IUI-CADUI 2004), Madeira, Portugal, edited by ACM Press, 2004, pp. 350-3516944/2004-iuicadui04-bmgp.pdf
Mickael BARON, Patrick GIRARD, SUIDT : Un outil de construction d'interfaces utilisateurs sûres (Article de Démonstration), 15ème Conférence Francophone sur l'Interaction Homme-Machine (IHM 2003), vol. 1, Caen, edited by ACM Press, 2003, pp. 198-2016939/2003-ihm03-bmgp.pdf
Patrick GIRARD, Mickael BARON, Francis JAMBON, Integrating formal approaches in Human-Computer Interaction methods and tools: an experience (Workshop), Interact 2003 - Closing the Gaps - Software Engineering and Human-Computer Interaction, edited by Morten Borup Harning and Jean Vanderdonckt, Zürich, Switzerland, 2003, pp. 55-626968/2003-sehci-gibmjf.pdf
Yamine AIT-AMEUR, Mickael BARON, Patrick GIRARD, Formal validation of HCI user tasks, International Conference on Software Engineering Research and Practice (SERP 2003), vol. 2, edited by Ban, Al-Ani and H.R, Arabnia and Youngsong, Mum, Las Vegas, Nevada USA, edited by CSREA Press, 2003, pp. 732-7386920/2003-serp03-yabagi.pdf
Yamine AIT-AMEUR, Mickael BARON, Nadjet KAMEL, Utilisation de techniques formelles dans la modélisation d'Interfaces Homme-Machine. Une expérience comparative entre B et Promela/SPIN, 6th International Symposium on Programming and Systems ISPS 2003, Algérie, 2003, pp. 57-666814/2003-isps2003-yabakn.pdf
Mickael BARON, Intégration d'un modèle de tâche dans une démarche sûre de construction d'interface, 14° Conférence Francophone sur l'Interaction Homme-Machine (IHM 2002), edited by ACM Press, 20026420/2002-ihm02-baron.pdf
Mickael BARON, De la conception à la construction d'application sûre (Rencontre Doctorale), 14° Conférence Francophone sur l'Interaction Homme-Machine (IHM 2002), edited by ACM Press, 20026415/2002-ihm02rd-baron.pdf
Mickael BARON, Patrick GIRARD, SUIDT : A task model based GUI-Builder, International workshop on TAsk MOdels and DIAgrams (TAMODIA 2002), Romania, Bucharest, 2002, pp. 64-715975/2002-tamodia02-baron-pg.pdf
Mickael BARON, Patrick GIRARD, Bringing Robustness to End-User Programming, 2001 IEEE Symposia on Human-Centric Computing Languages and Environments, edited by IEEE, Stresa, Italy, edited by Entergraphica, 2001, pp. 142-1496803/2001-eup01-baron-pg.pdf
Mickael BARON, Patrick GIRARD, Construction interactive d'application à partir du noyau fonctionnel, Ergonomie et informatique avancées (Ergo-IHM'2000), edited by Scapin, D and Vergisson, , Biarritz, France, edited by ESTIA, 2000, pp. 85-935960/2000-ihm-gp-bm.pdf
Conférences Nationales
(11)
Cyrille PONCHATEAU, Ladjel BELLATRECHE, Mickael BARON, Entrepôt de Données dans l'ère Data Science : De la Donnée au Modèle, 12émes Journées Francophone sur les Entrepôts de Données et analyse en ligne (EDA 2016), edited by RNTI, 2016, pp. 65-79
Géraud FOKOU, Stéphane JEAN, Allel HADJALI, Mickael BARON, RDF Query Relaxation Strategies Based on Failure Causes, 32th French Conference On Advanced Databases (BDA 2016), 2016
Géraud FOKOU, Stéphane JEAN, Allel HADJALI, Mickael BARON, Cooperative Techniques for SPARQL Query Relaxation in RDF Databases, the 31st French Conference on Advanced Databases (BDA 2015), 2015
Selma BOUARAR, Ladjel BELLATRECHE, Stéphane JEAN, Mickael BARON, Leveraging Ontology-based Methodologies for Designing Semantic Data Warehouses, 29èmes journées Bases de Données Avancées (BDA 2013), 2013
Youness BAZHAR, Stéphane JEAN, Yamine AIT-AMEUR, Mickael BARON, Extension de ONTODB pour construire une architecture générique de bases de données à base ontologique, 6ème Conférence francophone sur les Architectures Logicielles (CAL), Montpellier, France, May, 20129765/cal2012_Bazhar.pdf
Bery MBAIOSSOUM, Selma KHOURI, Ladjel BELLATRECHE, Stéphane JEAN, Mickael BARON, Etude Comparative des Systèmes de Bases de Données à base Ontologiques, INFORSID, 2012, pp. 379-3949777/Bery_INFORSID2012.pdf
Stéphane JEAN, Ladjel BELLATRECHE, Géraud FOKOU, Mickael BARON, Selma KHOURI, OntoDBench: Ontology-based Database Benchmark, 28e journées Bases de Données Avancées (BDA), Clermont Ferrand, 20129930/cr.pdf
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Etude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement, MOSIM 2006 - 6ème Conférence Francophone de Modélisation et Simulation. Modélisation, Optimisation et Simulation des Systèmes : Défis et Opportunités, edited by Lavoisier, Rabat, Maroc, Avril, 2006, pp. 578-588http://www.lavoisier.fr/notice/fr2743008920.htmlhttp://www.lavoisier.fr/notice/fr2743008920.html
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Jean-Marc MOTA, Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve, 18° Conférence Francophone sur l'Interaction Homme-Machine (IHM), vol. 133, edited by ACM International Conference Proceeding Series, Montréal, avril, 2006, pp. 123-130http://portal.acm.org/citation.cfm?id=1132752&dl=GUIDE&coll=GUIDE&CFID=92606310&CFTOKEN=31035272http://portal.acm.org/citation.cfm?id=1132752&dl=GUIDE&coll=GUIDE&CFID=92606310&CFTOKEN=31035272
Mickael BARON, Vincent LUCQUIAUD, Delphine Autard, Dominique Scapin, K-MADe : un environement pour le noyau du modèle de description de l'activité, 18ème Conférence Francophone sur l'Interaction Homme-Machine (IHM'2006), edited by ACM Press, Montréal, 2006, pp. 287-2887652/2006-IHM-Baron.pdf
Mickael BARON, Patrick GIRARD, Vers un développement sûr d'applications interactives, IHM-HCI 2001, vol. 2, edited by Vanderdonckt, Jean and Blandford, Ann and Derycke, Alain, Lille, France, edited by Cépaduès-Éditions, 2001, pp. 155-1585970/2001-ihmhci01-baron-gp.pdf
Thèses et HDR
(1)
Mickael BARON, Vers une approche sûre du développement des Interfaces Homme-Machine (Thesis), Thesis, Université de Poitiers, december, 20036963/2003-thesis-baron.pdf
Rapports de Recherche
(5)
Géraud FOKOU, Stéphane JEAN, Allel HADJALI, Mickael BARON, Cooperative Techniques for SPARQL Query Relaxation in RDF Databases, (2.0)16873/Report_MFS_XSS.pdf
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Chimène FANKAM, Stéphane JEAN, Guy PIERRA, Eric SARDET, Rapport Evaluation - Lot 1 (Tache 1.3) - Projet E-Wok-Hub, LISI / ENSMA, 2009
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Jean-Marc MOTA, Démarche de Modélisation d'IHM3 avec B et CTT : LOT 3 (LISI/ENSMA), Projet RNRT VERBATIM, 20067870/2006-LISI-lot3.pdf
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Nadjet KAMEL, Jean-Marc MOTA, Démarche de Modélisation d'IHM avec B : LOT 2 (LISI/ENSMA), Projet RNRT VERBATIM, 20067864/2006-LISI-lot2.pdf
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Modélisation et Validation formelles d'IHM : LOT 1 (LISI/ENSMA), LISI/ENSMA, 20057227/2005-LOT1-Verbatim.pdf