Software engineering for the blockchain

We are working on tools and analyses for blockchain.
    1. 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.
    2. 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.
    3. 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.
    4. 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.
    5. Santiago Bragagnolo, Henrique Rocha, Marcus Denker and Stéphane Ducasse, SmartInspect: Smart Contract Inspection Technical Report, 2017, PDF.
    6. 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.