Steve Reeves
University of Waikato
H-index: 23
Oceania-New Zealand
Top articles of Steve Reeves
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Usable-by-Construction: a formal framework | arXiv preprint arXiv:2402.00218 | Steve Reeves | 2024/1/31 |
A Review of Computational Models of Trust | Stephen Cranefield Steve Reeves | 2023/9 | |
A Logic for Veracity | arXiv preprint arXiv:2302.06164 | Steve Reeves | 2023/2/13 |
Modelling a Blockchain for Smart Contract Verification using DeepSEA | Daniel Britten Steve Reeves | 2022/11/29 | |
Provably Correct Smart Contracts: An Approach using DeepSEA | Daniel Britten Vilhelm Sjöberg Steve Reeves | 2022/11/29 | |
Using coq to enforce the checks-effects-interactions pattern in DeepSea smart contracts | Daniel Britten Vilhelm Sjöberg Steve Reeves | 2021 | |
SeqCheck: a model checking tool for interactive systems | Jessica Turner Judy Bowen Steve Reeves | 2020/6/23 | |
Model-based testing of interactive systems using interaction sequences | Proceedings of the ACM on Human-Computer Interaction | Jessica Turner Judy Bowen Steve Reeves | 2020/6/18 |
Formal modelling of safety-critical interactive devices using coloured petri nets | Sapna Jaidka Steve Reeves Judy Bowen | 2020 |