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

Publications ByREEVES, Stephen V (Steve)

  Use our Online Phonebook to contact our current staff members.

  • 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

  • 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

  • Jaidka, S., Reeves, S., & Bowen, J. (2017). Modelling safety-critical devices: coloured Petri nets and Z. In 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. Lisbon, Portugal.

  • Potanin, A., Murphy, G. C., Reeves, S., & Dietrich, J. (2016). Proceedings of the 23rd Asian-Pacific Software Engineering Conference. In A. Potanin, G. C. Murphy, S. V. Reeves, & J. Dietrich (Eds.), Proc 23rd Asian-Pacific Software Engineering Conference. Hamilton, NZ: IEEE. doi:10.1109/APSEC.2016.004

  • Derrick, J., Boiten, E., & Reeves, S. (2016). Proceedings of the Seventeenth International Workshop on Refinement. In J. Derrick, E. A. Boiten, & S. Reeves (Eds.), Refine@FM 2015 Vol. EPTCS 209. Oslo, Norway. doi:10.4204/EPTCS.209

  • Rimba, P., Zhu, L., Bass, L., Kuz, I., & Reeves, S. V. (2015). Composing patterns to construct secure systems. In Proc 11th European Dependable Computing Conference (pp. 213-224). Paris, France: IEEE. doi:10.1109/EDCC.2015.12

  • Bowen, J., & Reeves, S. V. (2015). Design patterns for models of interactive systems. In Proc 24th Australasian Software Engineering Conference (pp. 223-232). Adelaide, Australia: IEEE. doi:10.1109/ASWEC.2015.30

  • Pilbrow, C., & Reeves, S. V. (2015). Using state machines for the visualisation of specifications via refinement. In F. -C. Kuo, S. Marshall, H. Shen, M. Stumptner, & M. Ali Babar (Eds.), Proc 24th Australasian Software Engineering Conference, Vol II Vol. II (pp. 106-110). Adelaide, Australia: ACM. doi:10.1145/2811681.2811702

  • Bowen, J., & Reeves, S. (2014). A simplified Z semantics for presentation interaction models. In C. Jones, P. Pihlajasaari, & J. Sun (Eds.), Proc 19th International Symposium on Formal Methods Vol. LNCS 8442 (pp. 148-162). Singapore: Springer International Publishing. doi:10.1007/978-3-319-06410-9_11

  • Boiten, E. A., Derrick, J., & Reeves, S. (2014). Editorial. Formal Aspects of Computing, 26(2), 195. doi:10.1007/s00165-014-0293-z

This page has been reformatted for printing.