| 2025 | WISE | Verifying Security Requirements of Fog Services Communication with Event-B. | Samia Ben Ismail, Imed Abbassi, Marwa Aloui, Zied Jaoua, Mohamed Graiet, Walid Gaaloul |
| 2022 | ICCCI | ITS Traffic Violation Regulation Based on Blockchain Smart Contracts. | Nihed Yousfi, Mourad Kmimech, Imed Abbassi, Hdi Hamdi, Mohamed Graiet |
| 2021 | WETICE | A genetic-based requirements-aware approach for reliable IoT applications in the Fog. | Houda Chouat, Imed Abbassi, Mohamed Graiet |
| 2015 | ICWS | A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B. | Imed Abbassi, Mohamed Graiet, Souha Boubaker, Mourad Kmimech, Nejib Ben Hadj-Alouane |
| 2015 | ICWS | Formal Behavioral Modeling for Verifying SCA Composition with Event-B. | Mohamed Graiet, Aida Lahouij, Imed Abbassi, Lazhar Hamel, Mourad Kmimech |
| 2015 | WISE | Genetic-Based Approach for ATS and SLA-aware Web Services Composition. | Imed Abbassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj-Alouane |
| 2014 | WETICE | Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach. | Imed Abbassi, Mohamed Graiet, Nejib Ben Hadj-Alouane |
| 2014 | WETICE | Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B. | Imed Abbassi, Mourad Kmimech, Nejib Ben Hadj-Alouane, Walid Gaaloul |
| 2013 | ICWS | Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior. | Mohamed Graiet, Imed Abbassi, Lazhar Hamel, Mohamed Tahar Bhiri, Mourad Kmimech, Walid Gaaloul |