Blockchains

On Using Blockchains for Beyond Visual Line of Sight (BVLOS) Drones: An Architectural Study

Beyond Visual Line of Sight operation enables drones to surpass the limits imposed by the reach and constraints of their operator's eyes. It extends their range and, as such, productivity, and profitability. Drones operating BVLOS include a variety …

Proof-of-Work as a Stigmergic Consensus Algorithm: Extended Abstract

In this paper, we make a theoretical analysis from a coordination perspective and conclude that the Proof-of-Work (PoW) algorithm is a stigmergic consensus algorithm where the trace left by an action in the blockchain through indirect coordination of …

Proceedings of the Third International Conference on Blockchain Computing and Applications (BCCA 2021)

On Using Agent-based Modeling and Simulation of Blockchain Systems

An invited talk discussing the potential of using agent-based modeling and simulation for robotic blockchain systems.

A Survey of Verification, Validation andTesting Solutions for Smart Contracts

Acceptance of blockchain-based distributed systems in industry requires a thorough justification of their depend- ability and security. To foster blockchain acceptance, this paper proposes a new engineering perspective rooted in classic tools and …

An Agent-Oriented, Blockchain-Based Design of the Interbank Money Market Trading System

When studying the interbank money market (IMM), it is common to model banks as agents interacting through loans to tackle its complexity. However, the use of agent abstraction in the IMM is mostly limited to some specific cases. Besides, recent …

Justifying the Dependability and Security of Business-Critical Blockchain-based Applications

Acceptance of blockchain-based distributed systems in industry requires a thorough justification of their depend- ability and security. To foster blockchain acceptance, this paper proposes a new engineering perspective rooted in classic tools and …

Modeling and Simulating Blockchain Systems

The short presentation discusses the potential of using agent-based modeling and simulation for studying blockchain systems.

Systèmes Distribués Sûrs et Résilients : des blockchains aux attaques adversaires

The short presentation discusses the potential of using agent-based modeling and simulation for studying cyber-security of systems.

On Using Agent-based Modeling and Simulation for Studying Blockchain Systems

The presentation of a short paper discussing the potential of using agent-based modeling and simulation for blockchain systems.