| 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 | NCA | Compliance Verification of 5G Service Level Agreements using Event-B. | Riham Badra, Lazhar Hamel, Layth Sliman, Ralp Bou Nader |
| 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 | ICSOC | An Event-B Based Approach for Horizontally Scalable IoT Applications. | Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet |
| 2024 | WISE | A Scalable Approach for Improving IoT Healthcare Systems with Privacy and Permissioned Blockchain. | Arije Yahyaoui, Sonia Kotel, Fatma Sbiaa, Lazhar Hamel, Aida Lahouij, Raouda Maraoui Kamoun |
| 2024 | VECoS | Towards a Model for Energy-Efficient and Flexible IoT Systems. | Yassmine Gara Hellal, Lazhar Hamel, 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 |
| 2023 | KES | A Blockchain-based approach for secure IoT. | Sonia Kotel, Fatma Sbiaa, Raouda Maraoui Kamoun, Lazhar Hamel |
| 2022 | ICCCI | UML Profile for IoT-Based Applications. | Malek Ltaief, Sarah Hussein Toman, Lazhar Hamel |
| 2022 | ICCCI | A Formal Verification Model for IoT Based Applications Using Event-B. | Rihab Omri, Zinah Hussein Toman, Lazhar Hamel |
| 2022 | KES | Correct-by-Construction Approach for Formal Verification of IoT Architecture. | Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet |
| 2020 | ICSR | Dynamic Reconfiguration of Cloud Composite Services Using Event-B. | Aida Lahouij, Lazhar Hamel, Mohamed Graiet |
| 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 | WETICE | Formal Modeling for Verifying SCA Dynamic Composition with Event-B. | Aida Lahouij, Lazhar Hamel, Mohamed Graiet |
| 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 |