Fingerprint
Dive into the research topics where Ikram Garfatta is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
- 12 Conference contribution
-
Formal Verification of Declarative Specifications of BPs: DCR2CPN-Based Approach
Garfatta, I., Klai, K. & Gaaloul, W., 1 Jan 2025, Verification and Evaluation of Computer and Communication Systems - 17th International Conference, VECoS 2024, Proceedings. Ben Hedia, B., Ghazel, M. & Monsuez, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 32-46 15 p. (Lecture Notes in Computer Science; vol. 15466 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Multi-perspective Conformance Checking for Email-Driven Processes
Bou Nader, R., Garfatta, I., Elleuch, M., Gaaloul, W. & Taher, Y., 1 Jan 2025, Web Information Systems Engineering – WISE 2024 - 25th International Conference, Proceedings. Barhamgi, M., Wang, H. & Wang, X. (eds.). Springer Science and Business Media Deutschland GmbH, p. 441-457 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; vol. 15440 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Predictive Process Approach for Email Response Recommendations
Nader, R. B., Elleuch, M., Garfatta, I., Gaaloul, W. & Benatallah, B., 1 Jan 2025, Cooperative Information Systems - 30th International Conference, CoopIS 2024, Proceedings. Comuzzi, M., Grigori, D., Sellami, M. & Zhou, Z. (eds.). Springer Science and Business Media Deutschland GmbH, p. 338-345 8 p. (Lecture Notes in Computer Science; vol. 15506 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Integrating Business Process Context into Solidity-to-CPN Formal Verification
Garfatta, I., Klai, K. & Gaaloul, W., 1 Jan 2024, Proceedings - 2024 32nd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2024. IEEE Computer Society, p. 68-73 6 p. (Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Towards Formal Verification of Node RED-Based IoT Applications
Garfatta, I., Souid, N. E. & Klai, K., 1 Jan 2024, Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Proceedings. Ben Hedia, B., Maleh, Y. & Krichen, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 90-104 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14368 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Model Checking of Vulnerabilities in Smart Contracts: A Solidity-to-CPN Approach
Garfatta, I., Klai, K., Graïet, M. & Gaaloul, W., 25 Apr 2022, Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022. Association for Computing Machinery, p. 316-325 10 p. (Proceedings of the ACM Symposium on Applied Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts
Garfatta, I., Klai, K., Graiet, M. & Gaaloul, W., 1 Jan 2021, Proceedings - 2021 IEEE 30th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2021. IEEE Computer Society, p. 69-74 6 p. (Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE; vol. 2021-October).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
A Survey on Formal Verification for Solidity Smart Contracts
Garfatta, I., Klai, K., Gaaloul, W. & Graiet, M., 1 Feb 2021, Proceedings of the Australasian Computer Science Week Multiconference 2021, ACSW 2021. Stanger, N. & Joachim, V. L. (eds.). Association for Computing Machinery, 3437879. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach
Garfatta, I., Klai, K., Graïet, M. & Gaaloul, W., 1 Jan 2021, Service-Oriented Computing – ICSOC 2020 Workshops - AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Proceedings. Hacid, H., Outay, F., Paik, H.-Y., Alloum, A., Petrocchi, M., Bouadjenek, M. R., Beheshti, A., Liu, X. & Maaradji, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 47-53 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12632 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Model Checking of Solidity Smart Contracts Adopted for Business Processes
Garfatta, I., Klai, K., Graïet, M. & Gaaloul, W., 1 Jan 2021, Service-Oriented Computing - 19th International Conference, ICSOC 2021, Proceedings. Hacid, H., Kao, O., Mecella, M., Moha, N. & Paik, H.-Y. (eds.). Springer Science and Business Media Deutschland GmbH, p. 116-132 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13121 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review