Mickael Baron

Personal Homepage
http://www.lisi.ensma.fr/members/baron
Employer
LISI ENSMA France (http://www.lisi.ensma.fr)
Email

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"

Publication Statistics

Publication period start
2001
Publication period end
2010
Number of co-authors
7

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

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. http://www.sciencedirect.com/science/article/B6V0D-50BJNJY-1/2/0fa087b76c24d22fddca4ce76ef79c64

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. http://doi.acm.org/10.1145/1132736.1132752

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. http://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. http://doi.acm.org/10.1145/1063669.1063696

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. http://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. http://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-. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740142abs.htm