Research Publications for Stephen V (Steve) Reeves
Welcome to the University of Waikato research publications search. This database includes all research publications produced by the University from 1998.
Author's Publications
Search our Staff Profiles to contact our current staff members.
BRITTEN, D., Reeves, S., & Sjöberg, V. (2021). Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts. In B. Bernardo, & D. Marmsoler (Eds.), Proc 3rd International Workshop on Formal Methods for Blockchains (FMBC 2021), OASICS Vol. 95 (pp. 3 pages). doi:10.4230/OASIcs.FMBC.2021.3
Open Access version at:
https://hdl.handle.net/10289/14688
Other publications by:
REEVES, Stephen V (Steve)Reeves, S. (2021). Usable-by-Construction a formal framework: Computer Science Working Paper Series (04/2021). University of Waikato.
Open Access version at:
https://hdl.handle.net/10289/14307
Other publications by:
REEVES, Stephen V (Steve)Turner, J., Bowen, J., & Reeves, S. (2020). SeqCheck: a model checking tool for interactive systems. In J. Bowen, J. Vanderdonckt, & M. Winckler (Eds.), Proc 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'20) (pp. 1-6). Sophia Antipolis, France: ACM. doi:10.1145/3393672.3398639
Other publications by:
TURNER, Jessica D :: BOWEN, Judith A (Judy) :: BOWEN, Judith A (Judy)REEVES, Stephen V (Steve)Turner, J., Bowen, J., & Reeves, S. (2020). Model-based testing of interactive systems using interaction sequences. Proceedings of the ACM on Human-Computer Interaction, 4(EICS). doi:10.1145/3397873
Bravo-Marquez, F., Reeves, S., & Ugarte, M. (2019). Proof-of-learning: A blockchain consensus mechanism based on machine learning competitions. In Proc 2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON 2019) (pp. 119-124). East Bay, San Francisco, California, USA: IEEE. doi:10.1109/DAPPCON.2019.00023
Open Access version at:
https://hdl.handle.net/10289/12900
Other publications by:
BRAVO MARQUEZ, Felipe :: REEVES, Stephen V (Steve)Jaidka, S., Reeves, S., & Bowen, J. (2019). A coloured petri net approach for modelling and analyzing safety-critical interactive systems. In Proc 26th Asia-Pacific Software Engineering Conference (APSEC 2019) (pp. 347-354). Putrajaya, Malaysia. doi:10.1109/APSEC48747.2019.00054
Open Access version at:
https://hdl.handle.net/10289/13631
Other publications by:
JAIDKA, Sapna :: REEVES, Stephen V (Steve) :: BOWEN, Judith A (Judy)Reeves, S. (2019). Usable-by-construction. In CEUR Workshop Proceedings Vol. 2503 (pp. 18-26).
Other publications by:
REEVES, Stephen V (Steve)Jaidka, S., Reeves, S., & Bowen, J. (2019). Formal modelling of safety-critical interactive devices using coloured petri nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 12232 LNCS (pp. 465-485). Porto, Portugal. doi:10.1007/978-3-030-54994-7_34
Watson, N., Reeves, S., & Masci, P. (2018). Integrating user design and formal models within PVSio-Web. Electronic Proceedings in Theoretical Computer Science, EPTCS, 284, 95-104. doi:10.4204/EPTCS.284.8
Other publications by:
REEVES, Stephen V (Steve)Bowen, J., & Reeves, S. (2018). Engineering interactive systems with model-driven code contracts. In Proceedings - 25th Australasian Software Engineering Conference, ASWEC 2018 (pp. 11-20). doi:10.1109/ASWEC.2018.00010
See Also: Research Links | Student Research Theses | Research Commons