SANER 2018 Workshops
Workshops of the 2018 IEEE 25th International Conference on Software Analysis, Evolution, and Reengineering (SANER)
Powered by
Conference Publishing Consulting

2018 IEEE 1st International Workshop on Blockchain Oriented Software Engineering (IWBOSE), March 20, 2018, Campobasso, Italy

IWBOSE 2018 – Proceedings

Contents - Abstracts - Authors

2018 IEEE 1st International Workshop on Blockchain Oriented Software Engineering (IWBOSE)


Title Page
Message from the Chairs


Why Blockchain Is Important for Software Developers, and Why Software Engineering Is Important for Blockchain Software (Keynote)
Michele Marchesi
(University of Cagliari, Italy)

Smart Contracts

Smart Contracts: Security Patterns in the Ethereum Ecosystem and Solidity
Maximilian WöhrerORCID logo and Uwe Zdun
(University of Vienna, Austria)
SmartInspect: Solidity Smart Contract Inspector
Santiago BragagnoloORCID logo, Henrique RochaORCID logo, Marcus DenkerORCID logo, and Stéphane DucasseORCID logo
(Inria, France)
Smart Contracts Vulnerabilities: A Call for Blockchain Software Engineering?
Giuseppe Destefanis, Michele Marchesi, Marco Ortu, Roberto Tonelli, Andrea BraccialiORCID logo, and Robert Hierons
(University of Hertfordshire, UK; University of Cagliari, Italy; University of Stirling, UK; Brunel University London, UK)

ICOs and Blockchain

The ICO Phenomenon and Its Relationships with Ethereum Smart Contract Environment
Gianni FenuORCID logo, Lodovica Marchesi, Michele Marchesi, and Roberto Tonelli
(University of Cagliari, Italy)
Evaluation of Initial Cryptoasset Offerings: The State of the Practice
Felix HartmannORCID logo, Xiaofeng Wang, and Maria Ilaria Lunesu
(Free University of Bolzano, Italy; University of Cagliari, Italy)
Checking Laws of the Blockchain with Property-Based Testing
Alexander ChepurnoyORCID logo and Mayank RatheeORCID logo
(Ergo Platform, Russia; IOHK Research, Russia; IIT Varanasi, India; Banaras Hindu University, India)

proc time: 0.02