Mohamed Graïet

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 3

Top Topics

Business Process

Coloured Petri Nets

Top Venues

Publications

Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul
Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach. SAC (2022)
Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul
A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts. WETICE (2021)
Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul
Model Checking of Solidity Smart Contracts Adopted for Business Processes. ICSOC (2021)