| A bigraphical model for specifying cloud-based elastic systems and their behaviour H Sahli, N Hameurlain, F Belala International Journal of Parallel, Emergent and Distributed Systems 32 (6 …, 2017 | 20 | 2017 |
| Model-Checking Cloud Systems Using BigMC. H Sahli, F Belala, C Bouanaka VECoS, 25-33, 2014 | 14 | 2014 |
| A BRS-based approach to model and verify cloud systems elasticity H Sahli, F Belala, C Bouanaka Procedia Computer Science 68, 29-41, 2015 | 13 | 2015 |
| Modeling self-adaptive fog systems using bigraphs H Sahli, T Ledoux, É Rutten Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops …, 2020 | 12 | 2020 |
| Formal modelling and verifying elasticity strategies in cloud systems K Khebbeb, N Hameurlain, F Belala, H Sahli IET Software 13 (1), 25-35, 2019 | 12 | 2019 |
| Towards a formal model for cloud computing elasticity H Sahli, C Bouanaka, ATE Dib 2014 IEEE 23rd international WETICE conference, 359-364, 2014 | 11 | 2014 |
| Formal verification of cloud systems elasticity H Sahli, F Belala, C Bouanaka International Journal of Critical Computer-Based Systems 6 (4), 364-384, 2016 | 3 | 2016 |
| A BRS Based Approach for Modeling Elastic Cloud Systems K Khebbeb, H Sahli, N Hameurlain, F Belala International Conference on Service-Oriented Computing, 5-17, 2017 | 2 | 2017 |
| Modélisation des Systèmes Élastiques Cloud: vers la Vérification Formelle de leur Comportement H Sahli Université Constantine 2-Abdelhamid Mehri, 2017 | 1 | 2017 |
| Automatic Generation of Interoperability Connectors using Software Product Lines Engineering B Niang, G Kahn, N Amokrane, Y Ouzrout, H Sahli, M Derras, J Laval ICSOFT, 2022 | | 2022 |
| Modeling elastic cloud services with bigraphs and agents H Sahli, B Seghir, K Khebbeb, F Belala International Conference on Software Engineering and New Technologies, 2015 | | 2015 |
Thomas LedouxProfessor at IMT Atlantique (campus Nantes)Adresse e-mail validée de imt-atlantique.fr
