4 citations · 9 across the 7 of their papers we have counts for
7 papers
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…
Multi-Agent eXperimenter (MAX)
Önder Gürcan
We present a novel multi-agent simulator named Multi-Agent eXperimenter (MAX) that is designed to simulate blockchain experiments involving large numbers of agents of different typ…
Multi-Agent Optimization for Safety Analysis of Cyber-Physical Systems: Position Paper
Önder Gürcan, Nataliya Yakymets, Sara Tucci-Piergiovanni +1
Failure Mode, Effects and Criticality Analysis (FMECA) is one of the safety analysis methods recommended by most of the international standards. The classical FMECA is made in a fo…
Towards Secure and Trusted-by-Design Smart Contracts
Zaynah Dargaye, Önder Gürcan, Florent Kirchner +1
Distributed immutable ledgers, or blockchains, allow the secure digitization of evidential transactions without relying on a trusted third-party. Evidential transactions involve th…
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…
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…