Judy Bowen

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 39

Top Topics

Interactive Systems

Human Computer Interaction

Top Venues

Proc. ACM Hum. Comput. Interact.

Publications

Jadon Miller, Mitchell A. Head, Mahonri W. Owen, Merel Cornelie Janna Hoskens, Jemma L. König, Judy Bowen
First Do No Harm: Cultural and Ethical Impacts of User Studies. OZCHI (2023)
Jemma L. König, Jascha Penaredondo, Emily McCullagh, Judy Bowen, Annika Hinze
Let's Make it Accessible: The Challenges Of Working With Low-cost Commercially Available Wearable Devices. OZCHI (2023)
Judy Bowen, Jessica Turner
Interactive System Modelling for the Internet of Things. Proc. ACM Hum. Comput. Interact. 7 (EICS) (2023)
Judy Bowen, Benjamin Weyers, Bowen Liu
Creating Formal Models from Informal Design Artefacts. Int. J. Hum. Comput. Interact. 39 (15) (2023)
Jemma L. König, Annika Hinze, Judy Bowen
Workload categorization for hazardous industries: The semantic modelling of multi-modal physiological data. Future Gener. Comput. Syst. 141 (2023)
Judy Bowen, Annika Hinze
Participatory Data Design: Managing Data Sovereignty in IoT Solutions. Interact. Comput. 34 (2) (2022)
Judy Bowen, Annika Hinze
Designing for Inaccessible People and Places. INTERACT (4) (2021)
Yamine Aït Ameur, Judy Bowen, José Creissac Campos, Philippe A. Palanque, Benjamin Weyers
Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems. Interact. Comput. 33 (1) (2021)
Judy Bowen, Diana Coben
Using Task Models to Understand the Intersection of Numeracy Skills and Technical Competence With Medical Device Design. Interact. Comput. 33 (1) (2021)
Jessica Turner, Judy Bowen, Nikki van Zandwijk
Interaction Modelling for IoT. APSEC (2021)
Judy Bowen, Anke Dittmar, Benjamin Weyers
Task Modelling for Interactive System Design: A Survey of Historical Trends, Gaps and Future Needs. Proc. ACM Hum. Comput. Interact. 5 (EICS) (2021)
Judy Bowen, Helen Petrie, Annika Hinze, Sanjit Samaddar
Personas revisited: Extending the Use of Personas to Enhance Participatory Design. NordiCHI (2020)
Jessica Turner, Judy Bowen, Steve Reeves
Model-based Testing of Interactive Systems using Interaction Sequences. Proc. ACM Hum. Comput. Interact. 4 (EICS) (2020)
Jessica Turner, Judy Bowen, Steve Reeves
SeqCheck: a model checking tool for interactive systems. EICS (2020)
Judy Bowen, Marco Winckler, Jean Vanderdonckt
A Glimpse into the Past, Present, and Future of Engineering Interactive Computing Systems. Proc. ACM Hum. Comput. Interact. 4 (EICS) (2020)
Judy Bowen, Annika Hinze
Smarter Software Engineering Methods for Smart Environments. EICS Workshops (2019)
Sapna Jaidka, Steve Reeves, Judy Bowen
Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets. FM Workshops (1) (2019)
Sapna Jaidka, Steve Reeves, Judy Bowen
A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems. APSEC (2019)
Damiano Distante, Marco Winckler, Regina Bernhaupt, Judy Bowen, José Creissac Campos, Florian Müller, Philippe A. Palanque, Jan Van den Bergh, Benjamin Weyers, Alexandra Voit
Trends on engineering interactive systems: an overview of works presented in workshops at EICS 2019. EICS (2019)
Holger Ziekow, Annika Hinze, Judy Bowen
Managing Application-level QoS for IoT Stream Queries in Hazardous Outdoor Environments. IoTBDS (2019)
Judy Bowen, Steve Reeves
Engineering Interactive Systems with Model-Driven Code Contracts. ASWEC (2018)
Jessica Turner, Judy Bowen, Steve Reeves
Simulating Interaction Sequences. EICS (2018)
Carole Chang, Annika Hinze, Judy Bowen, Leah Gilbert, Nicola Starkey
Mymemory: A mobile memory assistant for people with traumatic brain injury. Int. J. Hum. Comput. Stud. 117 (2018)
Judy Bowen, Swikrit Khanal
Test Stub Generation from Interaction and Behavioural Models. EICS (2018)
Jessica Turner, Judy Bowen, Steve Reeves
Using Abstraction with Interaction Sequences for Interactive System Modelling. STAF Workshops (2018)
Judy Bowen, Anke Dittmar
Formal Definitions for Design Spaces and Traces. APSEC (2017)
Sapna Jaidka, Steve Reeves, Judy Bowen
Modelling safety-critical devices: coloured petri nets and Z. EICS (2017)
Leah Gilbert, Annika Hinze, Judy Bowen
Augmented Reality Game for People with Traumatic Brain Injury: Concept and Prototypical Exploration. ICCAE (2017)
Judy Bowen, Anke Dittmar
Identifying the Interplay of Design Artifacts and Decisions in Practice: A Case Study. INTERACT (1) (2017)
Judy Bowen, Annika Hinze, Christopher Griffiths, Vimal Kumar, David Bainbridge
Personal Data Collection in the Workplace: Ethical and Technical Challenges. BCS HCI (2017)
Anke Dittmar, Judy Bowen
Understanding Active Non-Use through the Framework of Complex Design Spaces. ECCE (2017)
Jessica Turner, Judy Bowen, Steve Reeves
Supporting interactive system testing with interaction sequences. EICS (2017)
Judy Bowen, Anke Dittmar
Coping with Design Complexity: A Conceptual Framework for Design Alternatives and Variants. INTERACT (1) (2017)
Judy Bowen, Steve Reeves
Generating Obligations, Assertions and Tests from UI Models. Proc. ACM Hum. Comput. Interact. 1 (EICS) (2017)
Christopher Griffiths, Judy Bowen, Annika Hinze
Investigating Wearable Technology for Fatigue Identification in the Workplace. INTERACT (2) (2017)
Judy Bowen, Anke Dittmar
A semi-formal framework for describing interaction design spaces. EICS (2016)
Sally Jo Cunningham, David M. Nichols, Annika Hinze, Judy Bowen
What's news? Encounters with news in everyday life: a study of behaviours and attitudes. Int. J. Digit. Libr. 17 (3) (2016)
Sally Jo Cunningham, David M. Nichols, Judy Bowen
Students and Their Videos: Implications for a Video Digital Library. ICADL (2016)
Sally Jo Cunningham, David M. Nichols, Judy Bowen
Personal Video Collection Management Behavior. JCDL (2016)
Benjamin Weyers, Judy Bowen, Alan J. Dix, Philippe A. Palanque
Workshop on formal methods in human computer interaction. EICS (2015)
Judy Bowen, Steve Reeves
Design Patterns for Models of Interactive Systems. ASWEC (2015)
Sally Jo Cunningham, David M. Nichols, Annika Hinze, Judy Bowen
Digital News Resources: An Autoethnographic Study of News Encounters. TPDL (2015)
Judy Bowen
Creating models of interactive systems with the support of lightweight reverse-engineering tools. EICS (2015)
Judy Bowen, Annika Hinze, Sally Jo Cunningham, Richard Parker
Evaluating Low-cost Activity Trackers for Use in Large-scale Data Gathering of Forestry Workers. OZCHI (2015)
Judy Bowen, Annika Hinze, Selina Reid
Model-driven tools for medical device selection. EICS (2014)
Judy Bowen, Steve Reeves
A Simplified Z Semantics for Presentation Interaction Models. FM (2014)
Carole Chang, Annika Hinze, Judy Bowen, Nicola Starkey
Designing a mobile augmented memory system for people with Traumatic Brain Injuries. CogInfoCom (2014)
Judy Bowen, Steve Reeves
UI-design driven model-based testing. Innov. Syst. Softw. Eng. 9 (3) (2013)
Judy Bowen, Steve Reeves
Preface to the proceedings of FMIS 2013. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013)
Judy Bowen, Steve Reeves
Formal methods for interactive system: (FMIS 2013). EICS (2013)
Judy Bowen, Steve Reeves
Modelling safety properties of interactive medical systems. EICS (2013)
Judy Bowen, Steve Reeves, Andrea Schweer
A Tale of Two Studies. AUIC (2013)
Judy Bowen, Annika Hinze
Using ontologies to reason about the usability of interactive medical devices in multiple situations of use. EICS (2012)
Judy Bowen, Steve Reeves
Modelling user manuals of modal medical devices and learning from the experience. EICS (2012)
Judy Bowen, Steve Reeves
UI-driven test-first development of interactive systems. EICS (2011)
Judy Bowen, Annika Hinze
Supporting Mobile Application Development with Model-Driven Emulation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011)
Judy Bowen, Steve Reeves
Preface for FMIS 2011. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011)
Judy Bowen, Steve Reeves
Developing usability studies via formal models of UIs. EICS (2010)
Annika Hinze, Judy Bowen, Yuting Wang, Robi Malik
Model-driven GUI & interaction design using emulation. EICS (2010)
Judy Bowen, Steve Reeves
UI-Design Driven Model-Based Testing. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009)
Judy Bowen, Steve Reeves
Supporting Multi-path UI Development with Vertical Refinement. Australian Software Engineering Conference (2009)
Judy Bowen, Steve Reeves
Refinement for user interface designs. Formal Aspects Comput. 21 (6) (2009)
Judy Bowen, Steve Reeves
Formal models for user interface design artefacts. Innov. Syst. Softw. Eng. 4 (2) (2008)
Judy Bowen, Steve Reeves
Refinement for User Interface Designs. Electron. Notes Theor. Comput. Sci. 208 (2008)
Judy Bowen, Steve Reeves
Using formal models to design user interfaces: a case study. BCS HCI (1) (2007)
Judy Bowen, Steve Reeves
Formal Models for Informal GUI Designs. Electron. Notes Theor. Comput. Sci. 183 (2007)
Judy Bowen, Steve Reeves
Formal Refinement of Informal GUI Design Artefacts. ASWEC (2006)
Judy Bowen, Steve Reeves
Including Design Guidelines in the Formal Specification of Interfaces in Z. ZB (2005)