Mohamed Graet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2021–2022
Best venue rank
Multiconference
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | SAC | Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach. | Ikram Garfatta, Kas Klai, Mohamed Graet, Walid Gaaloul |
| 2021 | ICSOC | Model Checking of Solidity Smart Contracts Adopted for Business Processes. | Ikram Garfatta, Kas Klai, Mohamed Graet, Walid Gaaloul |
| 2021 | WETICE | A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts. | Ikram Garfatta, Kas Klai, Mohamed Graet, Walid Gaaloul |