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.
Turner, J., Bowen, J., & Reeves, S. (2020). Model-based testing of interactive systems using interaction sequences. Proceedings of the ACM on Human-Computer Interaction. doi:10.1145/3397873
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. D. (2019). Supporting Interactive system testing with interaction sequences. (PhD Thesis, University of Waikato, New Zealand). Retrieved from https://hdl.handle.net/10289/12310
Other publications by:
TURNER, Jessica :: BOWEN, Judith A (Judy) :: REEVES, Stephen V (Steve) :: TURNER, Jessica DReeves, S. (2019). Usable-by-construction. In CEUR Workshop Proceedings Vol. 2503 (pp. 18-26).
Other publications by:
REEVES, Stephen V (Steve)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
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
Jaidka, S., Reeves, S., & Bowen, J. (2019). Formal modelling of safety-critical interactive devices using coloured petri nets. In 8th Formal Methods for Interactive Systems Workshop (FMIS 2019). Porto, Portugal.
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)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)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