4 citations · 16 across the 21 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2024★ 2 cited
On Using Agent-based Modeling and Simulation for Studying Blockchain Systems
Önder Gürcan
There is a need for a simulation framework, which is develop as a software using modern engineering approaches (e.g., modularity --i.e., model reuse--, testing, continuous developm…
cs.SE2021
Justifying the Dependability and Security of Business-Critical Blockchain-based Applications
Pierre-Yves Piriou, Olivier Boudeville, Gilles Deleuze +2
In the industry, blockchains are increasingly used as the backbone of product and process traceability. Blockchain-based traceability participates in the demonstration of product a…
cs.SE2021★ 1 cited
A Survey of Verification, Validation and Testing Solutions for Smart Contracts
Chaïmaa Benabbou, Önder Gürcan
Smart contracts are programs stored on a blockchain that run when predetermined conditions are met. However, designing and implementing a smart contract is not trivial since upon d…