Blockchains

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 …

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.

Blockchain pour le nucléaire. focus sur le projet I3P CyberQL (Cybersécurité et Qualité Logiciel)

A talk discussing the potential of using agent-based modeling and simulation for studying the usage of blockchain for nuclear systems.

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

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

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

In this short paper, we claim that there is a need for a simulation framework, which is develop as a software using mo- dern engineering approaches (e.g., modularity - i.e. model reuse-, testing, continuous development and continuous integration, …