Software engineering for the blockchain

We are working on tools and analyses for blockchain.
    1. 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.
    2. S. Bragagnolo, H. Rocha, M. Denker and S. Ducasse, SmartInspect: solidity smart contract inspector, 2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE), 9-18, 2018, PDF, DOI.
    3. S. Bragagnolo, H. Rocha, M. Denker and S. Ducasse, Ethereum Query Language, 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), 1-8, 2018, PDF, DOI.
    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, PDF, DOI.
    5. Santiago Bragagnolo, Henrique Rocha, Marcus Denker and Stéphane Ducasse, SmartInspect: Smart Contract Inspection Technical Report, 2017, PDF.
    6. H. Rocha and S. Ducasse, Preliminary Steps Towards Modeling Blockchain Oriented Software, 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), 1-6, 2018, PDF, DOI.