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
(52)
2017.0
[CONF] - Ibrahim DELLAL, Stéphane JEAN, Allel HADJALI, Brice CHARDIN, Mickael BARON, Traitement coopératif des requêtes RDF dans le contexte des bases de connaissances incertaines, INFormatique des ORganisations et Systèmes d’Information et de Décision (INFORSID 2017), 2017, pp. 277-292
[CONF] - Ibrahim DELLAL, Stéphane JEAN, Allel HADJALI, Brice CHARDIN, Mickael BARON, On Addressing the Empty Answer Problem in Uncertain Knowledge Bases, Database and Expert Systems Applications (DEXA 2017), vol. 10438, LNCS, edited by Springer, 2017, pp. 120-129
[CONF] - Cyrille PONCHATEAU, Ladjel BELLATRECHE, Carlos Ordonez, Mickael BARON, MathMOuse: A Mathematical MOdels WarehoUSE to handle both Theoretical and Numerical Data, 33éme conférence sur la gestion de données (BDA 2017), 201728159/BDA-2017-demo-after-review.pdf
2016.0
[CONF] - 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
[CONF] - 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
[CONF] - 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
[REVUE] - 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
[CONF] - 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
2015.0
[CONF] - 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
[CONF] - 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
[CONF] - 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
[RAPPORT] - 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
[REVUE] - 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
2014.0
[CONF] - 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
2013.0
[REVUE] - 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
[CONF] - 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
[CONF] - 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
[CHAPITRE] - 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
2012.0
[CONF] - 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
[CONF] - 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
[CONF] - 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
[CONF] - 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
[CONF] - 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
[CONF] - 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
[REVUE] - 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
2010.0
[REVUE] - 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
[REVUE] - 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
2009.0
[RAPPORT] - 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
[REVUE] - 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
2008.0
[REVUE] - 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
2006.0
[CONF] - 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 2006), 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
[CONF] - 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
[CONF] - Mickael BARON, Vincent LUCQUIAUD, Delphine Autard, Dominique Scapin, K-MADe : un environement pour le noyau du modèle de description de l'activité, 18° Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006), vol. 133, edited by ACM International Conference Proceeding Series, Montréal, avril, 2006, pp. 287-2887652/2006-IHM-Baron.pdf
[RAPPORT] - 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
[RAPPORT] - 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
[REVUE] - 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
2005.0
[RAPPORT] - 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
[CONF] - 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
[CONF] - 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
2004.0
[CONF] - 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
[CONF] - 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
2003.0
[CONF] - 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
[CONF] - 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
[THESE] - 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
[CONF] - 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
[CONF] - 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
2002.0
[CONF] - 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
[CONF] - 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
[CONF] - 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
2001.0
[CONF] - Mickael BARON, Patrick GIRARD, Bringing Robustness to End-User Programming, 2001 IEEE Symposia on Human-Centric Computing Languages and Environments (HCCLE 2001), edited by IEEE, edited by Entergraphica, 2001, pp. 142-1496803/2001-eup01-baron-pg.pdf
[CONF] - 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
2000.0
[CONF] - 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