Passer à la navigation principale Passer à la recherche Passer au contenu principal
Aucune photo de Ikram Garfatta

Voir le profil Scopus

Ikram Garfatta

Post-doc

20182025

Résultat de recherche par an

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où Ikram Garfatta est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
  • 1 Profils similaires
Afficher l'empreinte digitale dans sa totalité

Collaborations et principaux domaines de recherche des cinq dernières années

Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
Explorer davantage le réseau
  • 12 Contribution à une conférence

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

    Garfatta, I., Klai, K. & Gaaloul, W., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • Multi-perspective Conformance Checking for Email-Driven Processes

    Bou Nader, R., Garfatta, I., Elleuch, M., Gaaloul, W. & Taher, Y., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • Predictive Process Approach for Email Response Recommendations

    Nader, R. B., Elleuch, M., Garfatta, I., Gaaloul, W. & Benatallah, B., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

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

    Garfatta, I., Klai, K. & Gaaloul, W., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • Towards Formal Verification of Node RED-Based IoT Applications

    Garfatta, I., Souid, N. E. & Klai, K., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • Model Checking of Vulnerabilities in Smart Contracts: A Solidity-to-CPN Approach

    Garfatta, I., Klai, K., Graïet, M. & Gaaloul, W., 25 avr. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

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

    Garfatta, I., Klai, K., Graiet, M. & Gaaloul, W., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • A Survey on Formal Verification for Solidity Smart Contracts

    Garfatta, I., Klai, K., Gaaloul, W. & Graiet, M., 1 févr. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

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

    Garfatta, I., Klai, K., Graïet, M. & Gaaloul, W., 1 janv. 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; Vol 12632 LNCS).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • Model Checking of Solidity Smart Contracts Adopted for Business Processes

    Garfatta, I., Klai, K., Graïet, M. & Gaaloul, W., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Tout afficher 12 résultat de recherche