Publications

Linda Mohand-Oussaïd, Nadjet Kamel, Idir Aït-Sadoune, Yamine Aït-Ameur and Mohamed Ahmed-Nacer, Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport, Interaction homme-machine dans les transports - information voyageur, personnalisation et assistance, Kolski, C, Paris, Hermes Science Publications, 2010, pp. 113-149

Yamine Ait-Ameur, Mickael Baron, Nadjet Kamel and Jean-Marc Mota, Encoding a process algebra using the Event B method, International Journal on Software Tools for Technology Transfer (STTT), vol. Volume 11(Number 3), 2009, pp. 239-253

Nadjet Kamel, Linda Mohand-Oussaïd and Yamine Aït-Ameur, Systèmes interactifs multimodaux dans le secteur du transport : un modèle formel de conception et de validation, Workshop International : Logistique & Transport 2007 (LT’ 2007 ), Sousse, Tunisie, novembre, 2007

Yamine Aït-Ameur and Nadjet Kamel, A generic formal specification of fusion of modalities in a multimodal HCI, IFIP World Computer Science, edited by Jacquart, René, Toulouse, France, Kluwer Academic Publishers, 2004, pp. 415-420

Nadjet Kamel, Utilisation de SMV pour la vérification de propriétés d'IHM multimodales (Article court), 16° Conférence Francophone sur l'Interaction Homme-Machine (IHM'2004), vol. 1, Namur, Belgique, ACM Press, 2004, pp. 219-222

Nadjet Kamel, Modélisation et vérification formelle des IHM multimodales (Rencontres Jeunes Chercheurs), Rencontres Jeunes Chercheurs en Interaction Homme-Machine, vol. 1, Lacanau, 2004

Yamine Aït-Ameur, Mickaël Baron and 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-66

Nadjet KAMEL, Un cadre formel générique pour la modèlisation d'IHM multi-modales. Cas de la multi-modalité en entrée., Thesis, Ecole doctorale SPI & A, Université de Poitiers - ENSMA, 2006

Yamine Aït-Ameur, Idir Aït-Sadoune, Mickaël Baron, Nadjet Kamel and Jean-Marc Mota., Démarche de Modélisation d'IHM avec B : LOT 2 (LISI/ENSMA), Projet RNRT VERBATIM, 2006