Judy Bowen

Benjamin Weyers

Bowen Liu

Int. J. Hum. Comput. Interact., September, 2023

Interactive System Modelling for the Internet of Things.

[BibT_eX]

[DOI]

Proc. ACM Hum. Comput. Interact., June, 2023

Workload categorization for hazardous industries: The semantic modelling of multi-modal physiological data.

[BibT_eX]

[DOI]

Jemma L. König

Future Gener. Comput. Syst., April, 2023

2022

Participatory Data Design: Managing Data Sovereignty in IoT Solutions.

[BibT_eX]

[DOI]

Interact. Comput., February, 2022

2021

Task Modelling for Interactive System Design: A Survey of Historical Trends, Gaps and Future Needs.

[BibT_eX]

[DOI]

Benjamin Weyers

Proc. ACM Hum. Comput. Interact., 2021

Using Task Models to Understand the Intersection of Numeracy Skills and Technical Competence With Medical Device Design.

[BibT_eX]

[DOI]

Diana Coben

Interact. Comput., 2021

Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems.

[BibT_eX]

[DOI]

Interact. Comput., 2021

Designing for Inaccessible People and Places.

[BibT_eX]

[DOI]

Proceedings of the Human-Computer Interaction - INTERACT 2021 - 18th IFIP TC 13 International Conference, Bari, Italy, August 30, 2021

Interaction Modelling for IoT.

[BibT_eX]

[DOI]

Nikki van Zandwijk

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2020

Model-based Testing of Interactive Systems using Interaction Sequences.

[BibT_eX]

[DOI]

Proc. ACM Hum. Comput. Interact., 2020

A Glimpse into the Past, Present, and Future of Engineering Interactive Computing Systems.

[BibT_eX]

[DOI]

Marco Winckler

Jean Vanderdonckt

Proc. ACM Hum. Comput. Interact., 2020

Personas revisited: Extending the Use of Personas to Enhance Participatory Design.

[BibT_eX]

[DOI]

Proceedings of the NordiCHI '20: Shaping Experiences, 2020

SeqCheck: a model checking tool for interactive systems.

[BibT_eX]

[DOI]

Proceedings of the EICS '20: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2020

2019

Managing Application-level QoS for IoT Stream Queries in Hazardous Outdoor Environments.

[BibT_eX]

Holger Ziekow

Proceedings of the 4th International Conference on Internet of Things, 2019

Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets.

[BibT_eX]

[DOI]

Sapna Jaidka

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Trends on engineering interactive systems: an overview of works presented in workshops at EICS 2019.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2019

Smarter Software Engineering Methods for Smart Environments.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings HCI Engineering 2019, 2019

A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems.

[BibT_eX]

[DOI]

Sapna Jaidka

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

Mymemory: A mobile memory assistant for people with traumatic brain injury.

[BibT_eX]

[DOI]

Int. J. Hum. Comput. Stud., 2018

Using Abstraction with Interaction Sequences for Interactive System Modelling.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2018

Simulating Interaction Sequences.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2018

Test Stub Generation from Interaction and Behavioural Models.

[BibT_eX]

[DOI]

Swikrit Khanal

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2018

Engineering Interactive Systems with Model-Driven Code Contracts.

[BibT_eX]

[DOI]

Proceedings of the 25th Australasian Software Engineering Conference, 2018

2017

Generating Obligations, Assertions and Tests from UI Models.

[BibT_eX]

[DOI]

Proc. ACM Hum. Comput. Interact., 2017

Investigating Wearable Technology for Fatigue Identification in the Workplace.

[BibT_eX]

[DOI]

Christopher Griffiths

Proceedings of the Human-Computer Interaction - INTERACT 2017, 2017

Identifying the Interplay of Design Artifacts and Decisions in Practice: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Human-Computer Interaction - INTERACT 2017, 2017

Coping with Design Complexity: A Conceptual Framework for Design Alternatives and Variants.

[BibT_eX]

[DOI]

Proceedings of the Human-Computer Interaction - INTERACT 2017, 2017

Augmented Reality Game for People with Traumatic Brain Injury: Concept and Prototypical Exploration.

[BibT_eX]

[DOI]

Leah Gilbert

Proceedings of the 9th International Conference on Computer and Automation Engineering, 2017

Supporting interactive system testing with interaction sequences.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2017

Modelling safety-critical devices: coloured petri nets and Z.

[BibT_eX]

[DOI]

Sapna Jaidka

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2017

Understanding Active Non-Use through the Framework of Complex Design Spaces.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Cognitive Ergonomics, 2017

Personal Data Collection in the Workplace: Ethical and Technical Challenges.

[BibT_eX]

[DOI]

Christopher Griffiths

Vimal Kumar

David Bainbridge

Proceedings of the HCI 2017, 2017

Formal Definitions for Design Spaces and Traces.

[BibT_eX]

[DOI]

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

Case Studies.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

State of the Art on Formal Methods for Interactive Systems.

[BibT_eX]

[DOI]

Raquel Oliveira Prates

Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

Trends and Gaps.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

Combining Models for Interactive System Modelling.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

Reasoning About Interactive Systems in Dynamic Situations of Use.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

Topics of Formal Methods in HCI.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

2016

What's news? Encounters with news in everyday life: a study of behaviours and attitudes.

[BibT_eX]

[DOI]

Int. J. Digit. Libr., 2016

Personal Video Collection Management Behavior.

[BibT_eX]

[DOI]

Sally Jo Cunningham

David M. Nichols

Proceedings of the 16th ACM/IEEE-CS on Joint Conference on Digital Libraries, 2016

Students and Their Videos: Implications for a Video Digital Library.

[BibT_eX]

[DOI]

Sally Jo Cunningham

David M. Nichols

Proceedings of the Digital Libraries: Knowledge, Information, and Data in an Open Access Society, 2016

A semi-formal framework for describing interaction design spaces.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

2015

Evaluating Low-cost Activity Trackers for Use in Large-scale Data Gathering of Forestry Workers.

[BibT_eX]

[DOI]

Proceedings of the Annual Meeting of the Australian Special Interest Group for Computer Human Interaction, 2015

Digital News Resources: An Autoethnographic Study of News Encounters.

[BibT_eX]

[DOI]

Proceedings of the Research and Advanced Technology for Digital Libraries, 2015

Workshop on formal methods in human computer interaction.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2015

Creating models of interactive systems with the support of lightweight reverse-engineering tools.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2015

Design Patterns for Models of Interactive Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th Australasian Software Engineering Conference, 2015

2014

A Simplified Z Semantics for Presentation Interaction Models.

[BibT_eX]

[DOI]

Proceedings of the FM 2014: Formal Methods, 2014

Model-driven tools for medical device selection.

[BibT_eX]

[DOI]

Selina Reid

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2014

Designing a mobile augmented memory system for people with Traumatic Brain Injuries.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE Conference on Cognitive Infocommunications, 2014

2013

Preface to the proceedings of FMIS 2013.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Formal methods for interactive system: (FMIS 2013).

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013

Modelling safety properties of interactive medical systems.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013

A Tale of Two Studies.

[BibT_eX]

[DOI]

Andrea Schweer

Proceedings of the Fourteenth Australasian User Interface Conference, 2013

2012

Modelling user manuals of modal medical devices and learning from the experience.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2012

Using ontologies to reason about the usability of interactive medical devices in multiple situations of use.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2012

2011

Preface for FMIS 2011.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Supporting Mobile Application Development with Model-Driven Emulation.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

UI-driven test-first development of interactive systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011

2010

Model-driven GUI & interaction design using emulation.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2010

Developing usability studies via formal models of UIs.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2010

2009

UI-Design Driven Model-Based Testing.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Supporting Multi-path UI Development with Vertical Refinement.

[BibT_eX]

[DOI]

Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

2008

Formal models for user interface design artefacts.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2008

2007

Refinement for User Interface Designs.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems, 2007

Using formal models to design user interfaces: a case study.

[BibT_eX]

[DOI]

Proceedings of the 21st British HCI Group Annual Conference on HCI 2007: HCI...but not as we know it, 2007

2006

Formal Models for Informal GUI Designs.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Formal Methods for Interactive Systems, 2006

Formal Refinement of Informal GUI Design Artefacts.

[BibT_eX]

[DOI]

Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

2005

Including Design Guidelines in the Formal Specification of Interfaces in Z.

[BibT_eX]

[DOI]