Powered by
2018 IEEE 1st International Workshop on Blockchain Oriented Software Engineering (IWBOSE), March 20, 2018,
Campobasso, Italy
2018 IEEE 1st International Workshop on Blockchain Oriented Software Engineering (IWBOSE)
Frontmatter
Keynote
Why Blockchain Is Important for Software Developers, and Why Software Engineering Is Important for Blockchain Software (Keynote)
Michele Marchesi
(University of Cagliari, Italy)
@InProceedings{IWBOSE18p1,
author = {Michele Marchesi},
title = {Why Blockchain Is Important for Software Developers, and Why Software Engineering Is Important for Blockchain Software (Keynote)},
booktitle = {Proc.\ IWBOSE},
publisher = {IEEE},
pages = {1-0},
doi = {},
year = {2018},
}
Smart Contracts
SmartInspect: Solidity Smart Contract Inspector
Santiago Bragagnolo,
Henrique Rocha,
Marcus Denker, and
Stéphane Ducasse
(Inria, France)
@InProceedings{IWBOSE18p14,
author = {Santiago Bragagnolo and Henrique Rocha and Marcus Denker and Stéphane Ducasse},
title = {SmartInspect: Solidity Smart Contract Inspector},
booktitle = {Proc.\ IWBOSE},
publisher = {IEEE},
pages = {14-13},
doi = {},
year = {2018},
}
Smart Contracts Vulnerabilities: A Call for Blockchain Software Engineering?
Giuseppe Destefanis,
Michele Marchesi,
Marco Ortu,
Roberto Tonelli,
Andrea Bracciali, and
Robert Hierons
(University of Hertfordshire, UK; University of Cagliari, Italy; University of Stirling, UK; Brunel University London, UK)
@InProceedings{IWBOSE18p26,
author = {Giuseppe Destefanis and Michele Marchesi and Marco Ortu and Roberto Tonelli and Andrea Bracciali and Robert Hierons},
title = {Smart Contracts Vulnerabilities: A Call for Blockchain Software Engineering?},
booktitle = {Proc.\ IWBOSE},
publisher = {IEEE},
pages = {26-25},
doi = {},
year = {2018},
}
ICOs and Blockchain
The ICO Phenomenon and Its Relationships with Ethereum Smart Contract Environment
Gianni Fenu,
Lodovica Marchesi,
Michele Marchesi, and
Roberto Tonelli
(University of Cagliari, Italy)
@InProceedings{IWBOSE18p38,
author = {Gianni Fenu and Lodovica Marchesi and Michele Marchesi and Roberto Tonelli},
title = {The ICO Phenomenon and Its Relationships with Ethereum Smart Contract Environment},
booktitle = {Proc.\ IWBOSE},
publisher = {IEEE},
pages = {38-37},
doi = {},
year = {2018},
}
Evaluation of Initial Cryptoasset Offerings: The State of the Practice
Felix Hartmann,
Xiaofeng Wang, and
Maria Ilaria Lunesu
(Free University of Bolzano, Italy; University of Cagliari, Italy)
@InProceedings{IWBOSE18p50,
author = {Felix Hartmann and Xiaofeng Wang and Maria Ilaria Lunesu},
title = {Evaluation of Initial Cryptoasset Offerings: The State of the Practice},
booktitle = {Proc.\ IWBOSE},
publisher = {IEEE},
pages = {50-49},
doi = {},
year = {2018},
}
Checking Laws of the Blockchain with Property-Based Testing
Alexander Chepurnoy and
Mayank Rathee
(Ergo Platform, Russia; IOHK Research, Russia; IIT Varanasi, India; Banaras Hindu University, India)
@InProceedings{IWBOSE18p62,
author = {Alexander Chepurnoy and Mayank Rathee},
title = {Checking Laws of the Blockchain with Property-Based Testing},
booktitle = {Proc.\ IWBOSE},
publisher = {IEEE},
pages = {62-61},
doi = {},
year = {2018},
}
proc time: 0.01