Michael D. Harrison

Interact. Comput., 2021

Control Rooms from a Human-Computer Interaction Perspective.

[BibT_eX]

[DOI]

Tilo Mentler

Philippe A. Palanque

Kristof Van Laerhoven

Proceedings of the Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30, 2021

Proving Display Conformance and Action Consistency: The Example of an Integrated Clinical Environment.

[BibT_eX]

[DOI]

Proceedings of the Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30, 2021

2020

Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools.

[BibT_eX]

[DOI]

ACM Trans. Comput. Hum. Interact., 2020

2019

Verification Templates for the Analysis of User Interface Software Design.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2019

Formal techniques in the safety analysis of software components of a new dialysis machine.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

Examples of the Application of Formal Methods to Interactive Systems.

[BibT_eX]

[DOI]

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

Formal Verification of Interactive Computing Systems: Opportunities, Challenges.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings HCI Engineering 2019, 2019

2018

Formal Modelling as a Component of User Centred Design.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2018

2017

Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices.

[BibT_eX]

[DOI]

IEEE Trans. Hum. Mach. Syst., 2017

Don't go in there! using the APEX framework in the design of ambient assisted living systems.

[BibT_eX]

[DOI]

J. Ambient Intell. Humaniz. Comput., 2017

Safety Analysis of Software Components of a Dialysis Machine Using Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

Case Studies.

[BibT_eX]

[DOI]

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

The Specification and Analysis of Use Properties of a Nuclear Control System.

[BibT_eX]

[DOI]

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

2016

Formal Verification of a Space System's User Interface With the IVY Workbench.

[BibT_eX]

[DOI]

Manuel Sousa

Miriam C. Bergue Alves

IEEE Trans. Hum. Mach. Syst., 2016

Templates as heuristics for proving properties of medical devices.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Creative Technol., 2016

Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web.

[BibT_eX]

[DOI]

Saulo Rodrigues e Silva

Proceedings of the Third Workshop on Formal Integrated Development Environment, 2016

Modelling information resources and their salience in medical device design.

[BibT_eX]

[DOI]

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

2015

Reusing models and properties in the analysis of similar interactive devices.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2015

Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes.

[BibT_eX]

[DOI]

Proceedings of the Ambient Assisted Living. ICT-Based Solutions in Real Life Situations, 2015

2014

Prototyping and analysing ubiquitous computing environments using multiple layers.

[BibT_eX]

[DOI]

José Luís Silva

Int. J. Hum. Comput. Stud., 2014

Analysing interactive devices based on information resource constraints.

[BibT_eX]

[DOI]

Int. J. Hum. Comput. Stud., 2014

A Virtual Environment based Serious Game to Support Health Education.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Ambient Syst., 2014

Rapid development of first person serious games using the APEX platform: the asthma game.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2014

Demonstrating that Medical Devices Satisfy User Related Safety Requirements.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

Formal Verification of Safety-Critical User Interfaces: a space system case study.

[BibT_eX]

[DOI]

Manuel Sousa

Miriam C. Bergue Alves

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach.

[BibT_eX]

[DOI]

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

Automated theorem proving for the systematic analysis of an infusion pump.

[BibT_eX]

[DOI]

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

Integrating Formal Predictions of Interactive System Behaviour with User Evaluation.

[BibT_eX]

[DOI]

Rimvydas Ruksenas

Paul Curzon

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Using Medical Device Logs for Improving Medical Device Design.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Healthcare Informatics, 2013

Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example.

[BibT_eX]

[DOI]

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

2<sup>nd</sup> workshop on open resilient human-aware cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013

2012

Scalable context-dependent analysis of emergency egress models.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2012

Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012

Using PVS to Investigate Incidents through the Lens of Distributed Cognition.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2012

Formal Performance Modelling: From Protocols to People.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

Formal analysis of ubiquitous computing environments through the APEX framework.

[BibT_eX]

[DOI]

José Luís Silva

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

2011

Modelling and analysing the interactive behaviour of an infusion pump.

[BibT_eX]

[DOI]

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

Performance Evaluation of Scheduling Policies in a Smart Hospital Environment.

[BibT_eX]

[DOI]

Xiao Chen

Nigel Thomas

Proceedings of the 2011 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2011

2010

A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Scalable analysis of collective behaviour in smart service systems.

[BibT_eX]

[DOI]

Diego Latella

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Human-Centred Software Engineering - Third International Conference, 2010

Representations for an iterative resource-based design approach.

[BibT_eX]

[DOI]

Anke Dittmar

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

2009

Modelling Interactive Experience, Function and Performance in Ubiquitous Systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling, 2009

Preface.

[BibT_eX]

[DOI]

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

An infrastructure for experience centered agile prototyping of ambient intelligence.

[BibT_eX]

[DOI]

José Luís Silva

Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009

Engineering crowd interaction within smart environments.

[BibT_eX]

[DOI]

Diego Latella

Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009

