Dr Judy Bowen
Associate Dean Academic &
Senior Lecturer (Computer Science)
Qualifications: GradDipInfoTech MSc PhD Waikato
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.
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