Univ. Constantine 2
Team : MFGL

Mohammed Mounir Bouhamed; Gregorio Díaz; Allaoua Chaoui; Oussama Kamel; Radouane Nouara
Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods. Applied Sciences 11(20): 21 (2021)
Oussama Kamel; Allaoua Chaoui; Gregorio Diaz; Mohamed Gharzouli
SLA-Driven Modeling and Verifying Cloud Systems: A Bigraphical Reactive Systems-based Approach. Computer Standards & Interfaces 74 (2020)
Oussama Kamel; Allaoua Chaoui; Mohamed Gharzouli
Towards a Formal Modeling of Cloud Services during the Life-cycle of Service Level Agreement. Int. Conf. on Big Data and Internet of Things (BDIOT'17): 115-119 (2017)
Oussama Kamel; Allaoua Chaoui; Mohamed Gharzouli
Cloud Service Composition Modeling Using Bigraphical Reactive Systems. 21st Int. Database Engineering & Applications Symp. (IDEAS'17): 40-48 (2017)
PhD thesis
Kamel Oussama
A Formal Approach for Modeling and Verifying SLA-based Cloud Systems. Université Constantine 2, Algérie (2021)