Formal Modelling and Verification of Cloud Resource Allocation in Business Processes. - Ikram Garfatta; Kais Klai; Mohamed Graiet; Walid Gaaloul (OTM Conferences (1), 2018)

[WiP] Formal Modelling of IT Resource Allocation in Business Processes. - Ikram Garfatta; Kais Klai; Mohamed Graiet; Walid Gaaloul (SOCA, 2018)

Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach. - Ikram Garfatta; Kaïs Klai; Mahamed Graïet; Walid Gaaloul (ICSOC Workshops, 2020)

A Survey on Formal Verification for Solidity Smart Contracts. - Ikram Garfatta; Kais Klai; Walid Gaaloul; Mohamed Graiet (ACSW, 2021)

Model Checking of Solidity Smart Contracts Adopted for Business Processes. - Ikram Garfatta; Kaïs Klai; Mohamed Graïet; Walid Gaaloul (ICSOC, 2021)

A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts. - Ikram Garfatta; Kaïs Klai; Mohamed Graïet; Walid Gaaloul (WETICE, 2021)

Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach. - Ikram Garfatta; Kaïs Klai; Mohamed Graïet; Walid Gaaloul (SAC, 2022)

Towards correct Blockchain-based business processes. (Vers des processus métier corrects basés sur la Blockchain). - Ikram Garfatta (2022)

Towards Formal Verification of Node RED-Based IoT Applications. - Ikram Garfatta; Nour Elhouda Souid; Kaïs Klai (VECoS, 2023)

Predictive Process Approach for Email Response Recommendations. - Ralph Bou Nader; Marwa Elleuch; Ikram Garfatta; Walid Gaaloul; Boualem Benatallah (CoopIS, 2024)

Formal Verification of Declarative Specifications of BPs: DCR2CPN-Based Approach. - Ikram Garfatta; Kaïs Klai; Walid Gaaloul (VECoS, 2024)

Integrating Business Process Context into Solidity-to-CPN Formal Verification. - Ikram Garfatta; Kaïs Klai; Walid Gaaloul (WETICE, 2024)

Multi-perspective Conformance Checking for Email-Driven Processes. - Ralph Bou Nader; Ikram Garfatta; Marwa Elleuch; Walid Gaaloul; Yehia Taher (WISE (5), 2024)