| 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 | 65 | 2018 |
| Model-driven cloud resource management with OCCIware F Zalila, S Challita, P Merle Future Generation Computer Systems 99, 260-277, 2019 | 32 | 2019 |
| 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 | 28 | 2018 |
| A model-driven tool chain for OCCI F Zalila, S Challita, P Merle On the Move to Meaningful Internet Systems. OTM 2017 Conferences …, 2017 | 25 | 2017 |
| Formal verification integration approach for DSML F Zalila, X Crégut, M Pantel Model-Driven Engineering Languages and Systems: 16th International …, 2013 | 22 | 2013 |
| 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 20 (5), 1609-1631, 2021 | 20 | 2021 |
| 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 | 19 | 2018 |
| 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 | 19 | 2012 |
| 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 | 14 | 2018 |
| 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 | 13 | 2019 |
| 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 | 10 | 2020 |
| A transformation-driven approach to automate feedback verification results F Zalila, X Crégut, M Pantel International Conference on Model and Data Engineering, 266-277, 2013 | 10 | 2013 |
| 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 | 6 | 2022 |
| 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 | 6 | 2021 |
| 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 | 5 | 2023 |
| A DSL to feedback formal verification results F Zalila, X Crégut, M Pantel 13th Model-Driven Engineering, Verification and Validation Workshop at …, 2016 | 5 | 2016 |
| Methods and tools for the integration of formal verification in domain-specific languages F Zalila Institut National Polytechnique de Toulouse-INPT, 2014 | 5 | 2014 |
| 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 | 5 | 2012 |
| Verification results feedback for FIACRE intermediate language F Zalila, X Crégut, M Pantel Confrence en Ingnierie du Logiciel (CIEL), 2012 | 5 | 2012 |
| 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 | 1 | 2017 |
Philippe MerleResearch Director, Inria Lille - Nord Europe, Villeneuve d'Ascq, FranceGeverifieerd e-mailadres voor inria.fr