Correction d'assemblages de composants impliquant des interfaces paramétrées. - Pascal André; J. Christian Attiogbé; Mohamed Messabihi (CAL, 2009)

Preuve de cohérence de composants Kmelia à l'aide de la méthode B. - Mohamed Messabihi; Pascal André; J. Christian Attiogbé (CAL, 2010)

Component Service Promotion: Contracts, Mechanisms and Safety. - Pascal André; Gilles Ardourel; Mohamed Messabihi (FACS, 2010)

Multilevel Contracts for Trusted Components - Mohamed Messabihi; Pascal André; J. Christian Attiogbé (WCSI, 2010)

Contribution à la spécification et à la vérification des logiciels à base de composants : enrichissement du langage de données de Kmelia et vérication de contrats. (Contribution to Specifying and Verifying Component-based Software: enrichment of the Kmelia data language and contract verification). - Mohamed El-Habib Messabihi (2011)

Multi-facets Contract for Modeling and Verifying Heterogeneous Systems. - A. Abdelkader Khouass; J. Christian Attiogbé; Mohamed Messabihi (MEDI, 2021)

Modeling and Analysis of the Landing Gear System with the Generalized Contracts. - Abdelkader Khouass; J. Christian Attiogbé; Mohamed Messabihi (CoRR, 2021)