Ikram Garfatta

13 papers A 1B 1C 4Misc 1Unranked 5
YearRankTypeTitle / Venue / Authors
2024 C conf
Formal Verification of Declarative Specifications of BPs: DCR2CPN-Based Approach.
VECoS
Ikram Garfatta, Kaïs Klai, Walid Gaaloul
2024 C conf
Integrating Business Process Context into Solidity-to-CPN Formal Verification.
WETICE
Ikram Garfatta, Kaïs Klai, Walid Gaaloul
2024 — conf
Multi-perspective Conformance Checking for Email-Driven Processes.
WISE (5)
Ralph Bou Nader, Ikram Garfatta, Marwa Elleuch, Walid Gaaloul, Yehia Taher
2024 B conf
Predictive Process Approach for Email Response Recommendations.
CoopIS
Ralph Bou Nader, Marwa Elleuch, Ikram Garfatta, Walid Gaaloul, Boualem Benatallah
2023 C conf
Towards Formal Verification of Node RED-Based IoT Applications.
VECoS
Ikram Garfatta, Nour Elhouda Souid, Kaïs Klai
2022 Misc conf
Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach.
SAC
Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul
2022 — —
Towards correct Blockchain-based business processes. (Vers des processus métier corrects basés sur la Blockchain).
Ikram Garfatta
2021 C conf
A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts.
WETICE
Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul
2021 — conf
A Survey on Formal Verification for Solidity Smart Contracts.
ACSW
Ikram Garfatta, Kais Klai, Walid Gaaloul, Mohamed Graiet
2021 A conf
Model Checking of Solidity Smart Contracts Adopted for Business Processes.
ICSOC
Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul
2020 — conf
Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach.
ICSOC Workshops
Ikram Garfatta, Kaïs Klai, Mahamed Graïet, Walid Gaaloul
2018 — conf
Formal Modelling and Verification of Cloud Resource Allocation in Business Processes.
OTM Conferences (1)
Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul
2018 — conf
[WiP] Formal Modelling of IT Resource Allocation in Business Processes.
SOCA
Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul