![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Judy Bowen
Person information
- affiliation: University of Waikato, Hamilton, New Zealand
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j19]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: 369-381 (2023) - [j18]Judy Bowen
, Benjamin Weyers
, Bowen Liu:
Creating Formal Models from Informal Design Artefacts. Int. J. Hum. Comput. Interact. 39(15): 3141-3158 (2023) - [j17]Judy Bowen
, Jessica Turner
:
Interactive System Modelling for the Internet of Things. Proc. ACM Hum. Comput. Interact. 7(EICS): 1-19 (2023) - [c49]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: 71-77 - [c48]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: 493-503 - [e4]Judy Bowen, Nadia Pantidi, Dana McKay, Jennifer Ferreira, Alessandro Soro, Rachel Blagojevic, Chris Lawrence, Nic Vanderschantz, Te Taka Keegan, Jane Turner, Hilary Davis, Mark D. Apperley, Jacob Young:
Proceedings of the 35th Australian Computer-Human Interaction Conference, OzCHI 2023, Wellington, New Zealand, December 2-6, 2023. ACM 2023 [contents] - 2022
- [j16]Judy Bowen, Annika Hinze:
Participatory Data Design: Managing Data Sovereignty in IoT Solutions. Interact. Comput. 34(2): 60-71 (2022) - 2021
- [j15]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): 1-2 (2021) - [j14]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): 40-54 (2021) - [j13]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): 214:1-214:22 (2021) - [c47]Jessica Turner
, Judy Bowen, Nikki van Zandwijk:
Interaction Modelling for IoT. APSEC 2021: 120-129 - [c46]Judy Bowen, Annika Hinze:
Designing for Inaccessible People and Places. INTERACT (4) 2021: 546-556 - 2020
- [j12]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): 71:1-71:32 (2020) - [j11]Jessica Turner
, Judy Bowen
, Steve Reeves
:
Model-based Testing of Interactive Systems using Interaction Sequences. Proc. ACM Hum. Comput. Interact. 4(EICS): 85:1-85:37 (2020) - [c45]Jessica Turner
, Judy Bowen
, Steve Reeves
:
SeqCheck: a model checking tool for interactive systems. EICS 2020: 7:1-7:6 - [c44]Judy Bowen, Helen Petrie, Annika Hinze, Sanjit Samaddar:
Personas revisited: Extending the Use of Personas to Enhance Participatory Design. NordiCHI 2020: 62:1-62:12 - [e3]Judy Bowen, Jean Vanderdonckt, Marco Winckler:
EICS '20: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Sophia Antipolis, France, June 23-26, 2020. ACM 2020, ISBN 978-1-4503-7984-7 [contents]
2010 – 2019
- 2019
- [c43]Sapna Jaidka, Steve Reeves
, Judy Bowen
:
A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems. APSEC 2019: 347-354 - [c42]Judy Bowen, Annika Hinze:
Smarter Software Engineering Methods for Smart Environments. EICS Workshops 2019: 3-9 - [c41]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: 22:1-22:6 - [c40]Sapna Jaidka, Steve Reeves
, Judy Bowen:
Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets. FM Workshops (1) 2019: 465-485 - [c39]Holger Ziekow, Annika Hinze, Judy Bowen:
Managing Application-level QoS for IoT Stream Queries in Hazardous Outdoor Environments. IoTBDS 2019: 223-231 - [e2]Benjamin Weyers, Judy Bowen:
Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Valencia, Spain, June 18, 2019. CEUR Workshop Proceedings 2503, CEUR-WS.org 2019 [contents] - 2018
- [j10]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: 4-19 (2018) - [c38]Judy Bowen
, Steve Reeves
:
Engineering Interactive Systems with Model-Driven Code Contracts. ASWEC 2018: 11-20 - [c37]Judy Bowen
, Swikrit Khanal:
Test Stub Generation from Interaction and Behavioural Models. EICS 2018: 7:1-7:6 - [c36]Jessica Turner
, Judy Bowen
, Steve Reeves
:
Simulating Interaction Sequences. EICS 2018: 8:1-8:7 - [c35]Jessica Turner
, Judy Bowen
, Steve Reeves
:
Using Abstraction with Interaction Sequences for Interactive System Modelling. STAF Workshops 2018: 257-273 - 2017
- [j9]Judy Bowen
, Steve Reeves
:
Generating Obligations, Assertions and Tests from UI Models. Proc. ACM Hum. Comput. Interact. 1(EICS): 5:1-5:18 (2017) - [c34]Judy Bowen
, Anke Dittmar:
Formal Definitions for Design Spaces and Traces. APSEC 2017: 600-605 - [c33]Judy Bowen
, Annika Hinze, Christopher Griffiths, Vimal Kumar, David Bainbridge:
Personal Data Collection in the Workplace: Ethical and Technical Challenges. BCS HCI 2017 - [c32]Anke Dittmar, Judy Bowen
:
Understanding Active Non-Use through the Framework of Complex Design Spaces. ECCE 2017: 146-149 - [c31]Sapna Jaidka, Steve Reeves
, Judy Bowen
:
Modelling safety-critical devices: coloured petri nets and Z. EICS 2017: 51-56 - [c30]Jessica Turner
, Judy Bowen
, Steve Reeves
:
Supporting interactive system testing with interaction sequences. EICS 2017: 129-132 - [c29]Leah Gilbert, Annika Hinze, Judy Bowen
:
Augmented Reality Game for People with Traumatic Brain Injury: Concept and Prototypical Exploration. ICCAE 2017: 51-55 - [c28]Christopher Griffiths, Judy Bowen
, Annika Hinze:
Investigating Wearable Technology for Fatigue Identification in the Workplace. INTERACT (2) 2017: 370-380 - [c27]Judy Bowen
, Anke Dittmar:
Coping with Design Complexity: A Conceptual Framework for Design Alternatives and Variants. INTERACT (1) 2017: 483-502 - [c26]Judy Bowen
, Anke Dittmar:
Identifying the Interplay of Design Artifacts and Decisions in Practice: A Case Study. INTERACT (1) 2017: 503-512 - [p6]Raquel Oliveira Prates, Philippe A. Palanque, Benjamin Weyers, Judy Bowen, Alan J. Dix
:
State of the Art on Formal Methods for Interactive Systems. Handbook of Formal Methods in Human-Computer Interaction 2017: 3-55 - [p5]Judy Bowen, Alan J. Dix
, Philippe A. Palanque, Benjamin Weyers:
Topics of Formal Methods in HCI. Handbook of Formal Methods in Human-Computer Interaction 2017: 57-64 - [p4]Alan J. Dix, Benjamin Weyers, Judy Bowen, Philippe A. Palanque:
Trends and Gaps. Handbook of Formal Methods in Human-Computer Interaction 2017: 65-88 - [p3]Benjamin Weyers, Michael D. Harrison, Judy Bowen, Alan J. Dix
, Philippe A. Palanque:
Case Studies. Handbook of Formal Methods in Human-Computer Interaction 2017: 89-121 - [p2]Judy Bowen, Steve Reeves:
Combining Models for Interactive System Modelling. Handbook of Formal Methods in Human-Computer Interaction 2017: 161-182 - [p1]Judy Bowen, Annika Hinze:
Reasoning About Interactive Systems in Dynamic Situations of Use. Handbook of Formal Methods in Human-Computer Interaction 2017: 319-341 - [e1]Benjamin Weyers
, Judy Bowen, Alan J. Dix, Philippe A. Palanque:
The Handbook of Formal Methods in Human-Computer Interaction. Springer International Publishing 2017, ISBN 978-3-319-51837-4 [contents] - 2016
- [j8]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): 257-271 (2016) - [c25]Judy Bowen
, Anke Dittmar:
A semi-formal framework for describing interaction design spaces. EICS 2016: 229-238 - [c24]Sally Jo Cunningham, David M. Nichols
, Judy Bowen
:
Students and Their Videos: Implications for a Video Digital Library. ICADL 2016: 37-42 - [c23]Sally Jo Cunningham, David M. Nichols
, Judy Bowen
:
Personal Video Collection Management Behavior. JCDL 2016: 219-220 - 2015
- [c22]Judy Bowen, Steve Reeves
:
Design Patterns for Models of Interactive Systems. ASWEC 2015: 223-232 - [c21]Judy Bowen
:
Creating models of interactive systems with the support of lightweight reverse-engineering tools. EICS 2015: 110-119 - [c20]Benjamin Weyers, Judy Bowen
, Alan J. Dix, Philippe A. Palanque:
Workshop on formal methods in human computer interaction. EICS 2015: 294-295 - [c19]Sally Jo Cunningham, David M. Nichols
, Annika Hinze, Judy Bowen
:
Digital News Resources: An Autoethnographic Study of News Encounters. TPDL 2015: 84-96 - [c18]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: 474-482 - 2014
- [c17]Carole Chang, Annika Hinze
, Judy Bowen
, Nicola Starkey:
Designing a mobile augmented memory system for people with Traumatic Brain Injuries. CogInfoCom 2014: 13-18 - [c16]Judy Bowen
, Annika Hinze
, Selina Reid:
Model-driven tools for medical device selection. EICS 2014: 129-138 - [c15]Judy Bowen
, Steve Reeves
:
A Simplified Z Semantics for Presentation Interaction Models. FM 2014: 148-162 - 2013
- [j7]Judy Bowen
, Steve Reeves
:
Preface to the proceedings of FMIS 2013. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013) - [j6]Judy Bowen
, Steve Reeves
:
UI-design driven model-based testing. Innov. Syst. Softw. Eng. 9(3): 201-215 (2013) - [c14]Judy Bowen, Steve Reeves, Andrea Schweer:
A Tale of Two Studies. AUIC 2013: 81-90 - [c13]Judy Bowen, Steve Reeves
:
Modelling safety properties of interactive medical systems. EICS 2013: 91-100 - [c12]Judy Bowen, Steve Reeves
:
Formal methods for interactive system: (FMIS 2013). EICS 2013: 337-338 - 2012
- [c11]Judy Bowen
, Steve Reeves
:
Modelling user manuals of modal medical devices and learning from the experience. EICS 2012: 121-130 - [c10]Judy Bowen
, Annika Hinze
:
Using ontologies to reason about the usability of interactive medical devices in multiple situations of use. EICS 2012: 247-256 - 2011
- [j5]Judy Bowen, Annika Hinze:
Supporting Mobile Application Development with Model-Driven Emulation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011) - [j4]Judy Bowen
, Steve Reeves
:
Preface for FMIS 2011. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011) - [c9]Judy Bowen
, Steve Reeves
:
UI-driven test-first development of interactive systems. EICS 2011: 165-174 - 2010
- [c8]Judy Bowen
, Steve Reeves
:
Developing usability studies via formal models of UIs. EICS 2010: 175-180 - [c7]Annika Hinze
, Judy Bowen
, Yuting Wang, Robi Malik:
Model-driven GUI & interaction design using emulation. EICS 2010: 273-278
2000 – 2009
- 2009
- [j3]Judy Bowen, Steve Reeves:
UI-Design Driven Model-Based Testing. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009) - [j2]Judy Bowen
, Steve Reeves
:
Refinement for user interface designs. Formal Aspects Comput. 21(6): 589-612 (2009) - [c6]Judy Bowen
, Steve Reeves
:
Supporting Multi-path UI Development with Vertical Refinement. Australian Software Engineering Conference 2009: 64-72 - 2008
- [j1]Judy Bowen, Steve Reeves
:
Formal models for user interface design artefacts. Innov. Syst. Softw. Eng. 4(2): 125-141 (2008) - 2007
- [c5]Judy Bowen, Steve Reeves:
Using formal models to design user interfaces: a case study. BCS HCI (1) 2007: 159-166 - [c4]Judy Bowen, Steve Reeves
:
Refinement for User Interface Designs. FMIS@BCS HCI 2007: 5-22 - 2006
- [c3]Judy Bowen, Steve Reeves
:
Formal Refinement of Informal GUI Design Artefacts. ASWEC 2006: 221-230 - [c2]Judy Bowen, Steve Reeves
:
Formal Models for Informal GUI Designs. FMIS@ICFEM 2006: 57-72 - 2005
- [c1]Judy Bowen, Steve Reeves
:
Including Design Guidelines in the Formal Specification of Interfaces in Z. ZB 2005: 454-471
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-19 00:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint