Research Publications for Stephen V (Steve) Reeves
Welcome to the University of Waikato research publications search page. This database includes all research publications produced by the University from 1998.
See Also: Research Links | Student Research Theses | Research Commons
Author's Publications
Use our Online Phonebook
to contact our current staff members.
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
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)Derrick, J., Dongol, B., & Reeves, S. (2018). Preface. Electronic Proceedings in Theoretical Computer Science, EPTCS, 282. doi:10.4204/EPTCS.282
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
Turner, J., Bowen, J., & Reeves, S. (2018). Using abstraction with interaction sequences for interactive system modelling. In M. Mazzara, I. Ober, & G. Salaün (Eds.), Proc STAF 2018 Collocated Workshops, Software Technologies: Applications and Foundations (FMIS 2018) Vol. LNCS 11176 (pp. 257-273). Conference held Toulouse, France: Springer. doi:10.1007/978-3-030-04771-9_20
Pilbrow, C., & Reeves, S. (2018). Characterising sound visualisations of specifications using micro-charts and refinement. In J. Lv, H. Zhang, M. Hinchey, & X. Liu (Eds.), Proc 24th Asia-Pacific Software Engineering Conference (APSEC 2017) (pp. 612-617). Conference held Nanjing, China. doi:10.1109/APSEC.2017.74
Open Access version at:
https://hdl.handle.net/10289/11948
Other publications by:
PILBROW, Colin G :: REEVES, Stephen V (Steve)Turner, J., Bowen, J., & Reeves, S. (2018). Simulating interaction sequences. In Proc 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2018) (pp. 8:1-8:7). New York, NY: ACM. doi:10.1145/3220134.3220139
Bowen, J., & Reeves, S. (2017). Combining models for interactive system modelling. In B. Weyers, J. Bowen, A. Dix, & P. Palanque (Eds.), The Handbook of Formal Methods in Human Computer Interaction (pp. 161-182). Springer. doi:10.1007/978-3-319-51838-1_6
Open Access version at:
https://hdl.handle.net/10289/11071
Other publications by:
BOWEN, Judith A (Judy) :: REEVES, Stephen V (Steve)Bowen, J., & Reeves, S. (2017). Generating obligations, assertions and tests from UI models. Proceedings of the ACM on Human-Computer Interaction - EICS, 1(1), 5:1-5:18. doi:10.1145/3095807
Jaidka, S., Reeves, S., & Bowen, J. (2017). Modelling safety-critical devices: coloured Petri nets and Z. In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (pp. 51-56). Conference held Lisbon, Portugal. doi:10.1145/3102113.3102125