Workshop IWBOSE 2018 – Author Index

B C D F H L M O R T W Z

	Bracciali, Andrea	IWBOSE '18: "Smart Contracts Vulnerabilities: ..." 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}, }
	Bragagnolo, Santiago	IWBOSE '18: "SmartInspect: Solidity Smart ..." 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}, }
	Chepurnoy, Alexander	IWBOSE '18: "Checking Laws of the Blockchain ..." 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}, }
	Denker, Marcus	IWBOSE '18: "SmartInspect: Solidity Smart ..." 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}, }
	Destefanis, Giuseppe	IWBOSE '18: "Smart Contracts Vulnerabilities: ..." 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}, }
	Ducasse, Stéphane	IWBOSE '18: "SmartInspect: Solidity Smart ..." 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}, }
	Fenu, Gianni	IWBOSE '18: "The ICO Phenomenon and Its ..." 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}, }
	Hartmann, Felix	IWBOSE '18: "Evaluation of Initial Cryptoasset ..." 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}, }
	Hierons, Robert	IWBOSE '18: "Smart Contracts Vulnerabilities: ..." 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}, }
	Lunesu, Maria Ilaria	IWBOSE '18: "Evaluation of Initial Cryptoasset ..." 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}, }
	Marchesi, Lodovica	IWBOSE '18: "The ICO Phenomenon and Its ..." 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}, }
	Marchesi, Michele	IWBOSE '18: "Why Blockchain Is Important ..." 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}, } IWBOSE '18: "Smart Contracts Vulnerabilities: ..." 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}, } IWBOSE '18: "The ICO Phenomenon and Its ..." 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}, }
	Ortu, Marco	IWBOSE '18: "Smart Contracts Vulnerabilities: ..." 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}, }
	Rathee, Mayank	IWBOSE '18: "Checking Laws of the Blockchain ..." 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}, }
	Rocha, Henrique	IWBOSE '18: "SmartInspect: Solidity Smart ..." 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}, }
	Tonelli, Roberto	IWBOSE '18: "Smart Contracts Vulnerabilities: ..." 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}, } IWBOSE '18: "The ICO Phenomenon and Its ..." 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}, }
	Wang, Xiaofeng	IWBOSE '18: "Evaluation of Initial Cryptoasset ..." 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}, }
	Wöhrer, Maximilian	IWBOSE '18: "Smart Contracts: Security ..." Smart Contracts: Security Patterns in the Ethereum Ecosystem and Solidity Maximilian Wöhrer and Uwe Zdun (University of Vienna, Austria) @InProceedings{IWBOSE18p2, author = {Maximilian Wöhrer and Uwe Zdun}, title = {Smart Contracts: Security Patterns in the Ethereum Ecosystem and Solidity}, booktitle = {Proc.\ IWBOSE}, publisher = {IEEE}, pages = {2-1}, doi = {}, year = {2018}, }
	Zdun, Uwe	IWBOSE '18: "Smart Contracts: Security ..." Smart Contracts: Security Patterns in the Ethereum Ecosystem and Solidity Maximilian Wöhrer and Uwe Zdun (University of Vienna, Austria) @InProceedings{IWBOSE18p2, author = {Maximilian Wöhrer and Uwe Zdun}, title = {Smart Contracts: Security Patterns in the Ethereum Ecosystem and Solidity}, booktitle = {Proc.\ IWBOSE}, publisher = {IEEE}, pages = {2-1}, doi = {}, year = {2018}, }

22 authors

proc time: 0.02