A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts
Garfatta, Ikram, Klai, Kais, Graiet, Mohamed, Gaaloul, Walid
Published in 2021 IEEE 30th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) (01.10.2021)
Published in 2021 IEEE 30th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) (01.10.2021)
Get full text
Conference Proceeding
[WiP] Formal Modelling of IT Resource Allocation in Business Processes
Garfatta, Ikram, Klai, Kais, Graiet, Mohamed, Gaaloul, Walid
Published in 2018 IEEE 11th Conference on Service-Oriented Computing and Applications (SOCA) (01.11.2018)
Published in 2018 IEEE 11th Conference on Service-Oriented Computing and Applications (SOCA) (01.11.2018)
Get full text
Conference Proceeding