Author: Mickael Baron
He received his Ph.D. degree from the University of Poitiers - France in the Human Computer Interaction area (advisors Prof. Yamine Ait-Ameur and Prof Patrick Girard).
His Ph.D. thesis was on "Formal and experimental validation approaches in HCI systems design based on a shared event B model"
Publications
Co-authors
Productive Colleagues
Publications
Caffiau, Sybille, Scapin, Dominique, Girard, Patrick, Baron, Mickael, Jambon, Francis (2010): Increasing the expressive power of task analysis: Systematic comparison and empirical asse. In Interacting with Computers, 22 (6) pp. 569-593. https://www.sciencedirect.com/science/article/B6V0D-50BJNJY-1/2/0fa087b76c24d22fddca4ce76ef79c64
Baron, Mickael, Girard, Patrick (2004): SUIDT: safe user interface design tool. In: Nunes, Nuno Jardim, Rich, Charles (eds.) International Conference on Intelligent User Interfaces 2004 January 13-16, 2004, Funchal, Madeira, Portugal. pp. 350-351. https://doi.acm.org/10.1145/964442.964529
Baron, Mickael, Girard, Patrick (2003): SUIDT: a user interface builder for secure user interfaces. In: Proceedings of the 2003 Conference of the Association Francophone dInteraction Homme-Machine , 2003, . pp. 198-201. https://doi.acm.org/10.1145/1063669.1063696
Ait-Ameur, Yamine, Ait-Sadoune, Idir, Mota, Jean-Marc, Baron, Mickael (2006): Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la p. In: Proceedings of the 2006 Conference of the Association Francophone dInteraction Homme-Machine , 2006, . pp. 123-130. https://doi.acm.org/10.1145/1132736.1132752
Baron, Mickael (2002): Intégration d\'un modèle de tâche dans une démarche sûre de constructi. In: Proceedings of the 2002 Conference of the Association Francophone dInteraction Homme-Machine , 2002, . pp. 73-80. https://doi.acm.org/10.1145/777005.777016
Baron, Mickael (2002): De la conception à la construction d\'application sûre. In: Proceedings of the 2002 Conference of the Association Francophone dInteraction Homme-Machine , 2002, . pp. 285-286. https://doi.acm.org/10.1145/777005.777056
Baron, Mickael, Girard, Patrick (2001): Bringing Robustness to End-User Programming. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 142-. https://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740142abs.htm