Mohamed Graiet

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Kaïs Klai

> Home > Persons > Mohamed Graiet

Publications

2022
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/GarfattaKGG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/GarfattaKGG22
Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul:
Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach. SAC 2022: 316-325
2021
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/acsw/GarfattaKGG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsw/GarfattaKGG21
Ikram Garfatta, Kais Klai, Walid Gaaloul, Mohamed Graiet:
A Survey on Formal Verification for Solidity Smart Contracts. ACSW 2021: 3:1-3:10
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoc/GarfattaKGG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/GarfattaKGG21
Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul:
Model Checking of Solidity Smart Contracts Adopted for Business Processes. ICSOC 2021: 116-132
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/GarfattaKGG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/GarfattaKGG21
Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul:
A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts. WETICE 2021: 69-74
2018
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/otm/GarfattaKGG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/otm/GarfattaKGG18
Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul:
Formal Modelling and Verification of Cloud Resource Allocation in Business Processes. OTM Conferences (1) 2018: 552-567
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/soca/GarfattaKGG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soca/GarfattaKGG18
Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul:
[WiP] Formal Modelling of IT Resource Allocation in Business Processes. SOCA 2018: 227-232
2017
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoc/BoubakerKSGG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/BoubakerKSGG17
Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul:
Deadlock-Freeness Verification of Business Process Configuration Using SOG. ICSOC 2017: 96-112
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/GraietK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/GraietK17
Mohamed Graiet, Kais Klai:
Track Report for Formal Verification of Service Based Systems: FVSBS 2017. WETICE 2017: 238
2016
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/GraietK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/GraietK16
Mohamed Graiet, Kais Klai:
Track Report for Formal Verification of Service Based Systems: FVSBS 2016. WETICE 2016: 191
2015
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/GraietK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/GraietK15
Mohamed Graiet, Kais Klai:
FVSBS 2015 Track Report: Formal Verification of Service Based Systems. WETICE 2015: 182
2014
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/GraietJK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/GraietJK14
Mohamed Graiet, Zied Jaoua, Kais Klai:
Track Report of Formal Verification of Service Based Systems (FVSBS 2014). WETICE 2014: 312

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.