Mohamed Messabihi

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 3

Top Topics

Automatic Analysis

Heterogeneous Systems

Top Venues

Publications

Abdelkader Khouass, J. Christian Attiogbé, Mohamed Messabihi
Modeling and Analysis of the Landing Gear System with the Generalized Contracts. CoRR (2021)
A. Abdelkader Khouass, J. Christian Attiogbé, Mohamed Messabihi
Multi-facets Contract for Modeling and Verifying Heterogeneous Systems. MEDI (2021)
Abdelkader Khouass, J. Christian Attiogbé, Mohamed Messabihi
Multi-Facets Contract for Modeling and Verifying Heterogeneous Systems. CoRR (2020)
Mohamed Messabihi, Pascal André, J. Christian Attiogbé
Preuve de cohérence de composants Kmelia à l'aide de la méthode B. CAL (2010)
Mohamed Messabihi, Pascal André, J. Christian Attiogbé
Multilevel Contracts for Trusted Components WCSI (2010)
Pascal André, Gilles Ardourel, Mohamed Messabihi
Component Service Promotion: Contracts, Mechanisms and Safety. FACS (2010)
Pascal André, J. Christian Attiogbé, Mohamed Messabihi
Correction d'assemblages de composants impliquant des interfaces paramétrées. CAL (2009)