| 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 |
| 2020 | ISPA | SOG-Based Multi-Core LTL Model Checking. | Chiheb Ameur Abid, Kas Klai, Jaime Arias, Hiba Ouni |