We are working on tools and analyses for blockchain.
-
Santiago Bragagnolo, Henrique Rocha, Marcus Denker and Stéphane Ducasse, SmartInspect: solidity smart contract inspector, 2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE), 9-18, 2018, DOI, PDF.
-
Santiago Bragagnolo, Henrique Rocha, Marcus Denker and Stéphane Ducasse, Ethereum Query Language, 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), 1-8, 2018, DOI, PDF.
-
Stéphane Ducasse, Henrique Rocha, Santiago Bragagnolo, Marcus Denker and Clément Francomme, SmartAnvil: Open-Source Tool Suite for Smart Contract Analysis, Blockchain and Web 3.0: Social, economic, and technological challenges, Routledge, 2019, PDF.
-
Henrique Rocha, Stéphane Ducasse, Marcus Denker and Jason Lecerf, Solidity Parsing Using SmaCC: Challenges and Irregularities, Proceedings of the 12th Edition of the International Workshop on Smalltalk Technologies, 2:1–2:9, ACM, 2017, DOI, PDF.
-
Santiago Bragagnolo, Henrique Rocha, Marcus Denker and Stéphane Ducasse, SmartInspect: Smart Contract Inspection Technical Report, 2017, PDF.
-
Henrique Rocha and Stéphane Ducasse, Preliminary Steps Towards Modeling Blockchain Oriented Software, 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), 1-6, 2018, DOI, PDF.