| 2026 | WorldCIST | Deep Learning Method for Detecting Spoofing Attacks in Internet of Things Networks. | Ikbel Haouas, Lazhar Hamel, Mouna Attia, Mohamed Graiet, Walid Gaaloul |
| 2025 | AIAI | Declarative, Generic Definition and Effective Implementation of Transfer Learning Algorithms. | Tayeb Diab, Mohamed Graiet, Mario Sdholt |
| 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 |
| 2025 | WiMob | Dilated Causal CNNs for Energy Forecasting and Optimization in LoRaWAN Networks. | Sana Slama, Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Walid Gaaloul |
| 2024 | ACIIDS | Efficient Deep Learning Method for Detection of Malware Attacks in Internet of Things Networks. | Ikbel Haouas, Mouna Attia, Lazhar Hamel, Mohamed Graiet, Walid Gaaloul |
| 2024 | CCGRID | A Formal Modeling and Verification Approach for IoT-Cloud Resource-Oriented Applications. | Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet, Daniel Balouek |
| 2024 | ECAI | On the Discovery of Conceptual Clustering Models Through Pattern Mining. | Motaz Ben Hassine, Sad Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet |
| 2024 | ICSOC | An Event-B Based Approach for Horizontally Scalable IoT Applications. | Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet |
| 2024 | KES | On the Effects of Similarity in Community Detection. | Motaz Ben Hassine, Mourad Kmimech, Mohamed Graiet |
| 2024 | VECoS | Towards a Model for Energy-Efficient and Flexible IoT Systems. | Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet |
| 2023 | DaWaK | A Non-overlapping Community Detection Approach Based on α-Structural Similarity. | Motaz Ben Hassine, Sad Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet |
| 2023 | ISCC | Refinement and Verification for IoT Service Composition. | Sarah Hussein Toman, Lazhar Hamel, Mohamed Graiet |
| 2023 | ISCC | A Correct by Construction Model for CBPS Systems Verification. | Sarah Hussein Toman, Aida Lahouij, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet |
| 2022 | ICCCI | ITS Traffic Violation Regulation Based on Blockchain Smart Contracts. | Nihed Yousfi, Mourad Kmimech, Imed Abbassi, Hdi Hamdi, Mohamed Graiet |
| 2022 | KES | Correct-by-Construction Approach for Formal Verification of IoT Architecture. | Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet |
| 2021 | WETICE | A genetic-based requirements-aware approach for reliable IoT applications in the Fog. | Houda Chouat, Imed Abbassi, Mohamed Graiet |
| 2020 | ICSR | Dynamic Reconfiguration of Cloud Composite Services Using Event-B. | Aida Lahouij, Lazhar Hamel, Mohamed Graiet |
| 2017 | ICSOC | Deadlock-Freeness Verification of Business Process Configuration Using SOG. | Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul |
| 2017 | WETICE | Track Report for Formal Verification of Service Based Systems: FVSBS 2017. | Mohamed Graiet, Kais Klai |
| 2016 | AINA | Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B. | Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul |
| 2016 | ICSOC | A Formal Guidance Approach for Correct Process Configuration. | Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul |
| 2016 | ICWS | An Event-B Based Approach for Ensuring Correct Configurable Business Processes. | Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul |
| 2016 | WETICE | Track Report for Formal Verification of Service Based Systems: FVSBS 2016. | Mohamed Graiet, Kais Klai |
| 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 | RCIS | Formal modeling for verifying SCA composition. | Lazhar Hamel, Mohamed Graiet, 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 |
| 2015 | WETICE | FVSBS 2015 Track Report: Formal Verification of Service Based Systems. | Mohamed Graiet, Kais Klai |
| 2015 | WETICE | Formal Modeling for Verifying SCA Dynamic Composition with Event-B. | Aida Lahouij, Lazhar Hamel, Mohamed Graiet |
| 2014 | WETICE | Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach. | Imed Abbassi, Mohamed Graiet, Nejib Ben Hadj-Alouane |
| 2014 | WETICE | Track Report of Formal Verification of Service Based Systems (FVSBS 2014). | Mohamed Graiet, Zied Jaoua, Kais Klai |
| 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 |
| 2012 | BPM | Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case. | Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri |
| 2011 | ECSA | Verifying Composite Service Transactional Behavior with EVENT-B. | Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul |
| 2011 | IIWAS | MDE approach for the generation and verification of SCA model. | Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou |
| 2011 | IIWAS | Towards a transformation of composite web service with QoS extension into ACME\Armani. | Raoudha Maraoui, Amel Mhamdi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou |
| 2010 | IIWAS | Towards an approach of formal verification of mediation protocol based on web services. | Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul |