Publications internationales
2020
Mehdi Hariati. (2020), Formal Verification Issues For Component-Based Development. Informatica (Slovenia) 44(4)
2017
Mehdi Hariati, Djamel Meslati. (2017), Review on Formal Approaches for the Verification of AspectOriented Adaptations of Component-Based Systems. International Journal of Software Engineering and Its Application : SERSC, Vol.11, No.11 (2017), pp.39-44
2009
Mehdi Hariati, Djamel Meslati. (2009), Les Composants Logiciels et La Séparation Avancée des Préoccupations : Vers une nouvelle Approche de Combinaison. ARIMA J. 11: 4
Communications internationales
2009
Mehdi Hariati, Djamel Meslati. (2009), Les composants logiciels et la séparation avancée des préoccupations : Vers une approche de combinaison à base de librairies d’aspects . Conférence Internationale des Technologies de l’Information et de la Communication, Setif, Algeria.
2008
Mehdi Hariati, Djamel Meslati. (2008), Panorama des approches de combinaison des composants logiciels et de la séparation avancée des préoccupations. African Conference on Research in Computer Science and Applied Mathematics - CARI. https://www.cari-info.org/actes2008/hariati.pdf