Handling Domain Knowledge in Formal Design Models: An Ontology Based Approach. - Kahina Hacid (ISoLA (2), 2016)

Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach. - Kahina Hacid; Yamine Aït Ameur (ISoLA (1), 2016)

Annotation of Engineering Models by References to Domain Ontologies. - Kahina Hacid; Yamine Aït Ameur (MEDI, 2016)

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)

Handling Domain Knowledge in Design and Analysis of Engineering Models. - Kahina Hacid; Yamine Aït Ameur (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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)

Handling domain knowledge in system design models. An ontology based approach. (Explicitation de la sémantique du domaine dans les modèles de systèmes : une approche à base d'ontologies). - Kahina Hacid (2018)