Mohamed Messabihi

According to our database, Mohamed Messabihi authored at least 7 papers between 2009 and 2021.

Collaborative distances:

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

2021

Modeling and Analysis of the Landing Gear System with the Generalized Contracts.

Abdelkader Khouass, J. Christian Attiogbé, Mohamed Messabihi

CoRR, 2021

Multi-facets Contract for Modeling and Verifying Heterogeneous Systems.

A. Abdelkader Khouass, J. Christian Attiogbé, Mohamed Messabihi

Proceedings of the Model and Data Engineering - 10th International Conference, 2021

2011

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

PhD thesis, 2011

2010

Multilevel Contracts for Trusted Components

Mohamed Messabihi, Pascal André, J. Christian Attiogbé

Proceedings of the Proceedings International Workshop on Component and Service Interoperability, 2010

Component Service Promotion: Contracts, Mechanisms and Safety.

Pascal André, Gilles Ardourel, Mohamed Messabihi

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Preuve de cohérence de composants Kmelia à l'aide de la méthode B.

Mohamed Messabihi, Pascal André, J. Christian Attiogbé

Proceedings of the 4e Conférence francophone sur les Architectures Logicielles, 2010

2009

Correction d'assemblages de composants impliquant des interfaces paramétrées.

Pascal André, J. Christian Attiogbé, Mohamed Messabihi

Proceedings of the 3e Conférence francophone sur les Architectures Logicielles, 2009