oussama kamel
oussama kamel
Faculty of Medicine, University Constantine 3 Salah Boubnider
Verified email at
Cited by
Cited by
Cloud service composition modeling using bigraphical reactive systems
O Kamel, A Chaoui, M Gharzouli
Proceedings of the 21st International Database Engineering & Applications …, 2017
Towards a formal modeling of cloud services during the life-cycle of service level agreement
O Kamel, A Chaoui, M Gharzouli
Proceedings of the International Conference on Big Data and Internet of …, 2017
Models@ Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods
MM Bouhamed, G Díaz, A Chaoui, O Kamel, R Nouara
Applied Sciences 11 (20), 9743, 2021
SLA-Driven modeling and verifying cloud systems: A Bigraphical reactive systems-based approach
O Kamel, A Chaoui, G Diaz, M Gharzouli
Computer Standards & Interfaces 74, 103483, 2021
The system can't perform the operation now. Try again later.
Articles 1–4