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.
-
G. A. Pierro, H. Rocha, R. Tonelli and S. Ducasse, Are the Gas Prices Oracle Reliable? A Case Study using the EthGasStation, 2020 IEEE International Workshop on Blockchain Oriented Software Engineering (IWBOSE), 1-8, 2020, DOI, PDF.
-
Giuseppe Antonio Pierro, Henriche Rocha, Stéphane Ducasse, Michele Marchesi and Roberto Tonelli, A user-oriented model for Oracles' Gas price prediction, Future Generation Computer Systems, 2021, 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.