Model-Checking Cloud Systems Using BigMC. - Hamza Sahli; Faiza Belala; Chafia Bouanaka (VECoS, 2014)

Towards a Formal Model for Cloud Computing Elasticity. - Hamza Sahli; Chafia Bouanaka; Ahmed Taki Eddine Dib (WETICE, 2014)

A BRS-Based Approach to Model and Verify Cloud Systems Elasticity. - Hamza Sahli; Faiza Belala; Chafia Bouanaka (Cloud Forward, 2015)

Formal verification of cloud systems elasticity. - Hamza Sahli; Faïza Belala; Chafia Bouanaka (Int. J. Crit. Comput. Based Syst., 2016)

A BRS Based Approach for Modeling Elastic Cloud Systems. - Khaled Khebbeb; Hamza Sahli; Nabil Hameurlain; Faiza Belala (ICSOC Workshops, 2017)

A bigraphical model for specifying cloud-based elastic systems and their behaviour. - Hamza Sahli; Nabil Hameurlain; Faiza Belala (Int. J. Parallel Emergent Distributed Syst., 2017)

Modélisation des Systèmes Élastiques Cloud : vers la Vérification Formelle de leur Comportement. (A Formal Framework for Modelling and Verifying Cloud-based Elastic Systems). - Hamza Sahli (2017)

Modeling Self-adaptive Fog Systems Using Bigraphs. - Hamza Sahli; Thomas Ledoux; Éric Rutten (SEFM Workshops, 2019)

Formal modelling and verifying elasticity strategies in cloud systems. - Khaled Khebbeb; Nabil Hameurlain; Faiza Belala; Hamza Sahli (IET Softw., 2019)

Automatic Generation of Interoperability Connectors using Software Product Lines Engineering. - Boubou Thiam Niang; Giacomo Kahn; Nawel Amokrane; Yacine Ouzrout; Hamza Sahli; Mustapha Derras; Jannik Laval (ICSOFT, 2022)