Bouanaka

Bouanaka

Université de Constantine 2 - Constantine / Algeria
Engineering & Technology / Computer Science
AD Scientific Index ID: 5112100
جامعة قسنطينة 2 عبد الحميد مهري
person_outline Bouanaka's MOST POPULAR ARTICLES
1-) Towards a formal model for cloud computingZ Benzadri, F Belala, C BouanakaInternational Conference on Service-Oriented Computing, 381-393, 2013272013
2-) A formal framework for context-aware systems specification and verificationB Djoudi, C Bouanaka, N ZeghibJournal of Systems and Software 122, 445-462, 2016232016
3-) A BRS-based approach to model and verify cloud systems elasticityH Sahli, F Belala, C BouanakaProcedia Computer Science 68, 29-41, 2015142015
4-) Model-Checking Cloud Systems Using BigMC.H Sahli, F Belala, C BouanakaVECoS, 25-33, 2014142014
5-) On Generating Tile System for a Software Architecture Case of a Collaborative Application Session.C Bouanaka, A Choutri, F BelalaICSOFT (SE), 123-128, 2007132007