Faiez Zalila

19 papers A 1B 1C 5Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2023 J jnl
MoDMaCAO: a model-driven framework for the design, validation and configuration management of cloud applications based on OCCI.
Softw. Syst. Model.
Faiez Zalila, Fabian Korte, Johannes Erbel, Stéphanie Challita, Jens Grabowski, Philippe Merle
2022 J jnl
Model-Driven Simulation of Elastic OCCI Cloud Resources.
Comput. J.
Mehdi Ahmed-Nacer, Slim Kallel, Faiez Zalila, Philippe Merle, Walid Gaaloul
2021 J jnl
Model-Driven Elasticity Management with OCCI.
IEEE Trans. Cloud Comput.
Yahya Al-Dhuraibi, Faiez Zalila, Nabil Djarallah, Philippe Merle
2021 J jnl
Model-based cloud resource management with TOSCA and OCCI.
Softw. Syst. Model.
Stéphanie Challita, Fabian Korte, Johannes Erbel, Faiez Zalila, Jens Grabowski, Philippe Merle
2020 C conf
FADI - A Deployment Framework for Big Data Management and Analytics.
WETICE
Rami Sellami, Faiez Zalila, Alexandre Nuttinck, Sébastien Dupont, Jean-Christophe Deprez, Stéphane Mouton
2020 J jnl
Model-Based Cloud Resource Provisioning with TOSCA and OCCI.
CoRR
Stéphanie Challita, Fabian Korte, Johannes Erbel, Faiez Zalila, Jens Grabowski, Philippe Merle
2019 J jnl
Model-driven cloud resource management with OCCIware.
Future Gener. Comput. Syst.
Faiez Zalila, Stéphanie Challita, Philippe Merle
2018 B conf
A Precise Model for Google Cloud Platform.
IC2E
Stephanie Challita, Faiez Zalila, Christophe Gourdin, Philippe Merle
2018 C conf
Coordinating Vertical Elasticity of both Containers and Virtual Machines.
CLOSER
Yahya Al-Dhuraibi, Faiez Zalila, Nabil Djarallah, Philippe Merle
2018 C conf
Model-driven Configuration Management of Cloud Applications with OCCI.
CLOSER
Fabian Korte, Stéphanie Challita, Faiez Zalila, Philippe Merle, Jens Grabowski
2018 — conf
Specifying Semantic Interoperability between Heterogeneous Cloud Resources with the FCLOUDS Formal Language.
IEEE CLOUD
Stephanie Challita, Faiez Zalila, Philippe Merle
2017 — conf
A Model-Driven Tool Chain for OCCI.
OTM Conferences (1)
Faiez Zalila, Stéphanie Challita, Philippe Merle
2017 C conf
Model Execution and Debugging - A Process to Leverage Existing Tools.
MODELSWARD
Faiez Zalila, Eric Jenn, Marc Pantel
2016 — conf
A DSL to Feedback Formal Verification Results.
MoDeVVa@MoDELS
Faiez Zalila, Xavier Crégut, Marc Pantel
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
2013 C conf
A Transformation-Driven Approach to Automate Feedback Verification Results.
MEDI
Faiez Zalila, Xavier Crégut, Marc Pantel
2013 A conf
Formal Verification Integration Approach for DSML.
MoDELS
Faiez Zalila, Xavier Crégut, Marc Pantel
2012 — conf
Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study.
ISoLA (2)
Faiez Zalila, Xavier Crégut, Marc Pantel
2011 J jnl
Teaching MDE through the Formal Verification of Process Models.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Benoît Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila