Software engineering for the blockchain

We are working on tools and analyses for blockchain.
    1. 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.
    2. 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.
    3. 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, 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.