Dr 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.nzRoom: G.1.07
Phone: +64 7 838 4547