Nadjet KAMEL

Guest Researcher
email: kamel@ensma.fr
address: ISAE-ENSMA, 1 avenue Clément Ader BP 40109, 86961 Chasseneuil - France
team: Data Engineering
email: kamel@ensma.fr
address: ISAE-ENSMA, 1 avenue Clément Ader BP 40109, 86961 Chasseneuil - France
team: Data Engineering
Books and Book Chapters
(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-149



International Journals
(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-253



International Conferences
(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, 2005



Nadjet KAMEL, Modélisation et vérification formelle des IHM multimodales (Rencontres Jeunes Chercheurs), Secondes Rencontres Jeunes Chercheurs en Interaction Homme-Machine (RJC-IHM 2004), AFIHM, Lacaneau, 2004



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-222



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 (ISPS 2003), Algérie, 2003, pp. 57-66



National Conferences
(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

Thesis and 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, 2006



Research Reports
(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, 2006


