Linda Mohand-Oussaïd

According to our database, Linda Mohand-Oussaïd authored at least 10 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Building Formal Semantic Domain Model: An Event-B Based Approach.

Idir Aït-Sadoune, Linda Mohand-Oussaïd

Proceedings of the Model and Data Engineering - 9th International Conference, 2019

2018

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, Laurent Voisin

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

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

Proceedings of the Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), 2017

Formal Modelling of Domain Constraints in Event-B.

Linda Mohand-Oussaïd, Idir Aït-Sadoune

Proceedings of the Model and Data Engineering - 7th International Conference, 2017

2016

Ontological Interaction Modeling and Semantic Rule-based Reasoning for User Interface Adaptation.

Fatma Zohra Lebib, Hakima Mellah, Linda Mohand-Oussaïd

Proceedings of the 12th International Conference on Web Information Systems and Technologies, 2016

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

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

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

PhD thesis, 2014

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

Proceedings of the 2014 AAAI Spring Symposia, 2014

2011

Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B.

Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur

Proceedings of the Model and Data Engineering - First International Conference, 2011