Towards Formal Verification of Node RED-Based IoT Applications

von Garfatta, Ikram
Veröffentlicht in VECoS (16. : 2023 : Marrakesch) Verification and evaluation of computer and communication systems (2024)

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

von Garfatta, Ikram
Veröffentlicht in ICSOC (18. : 2020 : Online) Service-oriented computing - ICSOC 2020 Workshops (2021)

Model Checking of Solidity Smart Contracts Adopted for Business Processes

von Garfatta, Ikram
Veröffentlicht in ICSOC (19. : 2021 : Online) Service-oriented computing (2021)