Bridging the gulf between interaction engineering and human reliability assessment.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009

Interaction engineering using the IVY tool.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009

2008

Connecting Rigorous System Analysis to Experience-Centered Design.

[BibT_eX]

[DOI]

Proceedings of the Maturing Usability - Quality in Software, Interaction and Value, 2008

SBML: a user interface mark-up language based on interaction style.

[BibT_eX]

[DOI]

Stephen W. Gilroy

Int. J. Web Eng. Technol., 2008

Analysing Human Aspects of Safety-Critical Software.

[BibT_eX]

[DOI]

ERCIM News, 2008

A Fluid Flow Approach to Usability Analysis of Multi-user Systems.

[BibT_eX]

[DOI]

Proceedings of the Engineering Interactive Systems, 2008

Towards a location model for indoor navigation support through public displays and mobile devices.

[BibT_eX]

[DOI]

Proceedings of the Mobile Interaction with the Real World 2008, 2008

Resources for Situated Actions.

[BibT_eX]

[DOI]

Proceedings of the Interactive Systems. Design, 2008

Systematic Analysis of Control Panel Interfaces Using Formal Tools.

[BibT_eX]

[DOI]

Proceedings of the Interactive Systems. Design, 2008

2007

Exploring an Option Space to Engineer a Ubiquitous Computing System.

[BibT_eX]

[DOI]

Christian Kray

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

Factoring User Experience into the Design of Ambient and Mobile Systems.

[BibT_eX]

[DOI]

Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007

Considering Context and Users in Interactive Systems Analysis.

[BibT_eX]

[DOI]

Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007

Names and reference in user interfaces.

[BibT_eX]

[DOI]

Harold W. Thimbleby

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

2006

An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2006

Demonstration of Safety in Healthcare Organisations.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2006

2005

Measuring reuse in hazard analysis.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2005

Analysing User Confusion in Context Aware Mobile Applications.

[BibT_eX]

[DOI]

Proceedings of the Human-Computer Interaction, 2005

2004

Verifying user interface behaviour with model checking.

[BibT_eX]

Proceedings of the Verification and Validation of Enterprise Information Systems, 2004

Time design: analysing human temporal control behaviour in dynamic real-time systems.

[BibT_eX]

[DOI]

Michael Hildebrandt

Proceedings of the IEEE International Conference on Systems, 2004

How Explicit Are the Barriers to Failure in Safety Arguments?

[BibT_eX]

[DOI]

Bastiaan A. Schupp

Proceedings of the Computer Safety, 2004

Analysing Dynamic Function Scheduling Decisions.

[BibT_eX]

[DOI]

Michael Hildebrandt

Proceedings of the Human Error, 2004

Using Interaction Style to Match the Ubiquitous User Interface to the Device-to-Hand.

[BibT_eX]

[DOI]

Stephen W. Gilroy

Proceedings of the Engineering Human Computer Interaction and Interactive Systems, 2004

Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability.

[BibT_eX]

Lorenzo Strigini

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003

Reuse in Hazard Analysis: Identification and Support.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2003

From HCI to Software Engineering and Back.

[BibT_eX]

[DOI]

Proceedings of ICSE 2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, 2003

2002

Automating functions in multi-agent control systems: supporting the decision process.

[BibT_eX]

[DOI]

P. D. Johnson

Proceedings of the Components of System Safety, 2002

Augmenting descriptive scenario analysis for improvements in human reliability design.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

Improving Hazard Classification through the Reuse of Descriptive Arguments.

[BibT_eX]

[DOI]

Proceedings of the Software Reuse: Methods, 2002

Blending Descriptive and Numeric Analysis in Human Reliability Design.

[BibT_eX]

[DOI]

Proceedings of the Interactive Systems. Design, 2002

2001

A toolset supported approach for designing and testing virtual environment interaction techniques.

[BibT_eX]

[DOI]

Int. J. Hum. Comput. Stud., 2001

Editorial: User centred design and implementation of virtual environments.

[BibT_eX]

[DOI]

Int. J. Hum. Comput. Stud., 2001

Model Checking Interactor Specifications.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2001

THEA: A Technique for Human Error Assessment Early in Design.

[BibT_eX]

Proceedings of the Human-Computer Interaction INTERACT '01: IFIP TC13 International Conference on Human-Computer Interaction, 2001

Prototyping Pre-implementation Designs of Virtual Environment Behaviour.

[BibT_eX]

[DOI]

Proceedings of the Engineering for Human-Computer Interaction, 2001

2000

Allocation of function: scenarios, context and the economics of effort.

[BibT_eX]

[DOI]

Andy Dearden

Int. J. Hum. Comput. Stud., 2000

Analyzing Human-Computer Interaction as Distributed Cognition: The Resources Model.

[BibT_eX]

[DOI]

Robert E. Fields

Hum. Comput. Interact., 2000

Representational Reasoning and Verification.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2000

