Mickaël Baron

	2012
15		Youness Bazhar, Yamine Aït Ameur, Stéphane Jean, Mickaël Baron: A Flexible Support of Non Canonical Concepts in Ontology-based Databases. WEBIST 2012: 393-398
	2010
14		Sybille Caffiau, Dominique L. Scapin, Patrick Girard, Mickaël Baron, Francis Jambon: Increasing the expressive power of task analysis: Systematic comparison and empirical assessment of tool-supported task models. Interacting with Computers 22(6): 569-593 (2010)
	2009
13		Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota: Encoding a process algebra using the Event B method. STTT 11(3): 239-253 (2009)
	2008
12		Yamine Aït Ameur, Idir Aït-Sadoune, Mickaël Baron, Jean-Marc Mota: Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement. Ingénierie des Systèmes d'Information 13(2): 127-154 (2008)
	2006
11		Yamine Aït Ameur, Idir Aït-Sadoune, Jean-Marc Mota, Mickaël Baron: Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve. IHM 2006: 123-130
10		Mickaël Baron, Vincent Lucquiaud, D. Autard, Dominique L. Scapin: K-MADe: un environnement pour le noyau du modèle de description de l'activité. IHM 2006: 287-288
9		Yamine Aït Ameur, Mickaël Baron: Formal and experimental validation approaches in HCI systems design based on a shared event B model. STTT 8(6): 547-563 (2006)
	2004
8		Yamine Aït Ameur, Mickaël Baron: Bridging the gap between formal and experimental validation approaches in HCI systems design: use of the event B proof based technique. ISoLA (Preliminary proceedings) 2004: 74-80
7		Mickaël Baron, Patrick Girard: SUIDT: safe user interface design tool. IUI 2004: 350-351
	2003
6		Mickaël Baron, Patrick Girard: SUIDT: a user interface builder for secure user interfaces. IHM 2003: 198-201
5		Yamine Aït Ameur, Mickaël Baron, Patrick Girard: Formal Validation of HCI User Tasks. Software Engineering Research and Practice 2003: 732-738
	2002
4		Mickaël Baron: De la conception â la construction d'application sûre. IHM 2002: 285-286
3		Mickaël Baron: Intégration d'un modèle de tâche dans une démarche sûre de construction d'interface. IHM 2002: 73-80
2		Mickaël Baron, Patrick Girard: SUIDT: A task model based GUI-Builder. TAMODIA 2002: 64-71
	2001
1		Mickaël Baron, Patrick Girard: Bringing Robustness to End-User Programming. HCC 2001: 142-

Coauthor Index

1	Idir Aït-Sadoune	[11] [12]
2	Yamine Aït Ameur	[5] [8] [9] [11] [12] [13] [15]
3	D. Autard	[10]
4	Youness Bazhar	[15]
5	Sybille Caffiau	[14]
6	Patrick Girard	[1] [2] [5] [6] [7] [14]
7	Francis Jambon	[14]
8	Stéphane Jean	[15]
9	Nadjet Kamel	[13]
10	Vincent Lucquiaud	[10]
11	Jean-Marc Mota	[11] [12] [13]
12	Dominique L. Scapin	[10] [14]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page