Breadcrumbs

Dr Judy Bowen

Judy Bowen

Senior Lecturer (Computer Science)

Qualifications: GradDipInfoTech MSc PhD Waikato

Personal Website: http://www.cs.waikato.ac.nz/~jbowen/

Papers Taught

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.

Recent Publications

  • Distante, D., Winckler, M., Bernhaupt, R., Bowen, J., Campos, J. C., Müller, F., . . . Voit, A. (2019). Trends on Engineering Interactive Systems: An overview of works presented in workshops at EICS 2019. In Proc ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'19) (pp. 22:1-22:6). New York, NY, USA: ACM. doi:10.1145/3319499.3335655

  • 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). Putrajaya, Malaysia.

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

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

Find more research publications by Judy Bowen

Keywords

Computing; Data; Formal Methods; Human Computer Interaction; Software Engineering


Contact Details

Email: jbowen@waikato.ac.nz
Room: G.1.07
Phone: +64 7 838 4547