Nadjet KAMEL
Nadjet KAMEL
Chercheur Invité

email : kamel@ensma.fr
adresse : ISAE-ENSMA, 1 avenue Clément Ader BP 40109, 86961 Chasseneuil - France
équipe : Ingénierie des Données et des Modèles
Publications
(12)
Ouvrages individuels ou collectifs
(2)
Linda MOHAND OUSSAID, Nadjet KAMEL, Idir AIT-SADOUNE, Yamine AIT-AMEUR, Mohamed Ahmed-Nacer, A formal framework for design and validation of multimodal interactive systems in transport domain, Human–computer interaction in transport (Human–computer interaction in transport), edited by Christophe Kolski, edited by ISTE Ltd and John Wiley & Sons, Inc, 2011, pp. 93-108
Linda MOHAND OUSSAID, Nadjet KAMEL, Idir AIT-SADOUNE, Yamine AIT-AMEUR, Mohamed Ahmed-Nacer, Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport, Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport, Paris, edited by Hermes Science Publications, 2010, pp. 113-149http://www.somabec.com/9782746230101/INTERACTION_HOMME-MACHINE_DANS_LES_TRANSPORTS.htmhttp://www.somabec.com/9782746230101/INTERACTION_HOMME-MACHINE_DANS_LES_TRANSPORTS.htm
Revues Internationales
(1)
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
Conférences Internationales
(6)
Selma KHOURI, Nadjet KAMEL, Ladjel BELLATRECHE, Managing Data Warehouse Traceability: A Life-Cycle Driven Approach, Advanced Information Systems Engineering (Caise2015), Springer, 2015, pp. 199--213
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
Nadjet KAMEL, Modélisation et vérification formelle des IHM multimodales (Rencontres Jeunes Chercheurs), Rencontres Jeunes Chercheurs en Interaction Homme-Machine, vol. 1, Lacanau, 20047123/2004-RJCIHM-Kamel.pdf
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, edited by ACM Press, 2004, pp. 219-2227119/2004-IHM-KAMEL.pdf
Yamine AIT-AMEUR, Nadjet KAMEL, A generic formal specification of fusion of modalities in a multimodal HCI, IFIP World Computer Science, edited by Jacquart, René, Toulouse, France, edited by Kluwer Academic Publishers, 2004, pp. 415-420
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
Conférences Nationales
(1)
Nadjet KAMEL, Linda MOHAND OUSSAID, Yamine AIT-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
Thèses et HDR
(1)
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, january, 20067944/2006-thesis-kamel.pdf
Rapports de Recherche
(1)
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