A 'plug and play' approach to testing virtual environment interaction techniques.

[BibT_eX]

[DOI]

Proceedings of the 6th Eurographics Workshop on Virtual Environments, 2000

Verifying the Behaviour of Virtual Environment World Objects.

[BibT_eX]

[DOI]

Proceedings of the Interactive Systems: Design, 2000

Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds?

[BibT_eX]

[DOI]

Proceedings of the Interactive Systems: Design, 2000

1999

A Case Study in the Specification and Analysis of Design Alternatives for a User Interface.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1999

Case-based Reasoning Systems for Knowledge Mediation.

[BibT_eX]

Anthony D. Griffiths

Proceedings of the Human-Computer Interaction INTERACT '99: IFIP TC13 International Conference on Human-Computer Interaction, 1999

Using Scenarios to Envisage the Impact of CBR on Decision-Making Processes.

[BibT_eX]

Anthony D. Griffiths

Proceedings of the Challenges for Case-Based Reasoning, 1999

Modelling and Analysing Connectivity in an Audio-Visual Communications System.

[BibT_eX]

[DOI]

Proceedings of the Design, 1999

1998

Desert Island Reading.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 1998

Working Group 1 Report.

[BibT_eX]

[DOI]

Proceedings of the Design, 1998

Integrating Joint Behaviour and Dialogue Description.

[BibT_eX]

[DOI]

Proceedings of the Design, 1998

The Role of Verification in Interactive Systems Design.

[BibT_eX]

[DOI]

Proceedings of the Design, 1998

1997

Accountability of work activity in high-consequence work systems: human error in context.

[BibT_eX]

[DOI]

Int. J. Hum. Comput. Stud., 1997

Abstract models for HCI.

[BibT_eX]

[DOI]

Int. J. Hum. Comput. Stud., 1997

A Software Engineering Model for Case Memory System.

[BibT_eX]

[DOI]

Comput. J., 1997

Using Executable Interactor Specifications to Explore the Impact of Operator Interaction Errors.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Computer Safety, 1997

Techniques for the design of human error tolerant systems.

[BibT_eX]

Proceedings of the Human-Computer Interaction, 1997

Objectives, strategies and resources as design drivers.

[BibT_eX]

Proceedings of the Human-Computer Interaction, 1997

Locating the scene: the particular and the general in contexts for ambulance control.

[BibT_eX]

[DOI]

Proceedings of GROUP'97, 1997

A representational approach to the specification of presentations.

[BibT_eX]

[DOI]

Proceedings of the Design, 1997

Formally verifying interactive systems: A review.

[BibT_eX]

[DOI]

Proceedings of the Design, 1997

1996

Time, tasks and errors.

[BibT_eX]

[DOI]

ACM SIGCHI Bull., 1996

Impact as a Human Factor in Interactive System Design.

[BibT_eX]

[DOI]

Proceedings of the Safety-Critical Systems: The Convergence of High Tech and Human Factors, 1996

Evaluating the Interfaces of Three Theorem Proving Assistants.

[BibT_eX]

[DOI]

Nicholas A. Merriam

Proceedings of the Design, 1996

Risk Analysis, Impact and Interaction Modelling.

[BibT_eX]

[DOI]

Proceedings of the Design, 1996

1995

Using Interaction Framework to guide the design of interactive systems.

[BibT_eX]

[DOI]

Ann Blandford

Philip J. Barnard

Int. J. Hum. Comput. Stud., 1995

Mapping user requirements to implementations.

[BibT_eX]

[DOI]

Softw. Eng. J., 1995

Event model of human-system interaction.

[BibT_eX]

[DOI]

Softw. Eng. J., 1995

A task centered approach to analysing human error tolerance requirements.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Symposium on Requirements Engineering, March 27, 1995

A requirements space for group-work systems.

[BibT_eX]

John C. McCarthy

Proceedings of the Human-Computer Interaction, 1995

Reports from Working Groups: Role of Verification.

[BibT_eX]

[DOI]

Proceedings of the Design, 1995

Interaction and Task Requirements.

[BibT_eX]

[DOI]

Christopher John Bramwell

Proceedings of the Design, 1995

Exploring Design Options Rationally.

[BibT_eX]

[DOI]

Proceedings of the Design, 1995

1994

From informal requirements to agent-based specification.

[BibT_eX]

[DOI]

ACM SIGCHI Bull., 1994

Deriving human-error tolerance requirements from tasks.

[BibT_eX]

[DOI]

Proceedings of the First IEEE International Conference on Requirements Engineering, 1994

A Review of Formalisms for Describing Interactive Behaviour.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Human-Computer Interaction, 1994

Applying Formal Methods for Human Error Tolerant Design.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Human-Computer Interaction, 1994

From Formal Models to Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Human-Computer Interaction, 1994

A Theory of Presentations.

[BibT_eX]

[DOI]

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

User Centred System Modelling using the Template Model.

[BibT_eX]

Chris R. Roast