Linda MOHAND OUSSAID
Linda MOHAND OUSSAID
PhD

email: linda.mohand@lisi.ensma.fr
tel: +33 (0)549498067
address: ISAE-ENSMA, 1 avenue Clément Ader BP 40109, 86961 Chasseneuil - France
team: Data Engineering
Publications
(6)
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-149http://www.somabec.com/9782746230101/INTERACTION_HOMME-MACHINE_DANS_LES_TRANSPORTS.htmhttp://www.somabec.com/9782746230101/INTERACTION_HOMME-MACHINE_DANS_LES_TRANSPORTS.htm
International Conferences
(2)
Linda MOHAND OUSSAID, Idir AIT-SADOUNE, Yamine AIT-AMEUR, Modeling information fission in output multi-modal interactive systems using Event B, International Conference on Model & Data Engineering (MEDI 2011), edited by Springer LNCS, Obidos, Portugal, Sept, 2011
Linda MOHAND OUSSAID, Yamine AIT-AMEUR, Mohamed Ahmed-Nacer, A generic formal model for fission of modalities in output multi-modal interactive systems, 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009), Rabat, Morroco, July, 2009
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)
Linda MOHAND OUSSAID, Conception et vérification formelles des interfaces homme-machine multimodales : application à la multimodalité en sortie, Thesis, ISAE/ENSMA, december, 201417754/mohand-oussaid-linda-these.pdf