Hamza Sahli

According to our database, Hamza Sahli authored at least 10 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

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

Proceedings of the 17th International Conference on Software Technologies, 2022

2019

Formal modelling and verifying elasticity strategies in cloud systems.

Khaled Khebbeb, Nabil Hameurlain, Faiza Belala, Hamza Sahli

IET Softw., 2019

Modeling Self-adaptive Fog Systems Using Bigraphs.

Hamza Sahli, Thomas Ledoux, Éric Rutten

Proceedings of the Software Engineering and Formal Methods, 2019

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

PhD thesis, 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

A BRS Based Approach for Modeling Elastic Cloud Systems.

Khaled Khebbeb, Hamza Sahli, Nabil Hameurlain, Faiza Belala

Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

2016

Formal verification of cloud systems elasticity.

Hamza Sahli, Faïza Belala, Chafia Bouanaka

Int. J. Crit. Comput. Based Syst., 2016

2015

A BRS-Based Approach to Model and Verify Cloud Systems Elasticity.

Hamza Sahli, Faiza Belala, Chafia Bouanaka

Proceedings of the 1st International Conference on Cloud Forward: From Distributed to Complete Computing, 2015

2014

Towards a Formal Model for Cloud Computing Elasticity.

Hamza Sahli, Chafia Bouanaka, Ahmed Taki Eddine Dib

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Model-Checking Cloud Systems Using BigMC.

Hamza Sahli, Faiza Belala, Chafia Bouanaka

Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2014