Faiez Zalila

According to our database, Faiez Zalila authored at least 19 papers between 2011 and 2023.

Collaborative distances:

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

2023

MoDMaCAO: a model-driven framework for the design, validation and configuration management of cloud applications based on OCCI.

Faiez Zalila, Fabian Korte, Johannes Erbel, Stéphanie Challita, Jens Grabowski, Philippe Merle

Softw. Syst. Model., 2023

2022

Model-Driven Simulation of Elastic OCCI Cloud Resources.

Mehdi Ahmed-Nacer, Slim Kallel, Faiez Zalila, Philippe Merle, Walid Gaaloul

Comput. J., 2022

2021

Model-Driven Elasticity Management with OCCI.

Yahya Al-Dhuraibi, Faiez Zalila, Nabil Djarallah, Philippe Merle

IEEE Trans. Cloud Comput., 2021

Model-based cloud resource management with TOSCA and OCCI.

Stéphanie Challita, Fabian Korte, Johannes Erbel, Faiez Zalila, Jens Grabowski, Philippe Merle

Softw. Syst. Model., 2021

2020

Model-Based Cloud Resource Provisioning with TOSCA and OCCI.

Stéphanie Challita, Fabian Korte, Johannes Erbel, Faiez Zalila, Jens Grabowski, Philippe Merle

CoRR, 2020

FADI - A Deployment Framework for Big Data Management and Analytics.

Rami Sellami, Faiez Zalila, Alexandre Nuttinck, Sébastien Dupont, Jean-Christophe Deprez, Stéphane Mouton

Proceedings of the 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2020

2019

Model-driven cloud resource management with OCCIware.

Faiez Zalila, Stéphanie Challita, Philippe Merle

Future Gener. Comput. Syst., 2019

2018

A Precise Model for Google Cloud Platform.

Stephanie Challita, Faiez Zalila, Christophe Gourdin, Philippe Merle

Proceedings of the 2018 IEEE International Conference on Cloud Engineering, 2018

Model-driven Configuration Management of Cloud Applications with OCCI.

Fabian Korte, Stéphanie Challita, Faiez Zalila, Philippe Merle, Jens Grabowski

Proceedings of the 8th International Conference on Cloud Computing and Services Science, 2018

Coordinating Vertical Elasticity of both Containers and Virtual Machines.

Yahya Al-Dhuraibi, Faiez Zalila, Nabil Djarallah, Philippe Merle

Proceedings of the 8th International Conference on Cloud Computing and Services Science, 2018

Specifying Semantic Interoperability between Heterogeneous Cloud Resources with the FCLOUDS Formal Language.

Stephanie Challita, Faiez Zalila, Philippe Merle

Proceedings of the 11th IEEE International Conference on Cloud Computing, 2018

2017

A Model-Driven Tool Chain for OCCI.

Faiez Zalila, Stéphanie Challita, Philippe Merle

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

Model Execution and Debugging - A Process to Leverage Existing Tools.

Faiez Zalila, Eric Jenn, Marc Pantel

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

2016

A DSL to Feedback Formal Verification Results.

Faiez Zalila, Xavier Crégut, Marc Pantel

Proceedings of the 13th Workshop on Model-Driven Engineering, 2016

2014

Methods and Tools for the Integration of Formal Verification in Domain-Specific Languages. (Méthodes et Outils pour l'Intégration de la Vérification Formelle pour les Langages Dédiés ).

Faiez Zalila

PhD thesis, 2014

2013

Formal Verification Integration Approach for DSML.

Faiez Zalila, Xavier Crégut, Marc Pantel

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

A Transformation-Driven Approach to Automate Feedback Verification Results.

Faiez Zalila, Xavier Crégut, Marc Pantel

Proceedings of the Model and Data Engineering - Third International Conference, 2013

2012

Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study.

Faiez Zalila, Xavier Crégut, Marc Pantel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

2011

Teaching MDE through the Formal Verification of Process Models.

Benoît Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011