| 2018 | MEDI | A Formalized Procedure for Database Horizontal Fragmentation in Isabelle/HOL Proof Assistant. | Cheikh Salmi, Mohamed Chaabani, Mohamed Mezghiche |
| 2017 | FDL | Rethinking of I/O-automata composition. | Sarah Chabane, Raba Ameur-Boulifa, Mohamed Mezghiche |
| 2017 | PRIMA | Towards a Generic Multi-agent Approach for Medical Image Segmentation. | Mohamed Tahar Bennai, Zahia Guessoum, Smaine Mazouzi, Stphane Cormier, Mohamed Mezghiche |
| 2016 | CARDIS | The Hell Forgery - Self Modifying Codes Shoot Again. | Abdelhak Mesbah, Leo Regnaud, Jean-Louis Lanet, Mohamed Mezghiche |
| 2016 | CRiSIS | A Formal Verification of Safe Update Point Detection in Dynamic Software Updating. | Razika Lounas, Nisrine Jafri, Axel Legay, Mohamed Mezghiche, Jean-Louis Lanet |
| 2015 | VECoS | An Approach for Formal Verification of Updated Java Bytecode Programs. | Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet |
| 2014 | DATA | Evidential-Link-based Approach for Re-ranking XML Retrieval Results. | M'hamed Mataoui, Mohamed Mezghiche, Faouzi Sebbak, Farid Benhammadi |
| 2014 | ISMIS | Searching XML Element Using Terms Propagation Method. | Samia Berchiche-Fellag, Mohamed Mezghiche |
| 2012 | ICTERI | A Case Study in Combining Formal Verification and Model-Driven Engineering. | Selma Djeddai, Mohamed Mezghiche, Martin Strecker |
| 2012 | ICTERI | Combining Verification and MDE Illustrated by a Formal Java Development. | Selma Djeddai, Mohamed Mezghiche, Martin Strecker |
| 2012 | MEDI | Integrating a Formal Development for DSLs into Meta-modeling. | Selma Djeddai, Martin Strecker, Mohamed Mezghiche |
| 2010 | IC3K | Investigation of e-Government Information Systems Agility . | Soumia Aggoune, Rabah Imache, Mohamed Mezghiche, Abdelaziz Khadraoui |