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)

Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study. - Faiez Zalila; Xavier Crégut; Marc Pantel (ISoLA (2), 2012)

A Transformation-Driven Approach to Automate Feedback Verification Results. - Faiez Zalila; Xavier Crégut; Marc Pantel (MEDI, 2013)

Formal Verification Integration Approach for DSML. - Faiez Zalila; Xavier Crégut; Marc Pantel (MoDELS, 2013)

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 (2014)

A DSL to Feedback Formal Verification Results. - Faiez Zalila; Xavier Crégut; Marc Pantel (MoDeVVa@MoDELS, 2016)

Model Execution and Debugging - A Process to Leverage Existing Tools. - Faiez Zalila; Eric Jenn; Marc Pantel (MODELSWARD, 2017)

A Model-Driven Tool Chain for OCCI. - Faiez Zalila; Stéphanie Challita; Philippe Merle (OTM Conferences (1), 2017)

Specifying Semantic Interoperability between Heterogeneous Cloud Resources with the FCLOUDS Formal Language. - Stephanie Challita; Faiez Zalila; Philippe Merle (IEEE CLOUD, 2018)

Coordinating Vertical Elasticity of both Containers and Virtual Machines. - Yahya Al-Dhuraibi; Faiez Zalila; Nabil Djarallah; Philippe Merle (CLOSER, 2018)

Model-driven Configuration Management of Cloud Applications with OCCI. - Fabian Korte; Stéphanie Challita; Faiez Zalila; Philippe Merle; Jens Grabowski (CLOSER, 2018)

A Precise Model for Google Cloud Platform. - Stephanie Challita; Faiez Zalila; Christophe Gourdin; Philippe Merle (IC2E, 2018)

Model-driven cloud resource management with OCCIware. - Faiez Zalila; Stéphanie Challita; Philippe Merle (Future Gener. Comput. Syst., 2019)

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 (WETICE, 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)

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)

Model-Driven Elasticity Management with OCCI. - Yahya Al-Dhuraibi; Faiez Zalila; Nabil Djarallah; Philippe Merle (IEEE Trans. Cloud Comput., 2021)

Model-Driven Simulation of Elastic OCCI Cloud Resources. - Mehdi Ahmed-Nacer; Slim Kallel; Faiez Zalila; Philippe Merle; Walid Gaaloul (Comput. J., 2022)

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)