| 2024 | CoopIS | Predictive Process Approach for Email Response Recommendations. | Ralph Bou Nader, Marwa Elleuch, Ikram Garfatta, Walid Gaaloul, Boualem Benatallah |
| 2024 | WISE | Multi-perspective Conformance Checking for Email-Driven Processes. | Ralph Bou Nader, Ikram Garfatta, Marwa Elleuch, Walid Gaaloul, Yehia Taher |
| 2024 | WETICE | Integrating Business Process Context into Solidity-to-CPN Formal Verification. | Ikram Garfatta, Kas Klai, Walid Gaaloul |
| 2024 | VECoS | Formal Verification of Declarative Specifications of BPs: DCR2CPN-Based Approach. | Ikram Garfatta, Kas Klai, Walid Gaaloul |
| 2023 | VECoS | Towards Formal Verification of Node RED-Based IoT Applications. | Ikram Garfatta, Nour Elhouda Souid, Kas Klai |
| 2022 | SAC | Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach. | Ikram Garfatta, Kas Klai, Mohamed Graet, Walid Gaaloul |
| 2021 | ICSOC | Model Checking of Solidity Smart Contracts Adopted for Business Processes. | Ikram Garfatta, Kas Klai, Mohamed Graet, Walid Gaaloul |
| 2021 | WETICE | A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts. | Ikram Garfatta, Kas Klai, Mohamed Graet, Walid Gaaloul |
| 2020 | ICSOC | Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach. | Ikram Garfatta, Kas Klai, Mahamed Graet, Walid Gaaloul |