Linda Mohand-Oussaïd

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 5

Top Venues

MEDI

WEBIST (1)

AAAI Spring Symposia

Tech. Sci. Informatiques

École nationale supérieure de mécanique et d'aérotechnique, Chasseneuil-du-Poitou, Poitiers, France (PHD)

Education History

École nationale supérieure de mécanique et d'aérotechnique, Chasseneuil-du-Poitou, Poitiers, France

PHD

Publications

Idir Aït-Sadoune, Linda Mohand-Oussaïd
Building Formal Semantic Domain Model: An Event-B Based Approach. MEDI (2019)
Yamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh, Laurent Voisin
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. ABZ (2018)
Linda Mohand-Oussaïd, Idir Aït-Sadoune
Formal Modelling of Domain Constraints in Event-B. MEDI (2017)
Yamine Aït Ameur, Idir Aït-Sadoune, Kahina Hacid, Linda Mohand-Oussaïd
Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform. IMPEX/FM&MDD (2017)
Fatma Zohra Lebib, Hakima Mellah, Linda Mohand-Oussaïd
Ontological Interaction Modeling and Semantic Rule-based Reasoning for User Interface Adaptation. WEBIST (1) (2016)
Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer
A formal model for output multimodal HCI - An Event-B formalization. Computing 97 (7) (2015)
Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer
Modélisation formelle d'IHM multimodales en sortie avec B Événementiel. Approche par généralisation et instanciation. Tech. Sci. Informatiques 34 (5) (2015)
Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer
Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation. AAAI Spring Symposia (2014)
Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur
Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B. MEDI (2011)

Linda Mohand-Oussaïd.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Linda Mohand-Oussaïd