| 2020 | WETICE | FADI - A Deployment Framework for Big Data Management and Analytics. | Rami Sellami, Faiez Zalila, Alexandre Nuttinck, Sbastien Dupont, Jean-Christophe Deprez, Stphane Mouton |
| 2018 | CLOSER | Coordinating Vertical Elasticity of both Containers and Virtual Machines. | Yahya Al-Dhuraibi, Faiez Zalila, Nabil Djarallah, Philippe Merle |
| 2018 | CLOSER | Model-driven Configuration Management of Cloud Applications with OCCI. | Fabian Korte, Stphanie Challita, Faiez Zalila, Philippe Merle, Jens Grabowski |
| 2018 | IC2E | A Precise Model for Google Cloud Platform. | Stephanie Challita, Faiez Zalila, Christophe Gourdin, Philippe Merle |
| 2017 | MODELSWARD | Model Execution and Debugging - A Process to Leverage Existing Tools. | Faiez Zalila, Eric Jenn, Marc Pantel |
| 2016 | MODELS | A DSL to Feedback Formal Verification Results. | Faiez Zalila, Xavier Crgut, Marc Pantel |
| 2013 | MEDI | A Transformation-Driven Approach to Automate Feedback Verification Results. | Faiez Zalila, Xavier Crgut, Marc Pantel |
| 2013 | MODELS | Formal Verification Integration Approach for DSML. | Faiez Zalila, Xavier Crgut, Marc Pantel |
| 2012 | ISoLA | Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study. | Faiez Zalila, Xavier Crgut, Marc Pantel |