Follow
Faiez Zalila
Faiez Zalila
Ph.D. | Cloud Solution Architect
No verified email - Homepage
Title
Cited by
Cited by
Year
A precise model for google cloud platform
S Challita, F Zalila, C Gourdin, P Merle
2018 IEEE international conference on cloud engineering (IC2E), 177-183, 2018
542018
Model-driven cloud resource management with OCCIware
F Zalila, S Challita, P Merle
Future Generation Computer Systems 99, 260-277, 2019
292019
Coordinating vertical elasticity of both containers and virtual machines
Y Al-Dhuraibi, F Zalila, NB Djarallah, P Merle
CLOSER 2018-8th International Conference on Cloud Computing and Services Science, 2018
272018
A model-driven tool chain for OCCI
F Zalila, S Challita, P Merle
On the Move to Meaningful Internet Systems. OTM 2017 Conferences …, 2017
242017
Formal verification integration approach for DSML
F Zalila, X Crégut, M Pantel
Model-Driven Engineering Languages and Systems: 16th International …, 2013
222013
Leveraging formal verification tools for DSML users: a process modeling case study
F Zalila, X Crégut, M Pantel
Leveraging Applications of Formal Methods, Verification and Validation …, 2012
192012
Model-driven configuration management of cloud applications with OCCI
F Korte, S Challita, F Zalila, P Merle, J Grabowski
CLOSER 2018-8th International Conference on Cloud Computing and Services …, 2018
172018
Model-based cloud resource management with TOSCA and OCCI
S Challita, F Korte, J Erbel, F Zalila, J Grabowski, P Merle
Software and Systems Modeling, 1-23, 2021
152021
Specifying semantic interoperability between heterogeneous cloud resources with the FCLOUDS formal language
S Challita, F Zalila, P Merle
2018 IEEE 11th International conference on cloud computing (CLOUD), 367-374, 2018
122018
A transformation-driven approach to automate feedback verification results
F Zalila, X Crégut, M Pantel
Model and Data Engineering: Third International Conference, MEDI 2013 …, 2013
102013
Model-driven elasticity management with occi
Y Al-Dhuraibi, F Zalila, N Djarallah, P Merle
IEEE Transactions on Cloud Computing 9 (4), 1549-1562, 2019
92019
Model-Driven Simulation of Elastic OCCI Cloud Resources
M Ahmed-Nacer, S Kallel, F Zalila, P Merle, W Gaaloul
The Computer Journal 65 (5), 1144-1166, 2022
62022
FADI-a deployment framework for big data management and analytics
R Sellami, F Zalila, A Nuttinck, S Dupont, JC Deprez, S Mouton
2020 IEEE 29th International Conference on Enabling Technologies …, 2020
62020
Model-based cloud resource provisioning with TOSCA and OCCI
S Challita, F Korte, J Erbel, F Zalila, J Grabowski, P Merle
Softw. Syst. Model. 20 (5), 1609-1631, 2021
52021
Verification results feedback for FIACRE intermediate language
F Zalila, X Crégut, M Pantel
Confrence en Ingnierie du Logiciel (CIEL), 2012
52012
MoDMaCAO: a model-driven framework for the design, validation and configuration management of cloud applications based on OCCI
F Zalila, F Korte, J Erbel, S Challita, J Grabowski, P Merle
Software and Systems Modeling 22 (3), 871-889, 2023
42023
A DSL to feedback formal verification results
F Zalila, X Crégut, M Pantel
13th Model-Driven Engineering, Verification and Validation Workshop at …, 2016
42016
Methods and tools for the integration of formal verification in domain-specific languages
F Zalila
Institut National Polytechnique de Toulouse-INPT, 2014
42014
Teaching MDE through the Formal Verification of Process Models
B Combemale, X Crégut, A Dieumegard, M Pantel, F Zalila
Electronic Communications of the EASST 52, 2012
42012
Model Execution and Debugging - A Process to Leverage Existing Tools
F Zalila, E Jenn, M Pantel
International Conference on Model-Driven Engineering and Software …, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–20