Dr Judy Bowen

Associate Dean Academic &
Senior Lecturer (Computer Science)

Qualifications: GradDipInfoTech MSc PhD Waikato

Contact Details

Room: G.1.08
Phone: +64 7 838 4547
Extension: 4547

Research Interests

My research is in the area of the design and implementation of safety-critical interactive systems. I am particularly interested in the integration of informal user interface design methods with formal software development processes. I am also currently investigating the use of wearable technology to support workers in hazardous environments.

Teaching Commitments

Recent Publications

  • 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

  • Ziekow, H., Hinze, A., & Bowen, J. (2019). Managing application-level QoS for IoT stream queries in hazardous outdoor environments. In M. Ramachandran, R. J. Walters, G. Wills, V. M. Muñoz, & V. Chang (Eds.), Proc 4th International Conference on Internet of Things, Big Data and Security (IoTBDS 2019) (pp. 223-231). Heraklion, Crete.

  • Bowen, J., & Hinze, A. (2019). Smarter software engineering methods for smart environments. In 2nd Workshop on Charting the Way towards Methods and Tools for Advanced Interactive Systems at EICS 2019. Valencia, Spain.

  • 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.

Find more research publications by Judy Bowen