Génération et appariement de spécifications formelles de diagrammes de classes pour la recherche de composants. - Oualid Khayati; Agnès Front; Jean-Pierre Giraudin (INFORSID, 2005)

Modèles formels et outils génériques pour la gestion et la recherche de composants. (Formal models and generic tools components management and retrieval). - Oualid Khayati (2005)

Component-based process for modeling language evaluation. - Khaoula Sayeb; Oualid Khayati; Naoufel Kraeim (SEKE, 2016)

An IoT domain meta-model and an approach to software development of IoT solutions. - Taoufik Ben Hassine; Oualid Khayati; Henda Ben Ghézala (IINTEC, 2017)

LIDO: Un Langage de Modélisation pour le Développement de Solutions pour l'Internet des Objets. - Taoufik Ben Hassine; Oualid Khayati; Henda Ben Ghézala (DTUC, 2018)