Publications

Journal articles

• *New* Yahya Al-Dhuraibi, Faiez Zalila, Nabil Djarallah, and Philippe Merle, Model-Driven Elasticity Management with OCCI, In IEEE Transactions on Cloud Computing journal, 2019 (DOI: 10.1109/TCC.2019.2923686).
• Faiez Zalila, Stéphanie Challita, and Philippe Merle, Model-Driven Cloud Resource Management with OCCIware, In Future Generation Computer Systems (FGCS) journal, 2019 (DOI: 10.1016/j.future.2019.04.015).

International conference papers

• Stéphanie Challita, Faiez Zalila, and Philippe Merle, Specifying Semantic Interoperability between Heterogeneous Cloud Resources with the FCLOUDS Formal Language, 2018 IEEE International Conference on Cloud Computing (IEEE CLOUD 2018),
  • July 2^nd-7^th 2018, San Francisco, CA, USA.
• Stéphanie Challita, Faiez Zalila, Christophe Gourdin, and Philippe Merle, A Precise Model for Google Cloud Platform,
  • 6th International Conference on Cloud Engineering (IC2E 2018),
  • April 17^th-20^th 2018, Orlando, Florida, USA.
• Yahya Al-Dhuraibi, Faiez Zalila, Nabil Djarallah, and Philippe Merle, Coordinating Vertical Elasticity of both Containers and Virtual Machines,
  • 8th International Conference on Cloud Computing and Services Science (CLOSER 2018),
  • March 19^th-21^st 2018, Funchal, Madeira, Portugal.
• Fabian Korte, Stéphanie Challita, Faiez Zalila, Philippe Merle, and Jens Grabowski, Model-Driven Configuration Management of Cloud Applications with OCCI,
  • 8th International Conference on Cloud Computing and Services Science (CLOSER 2018),
  • March 19^th-21^st 2018, Funchal, Madeira, Portugal.
• Faiez Zalila, Stéphanie Challita, and Philippe Merle, A Model-Driven Tool Chain for OCCI,
  • 25^th International Conference on COOPERATIVE INFORMATION SYSTEMS (COOPIS 2017),
  • October 25^th-27^th 2017, Rhodes, Greece.
• Faiez Zalila, Eric Jenn, and Marc Pantel, Model Execution and Debugging - A Process to Leverage Existing Tools,
  • 5^th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017),
  • February 19^th-21^st 2017, Porto, Portugal.
• Faiez Zalila, Xavier Crégut, and Marc Pantel, A transformation-driven approach to generate a DSML verification framework,
  • 3^rd International Conference on Model & Data Engineering (MEDI 2013),
  • September 25^th-27^th 2013, Amantea, Calabria, Italy.
• Faiez Zalila, Xavier Crégut, and Marc Pantel, Formal Verification Integration Approach for DSML,
  • ACM/IEEE 16^th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013),
  • September 29^th-October 4^th 2013, Miami, Florida, USA.
• Faiez Zalila, Xavier Crégut, and Marc Pantel, Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study,
  • 5^th International Symposium On Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2012),
  • October 15^th-18^th 2012 - Amirandes, Heraclion, Crete, Greece.

International workshop papers

• Faiez Zalila, Xavier Crégut, and Marc Pantel, A DSL to feedback formal verification results,
  • 13^th International Workshop on Model Driven Engineering, Verification, and Validation (MoDeVVa@MoDELS 2016),
  • October 2016, Saint-Malo, France.
• Benoit Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, and Faiez Zalila, Teaching MDE through the Formal Verification of Process Models,
  • 7^th Educators’ Symposium: Software Modeling in Education (EduSymp@MoDELS 2011),
  • Octobre 2011, Wellington, New Zealand.

International congress papers

• Faiez Zalila, Xavier Crégut, and Marc Pantel, A user-oriented approach to integrate formal verification activity for DSML,
  • European Congress on Embedded Real Time Software and Systems (ERTS² 2014),
  • February 2014, Toulouse, France.

French conference papers

• Faiez Zalila, Xavier Crégut, and Marc Pantel, Feedback verification results through an intermediate language,
  • Conférence en IngénieriE du Logiciel (CIEL 2012),
  • June 19^th-20^th 2012, Rennes, France.
• Faiez Zalila, Xavier Crégut, and Marc Pantel, Approche transparente pour la vérification des modèles métiers,
  • Journées sur l’Ingénierie Dirigée par les Modèles, (IDM 2011),
  • June 2011, Lille, France.

Posters

• Faiez Zalila, Xavier Crégut, and Marc Pantel, Towards a generic approach for DSML V&V,
  • 2^nd International Master Class on Model-Driven Engineering (Modeling Wizards 2012),
  • September 27^th-29^th 2012 - Obergurgl University Center, Obergurgl, Austria.

PhD Thesis

• Faiez Zalila, Methods and Tools for the Integration of Formal Verification in Domain-Specific Languages,
  • Ph.D. Thesis, Institut National Polytechnique de Toulouse,
  • defended December 9^th, 2014.