Including Design Guidelines in the Formal Specification of Interfaces in Z. - Judy Bowen; Steve Reeves (ZB, 2005)

Formal Refinement of Informal GUI Design Artefacts. - Judy Bowen; Steve Reeves (ASWEC, 2006)

Formal Models for Informal GUI Designs. - Judy Bowen; Steve Reeves (FMIS@ICFEM, 2006)

Using formal models to design user interfaces: a case study. - Judy Bowen; Steve Reeves (BCS HCI (1), 2007)

Formal models for user interface design artefacts. - Judy Bowen; Steve Reeves (Innov. Syst. Softw. Eng., 2008)

Supporting Multi-path UI Development with Vertical Refinement. - Judy Bowen; Steve Reeves (Australian Software Engineering Conference, 2009)

Refinement for user interface designs. - Judy Bowen; Steve Reeves (Formal Aspects Comput., 2009)

Developing usability studies via formal models of UIs. - Judy Bowen; Steve Reeves (EICS, 2010)

Model-driven GUI & interaction design using emulation. - Annika Hinze; Judy Bowen; Yuting Wang; Robi Malik (EICS, 2010)

UI-driven test-first development of interactive systems. - Judy Bowen; Steve Reeves (EICS, 2011)

Supporting Mobile Application Development with Model-Driven Emulation. - Judy Bowen; Annika Hinze (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Preface for FMIS 2011. - Judy Bowen; Steve Reeves (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Using ontologies to reason about the usability of interactive medical devices in multiple situations of use. - Judy Bowen; Annika Hinze (EICS, 2012)

Modelling user manuals of modal medical devices and learning from the experience. - Judy Bowen; Steve Reeves (EICS, 2012)

A Tale of Two Studies. - Judy Bowen; Steve Reeves; Andrea Schweer (AUIC, 2013)

Modelling safety properties of interactive medical systems. - Judy Bowen; Steve Reeves (EICS, 2013)

Formal methods for interactive system: (FMIS 2013). - Judy Bowen; Steve Reeves (EICS, 2013)

Preface to the proceedings of FMIS 2013. - Judy Bowen; Steve Reeves (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

UI-design driven model-based testing. - Judy Bowen; Steve Reeves (Innov. Syst. Softw. Eng., 2013)

Designing a mobile augmented memory system for people with Traumatic Brain Injuries. - Carole Chang; Annika Hinze; Judy Bowen; Nicola Starkey (CogInfoCom, 2014)

Model-driven tools for medical device selection. - Judy Bowen; Annika Hinze; Selina Reid (EICS, 2014)

A Simplified Z Semantics for Presentation Interaction Models. - Judy Bowen; Steve Reeves (FM, 2014)

Design Patterns for Models of Interactive Systems. - Judy Bowen; Steve Reeves (ASWEC, 2015)

Creating models of interactive systems with the support of lightweight reverse-engineering tools. - Judy Bowen (EICS, 2015)

Workshop on formal methods in human computer interaction. - Benjamin Weyers; Judy Bowen; Alan J. Dix; Philippe A. Palanque (EICS, 2015)

Digital News Resources: An Autoethnographic Study of News Encounters. - Sally Jo Cunningham; David M. Nichols; Annika Hinze; Judy Bowen (TPDL, 2015)

Evaluating Low-cost Activity Trackers for Use in Large-scale Data Gathering of Forestry Workers. - Judy Bowen; Annika Hinze; Sally Jo Cunningham; Richard Parker (OZCHI, 2015)

A semi-formal framework for describing interaction design spaces. - Judy Bowen; Anke Dittmar (EICS, 2016)

Students and Their Videos: Implications for a Video Digital Library. - Sally Jo Cunningham; David M. Nichols; Judy Bowen (ICADL, 2016)

Personal Video Collection Management Behavior. - Sally Jo Cunningham; David M. Nichols; Judy Bowen (JCDL, 2016)

What's news? Encounters with news in everyday life: a study of behaviours and attitudes. - Sally Jo Cunningham; David M. Nichols; Annika Hinze; Judy Bowen (Int. J. Digit. Libr., 2016)

Topics of Formal Methods in HCI. - Judy Bowen; Alan J. Dix; Philippe A. Palanque; Benjamin Weyers (Handbook of Formal Methods in Human-Computer Interaction, 2017)

Reasoning About Interactive Systems in Dynamic Situations of Use. - Judy Bowen; Annika Hinze (Handbook of Formal Methods in Human-Computer Interaction, 2017)

Combining Models for Interactive System Modelling. - Judy Bowen; Steve Reeves (Handbook of Formal Methods in Human-Computer Interaction, 2017)

Trends and Gaps. - Alan J. Dix; Benjamin Weyers; Judy Bowen; Philippe A. Palanque (Handbook of Formal Methods in Human-Computer Interaction, 2017)

State of the Art on Formal Methods for Interactive Systems. - Raquel Oliveira Prates; Philippe A. Palanque; Benjamin Weyers; Judy Bowen; Alan J. Dix (Handbook of Formal Methods in Human-Computer Interaction, 2017)

Case Studies. - Benjamin Weyers; Michael D. Harrison; Judy Bowen; Alan J. Dix; Philippe A. Palanque (Handbook of Formal Methods in Human-Computer Interaction, 2017)

Formal Definitions for Design Spaces and Traces. - Judy Bowen; Anke Dittmar (APSEC, 2017)

Personal Data Collection in the Workplace: Ethical and Technical Challenges. - Judy Bowen; Annika Hinze; Christopher Griffiths; Vimal Kumar 001; David Bainbridge 001 (BCS HCI, 2017)

Understanding Active Non-Use through the Framework of Complex Design Spaces. - Anke Dittmar; Judy Bowen (ECCE, 2017)

Modelling safety-critical devices: coloured petri nets and Z. - Sapna Jaidka; Steve Reeves; Judy Bowen (EICS, 2017)

Supporting interactive system testing with interaction sequences. - Jessica Turner; Judy Bowen; Steve Reeves (EICS, 2017)

Augmented Reality Game for People with Traumatic Brain Injury: Concept and Prototypical Exploration. - Leah Gilbert; Annika Hinze; Judy Bowen (ICCAE, 2017)

Coping with Design Complexity: A Conceptual Framework for Design Alternatives and Variants. - Judy Bowen; Anke Dittmar (INTERACT (1), 2017)

Identifying the Interplay of Design Artifacts and Decisions in Practice: A Case Study. - Judy Bowen; Anke Dittmar (INTERACT (1), 2017)

Investigating Wearable Technology for Fatigue Identification in the Workplace. - Christopher Griffiths; Judy Bowen; Annika Hinze (INTERACT (2), 2017)

Generating Obligations, Assertions and Tests from UI Models. - Judy Bowen; Steve Reeves (Proc. ACM Hum. Comput. Interact., 2017)

Engineering Interactive Systems with Model-Driven Code Contracts. - Judy Bowen; Steve Reeves (ASWEC, 2018)

Test Stub Generation from Interaction and Behavioural Models. - Judy Bowen; Swikrit Khanal (EICS, 2018)

Simulating Interaction Sequences. - Jessica Turner; Judy Bowen; Steve Reeves (EICS, 2018)

Using Abstraction with Interaction Sequences for Interactive System Modelling. - Jessica Turner; Judy Bowen; Steve Reeves (STAF Workshops, 2018)

Mymemory: A mobile memory assistant for people with traumatic brain injury. - Carole Chang; Annika Hinze; Judy Bowen; Leah Gilbert; Nicola Starkey (Int. J. Hum. Comput. Stud., 2018)

A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems. - Sapna Jaidka; Steve Reeves; Judy Bowen (APSEC, 2019)

Smarter Software Engineering Methods for Smart Environments. - Judy Bowen; Annika Hinze (EICS Workshops, 2019)

Trends on engineering interactive systems: an overview of works presented in workshops at EICS 2019. - Damiano Distante; Marco Winckler; Regina Bernhaupt; Judy Bowen; José Creissac Campos; Florian Müller 003; Philippe A. Palanque; Jan Van den Bergh 001; Benjamin Weyers; Alexandra Voit (EICS, 2019)

Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets. - Sapna Jaidka; Steve Reeves; Judy Bowen (FM Workshops (1), 2019)

Managing Application-level QoS for IoT Stream Queries in Hazardous Outdoor Environments. - Holger Ziekow; Annika Hinze; Judy Bowen (IoTBDS, 2019)

SeqCheck: a model checking tool for interactive systems. - Jessica Turner; Judy Bowen; Steve Reeves (EICS, 2020)

Personas revisited: Extending the Use of Personas to Enhance Participatory Design. - Judy Bowen; Helen Petrie; Annika Hinze; Sanjit Samaddar (NordiCHI, 2020)

A Glimpse into the Past, Present, and Future of Engineering Interactive Computing Systems. - Judy Bowen; Marco Winckler; Jean Vanderdonckt (Proc. ACM Hum. Comput. Interact., 2020)

Model-based Testing of Interactive Systems using Interaction Sequences. - Jessica Turner; Judy Bowen; Steve Reeves (Proc. ACM Hum. Comput. Interact., 2020)

Interaction Modelling for IoT. - Jessica Turner; Judy Bowen; Nikki van Zandwijk (APSEC, 2021)

Designing for Inaccessible People and Places. - Judy Bowen; Annika Hinze (INTERACT (4), 2021)

Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems. - Yamine Aït Ameur; Judy Bowen; José Creissac Campos; Philippe A. Palanque; Benjamin Weyers (Interact. Comput., 2021)

Using Task Models to Understand the Intersection of Numeracy Skills and Technical Competence With Medical Device Design. - Judy Bowen; Diana Coben (Interact. Comput., 2021)

Task Modelling for Interactive System Design: A Survey of Historical Trends, Gaps and Future Needs. - Judy Bowen; Anke Dittmar; Benjamin Weyers (Proc. ACM Hum. Comput. Interact., 2021)

Participatory Data Design: Managing Data Sovereignty in IoT Solutions. - Judy Bowen; Annika Hinze (Interact. Comput., 2022)

Let's Make it Accessible: The Challenges Of Working With Low-cost Commercially Available Wearable Devices. - Jemma L. König; Jascha Penaredondo; Emily McCullagh; Judy Bowen; Annika Hinze (OZCHI, 2023)

First Do No Harm: Cultural and Ethical Impacts of User Studies. - Jadon Miller; Mitchell A. Head; Mahonri W. Owen; Merel Cornelie Janna Hoskens; Jemma L. König; Judy Bowen (OZCHI, 2023)

Workload categorization for hazardous industries: The semantic modelling of multi-modal physiological data. - Jemma L. König; Annika Hinze; Judy Bowen (Future Gener. Comput. Syst., 2023)

Interactive System Modelling for the Internet of Things. - Judy Bowen; Jessica Turner (Proc. ACM Hum. Comput. Interact., 2023)

Creating Formal Models from Informal Design Artefacts. - Judy Bowen; Benjamin Weyers; Bowen Liu (Int. J. Hum. Comput. Interact., 2023)

Exploring Opportunities for Flexible Wearables to Support Physical Training. - Katarzyna Stawarz; Aluna Everitt; Judy Bowen (Conference on Designing Interactive Systems, 2025)

EICS 2025 Foreword. - Judy Bowen; Benjamin Weyers; Anke Dittmar; Célia Martinie; Kris Luyten; Luciana Zaina (EICS (Companion), 2025)

Applying the Perceived Creepiness of Technology Scale to Social Robots. - Jessica Turner; Judy Bowen; Jemma L. König; Katarzyna Stawarz; Nicholas Vanderschantz (HRI, 2025)