Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B. - Linda Mohand-Oussaïd; Idir Aït-Sadoune; Yamine Aït Ameur (MEDI, 2011)

Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation. - Linda Mohand-Oussaïd; Idir Aït-Sadoune; Yamine Aït Ameur; Mohamed Ahmed-Nacer (AAAI Spring Symposia, 2014)

Conception et vérification formelles des interfaces homme-machine multimodales : applications à la multimodalité en sortie. (Formal modelling and verification of multimodal human computer interfaces : output multimodality). - Linda Mohand-Oussaïd (2014)

A formal model for output multimodal HCI - An Event-B formalization. - Linda Mohand-Oussaïd; Idir Aït-Sadoune; Yamine Aït Ameur; Mohamed Ahmed-Nacer (Computing, 2015)

Modélisation formelle d'IHM multimodales en sortie avec B Événementiel. Approche par généralisation et instanciation. - Linda Mohand-Oussaïd; Idir Aït-Sadoune; Yamine Aït Ameur; Mohamed Ahmed-Nacer (Tech. Sci. Informatiques, 2015)

Ontological Interaction Modeling and Semantic Rule-based Reasoning for User Interface Adaptation. - Fatma Zohra Lebib; Hakima Mellah; Linda Mohand-Oussaïd (WEBIST (1), 2016)

Formal Modelling of Domain Constraints in Event-B. - Linda Mohand-Oussaïd; Idir Aït-Sadoune (MEDI, 2017)

Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform. - Yamine Aït Ameur; Idir Aït-Sadoune; Kahina Hacid; Linda Mohand-Oussaïd (IMPEX/FM&MDD, 2017)

On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. - 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 001; Laurent Voisin (ABZ, 2018)

Building Formal Semantic Domain Model: An Event-B Based Approach. - Idir Aït-Sadoune; Linda Mohand-Oussaïd (MEDI, 2019)