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). 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. doi:10.1145/3397873
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.
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
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 DBravo-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
Reeves, S. (2019). Usable-by-construction. In CEUR Workshop Proceedings Vol. 2503 (pp. 18-26).
Other publications by:
REEVES, Stephen V (Steve)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)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
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)