Hamza Sahli

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 7

Top Topics

Cloud Computing

Artifact Centric

Reachability Analysis

Top Venues

ICSOC Workshops

Int. J. Crit. Comput. Based Syst.

Constantine 2 University, Algeria (PHD)

Education History

Constantine 2 University, Algeria

PHD

Publications

Boubou Thiam Niang, Giacomo Kahn, Nawel Amokrane, Yacine Ouzrout, Hamza Sahli, Mustapha Derras, Jannik Laval
Automatic Generation of Interoperability Connectors using Software Product Lines Engineering. ICSOFT (2022)
Hamza Sahli, Thomas Ledoux, Éric Rutten
Modeling Self-adaptive Fog Systems Using Bigraphs. SEFM Workshops (2019)
Khaled Khebbeb, Nabil Hameurlain, Faiza Belala, Hamza Sahli
Formal modelling and verifying elasticity strategies in cloud systems. IET Softw. 13 (1) (2019)
Hamza Sahli, Nabil Hameurlain, Faiza Belala
A bigraphical model for specifying cloud-based elastic systems and their behaviour. Int. J. Parallel Emergent Distributed Syst. 32 (6) (2017)
Khaled Khebbeb, Hamza Sahli, Nabil Hameurlain, Faiza Belala
A BRS Based Approach for Modeling Elastic Cloud Systems. ICSOC Workshops (2017)
Hamza Sahli, Faïza Belala, Chafia Bouanaka
Formal verification of cloud systems elasticity. Int. J. Crit. Comput. Based Syst. 6 (4) (2016)
Hamza Sahli, Faiza Belala, Chafia Bouanaka
A BRS-Based Approach to Model and Verify Cloud Systems Elasticity. Cloud Forward (2015)
Hamza Sahli, Chafia Bouanaka, Ahmed Taki Eddine Dib
Towards a Formal Model for Cloud Computing Elasticity. WETICE (2014)
Hamza Sahli, Faiza Belala, Chafia Bouanaka
Model-Checking Cloud Systems Using BigMC. VECoS (2014)