Ikram Garfatta

According to our database, Ikram Garfatta authored at least 13 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Multi-perspective Conformance Checking for Email-Driven Processes.

Ralph Bou Nader, Ikram Garfatta, Marwa Elleuch, Walid Gaaloul, Yehia Taher

Proceedings of the Web Information Systems Engineering - WISE 2024, 2024

Integrating Business Process Context into Solidity-to-CPN Formal Verification.

Ikram Garfatta, Kaïs Klai, Walid Gaaloul

Proceedings of the 32nd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2024

Formal Verification of Declarative Specifications of BPs: DCR2CPN-Based Approach.

Ikram Garfatta, Kaïs Klai, Walid Gaaloul

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2024

Predictive Process Approach for Email Response Recommendations.

Ralph Bou Nader, Marwa Elleuch, Ikram Garfatta, Walid Gaaloul, Boualem Benatallah

Proceedings of the Cooperative Information Systems - 30th International Conference, 2024

2023

Towards Formal Verification of Node RED-Based IoT Applications.

Ikram Garfatta, Nour Elhouda Souid, Kaïs Klai

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2023

2022

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

Ikram Garfatta

PhD thesis, 2022

Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach.

Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2021

A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts.

Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul

Proceedings of the 30th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2021

Model Checking of Solidity Smart Contracts Adopted for Business Processes.

Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul

Proceedings of the Service-Oriented Computing - 19th International Conference, 2021

A Survey on Formal Verification for Solidity Smart Contracts.

Ikram Garfatta, Kais Klai, Walid Gaaloul, Mohamed Graiet

Proceedings of the ACSW '21: 2021 Australasian Computer Science Week Multiconference, 2021

2020

Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach.

Ikram Garfatta, Kaïs Klai, Mahamed Graïet, Walid Gaaloul

Proceedings of the Service-Oriented Computing - ICSOC 2020 Workshops, 2020

2018

[WiP] Formal Modelling of IT Resource Allocation in Business Processes.

Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul

Proceedings of the 11th IEEE Conference on Service-Oriented Computing and Applications, 2018

Formal Modelling and Verification of Cloud Resource Allocation in Business Processes.

Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018