View Profile

Steve Reeves

Professor, Software Engineering, School of Computing and mathematical Sciences · University of Waikato

https://researchid.co/stever
@waikato.ac.nz
98Scopus Publications

Research Interests

Formal methods Software Engineering Programming Languages Blockchain

Recent Scopus Publications

  1. Blockchain technology disruptions: Exploring accounting and auditing academics and practitioners' perception
    Accounting and Finance, 2024
  2. Provably Correct Smart Contracts: An Approach using DeepSEA
    Splash Companion 2022 Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems Programming Languages and Applications Software for Humanity, 2022
  3. Modelling a Blockchain for Smart Contract Verification using DeepSEA
    Ftscs 2022 Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety Critical Systems Co Located with Splash 2022, 2022
  4. Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts
    Openaccess Series in Informatics, 2021
  5. SeqCheck: A model checking tool for interactive systems
    Eics 2020 12th ACM Sig Chi Symposium on Engineering Interactive Computing Systems Proceedings, 2020

Links