Relations between Programs with Different Storage Requirements. - Michael D. Harrison (MFCS, 1976)

Developing a calculus for relating computer programs. - Michael D. Harrison (1978)

Interaction Models and the Principled Design of Interactive Systems. - Alan J. Dix; Michael D. Harrison; Colin Runciman; Harold W. Thimbleby (ESEC, 1987)

Modelling the relationship between state and display in interactive systems. - Michael D. Harrison; Alan J. Dix (Informatics and Psychology Workshop, 1988)

Human computer interaction group, University of York, U.K. (lab review). - Michael D. Harrison; Andrew F. Monk (CHI, 1990)

Prelog - a System for Presenting and Rendering Logic Specifications of Interactive Systems. - C. W. Johnson; Michael D. Harrison (Eurographics, 1990)

Pattern recognition and interaction models. - Janet Finlay; Michael D. Harrison (INTERACT, 1990)

New approaches to theory in HCI: How should we judge their acceptability? - Andrew F. Monk; John M. Carroll 001; Michael D. Harrison; John Long; Richard M. Young (INTERACT, 1990)

Modelling user, system design: results of a scenarios matrix exercise. - Nick Hammond; Philip J. Barnard; Joëlle Coutaz; Michael D. Harrison; Allan MacLean; Richard M. Young (CHI, 1991)

Declarative Graphics And Dynamic Interaction. - C. W. Johnson; Michael D. Harrison (Eurographics, 1991)

Four generic communication tasks which must be supported in electronic conferencing. - John C. McCarthy 002; Victoria C. Miles; Andrew F. Monk; Michael D. Harrison; Alan J. Dix; Peter C. Wright (ACM SIGCHI Bull., 1991)

HCI: Whose Problem Is It Anyway? - Gilbert Cockton; Michael D. Harrison; Barbara H. Kwasnik; Robin R. Penner; Rob Procter (Engineering for Human-Computer Interaction, 1992)

A Model for the Option Space of Interactive System. - Michael D. Harrison (Engineering for Human-Computer Interaction, 1992)

Using Temporal Logic to Support the Specification and Prototyping of Interactive Control Systems. - C. W. Johnson; Michael D. Harrison (Int. J. Man Mach. Stud., 1992)

On defining requirements for interaction. - Michael D. Harrison; Philip J. Barnard (RE, 1993)

Abstract Interaction Objects. - David J. Duke; Michael D. Harrison (Comput. Graph. Forum, 1993)

Text-Based On-Line Conferencing: A Conceptual and Empirical Analysis Using a Minimal Prototype. - John C. McCarthy 002; Victoria C. Miles; Andrew F. Monk; Michael D. Harrison; Alan J. Dix; Peter C. Wright (Hum. Comput. Interact., 1993)

Unifying Views of Interactors. - David J. Duke; Giorgio P. Faconti; Michael D. Harrison; Fabio Paternò (Advanced Visual Interfaces, 1994)

Modelling Interaction Properties for Interactive Case Memories. - Andrew M. Dearden; Michael D. Harrison (DSV-IS, 1994)

Folding Human Factors into Rigorous Development. - David J. Duke; Michael D. Harrison (DSV-IS, 1994)

Modelling Interactive Systems and Providing Task Relevant Information. - Bob Fields; Michael D. Harrison; Peter C. Wright (DSV-IS, 1994)

Working Group Discussions: Role of Formalisms. - Michael D. Harrison (DSV-IS, 1994)

Modelling Interactive Systems and Providing Task Relevant Information. - Michael D. Harrison; Ann Blandford; Philip J. Barnard (DSV-IS, 1994)

User Centred System Modelling using the Template Model. - Chris R. Roast; Michael D. Harrison (DSV-IS, 1994)

A Theory of Presentations. - David J. Duke; Michael D. Harrison (FME, 1994)

From Formal Models to Formal Methods. - David J. Duke; Michael D. Harrison (ICSE Workshop on SE-HCI, 1994)

Applying Formal Methods for Human Error Tolerant Design. - Bob Fields; Peter C. Wright; Michael D. Harrison (ICSE Workshop on SE-HCI, 1994)

A Review of Formalisms for Describing Interactive Behaviour. - Michael D. Harrison; David J. Duke (ICSE Workshop on SE-HCI, 1994)

Deriving human-error tolerance requirements from tasks. - Peter C. Wright; Bob Fields; Michael D. Harrison (ICRE, 1994)

From informal requirements to agent-based specification. - Bob Fields; Michael D. Harrison; Peter C. Wright (ACM SIGCHI Bull., 1994)

Exploring Design Options Rationally. - Christopher John Bramwell; Bob Fields; Michael D. Harrison (DSV-IS, 1995)

Interaction and Task Requirements. - David J. Duke; Michael D. Harrison (DSV-IS, 1995)

Reports from Working Groups: Role of Verification. - Michael D. Harrison (DSV-IS, 1995)

A requirements space for group-work systems. - John C. McCarthy 002; Peter C. Wright; Michael D. Harrison (INTERACT, 1995)

A task centered approach to analysing human error tolerance requirements. - Bob Fields; Peter C. Wright; Michael D. Harrison (RE, 1995)

Event model of human-system interaction. - David J. Duke; Michael D. Harrison (Softw. Eng. J., 1995)

Mapping user requirements to implementations. - David J. Duke; Michael D. Harrison (Softw. Eng. J., 1995)

Using Interaction Framework to guide the design of interactive systems. - Ann Blandford; Philip J. Barnard; Michael D. Harrison (Int. J. Hum. Comput. Stud., 1995)

Risk Analysis, Impact and Interaction Modelling. - Andrew M. Dearden; Michael D. Harrison (DSV-IS, 1996)

Evaluating the Interfaces of Three Theorem Proving Assistants. - Nicholas A. Merriam; Michael D. Harrison (DSV-IS, 1996)

Impact as a Human Factor in Interactive System Design. - Andrew M. Dearden; Michael D. Harrison (SSS, 1996)

Time, tasks and errors. - Bob Fields; Peter C. Wright; Michael D. Harrison (ACM SIGCHI Bull., 1996)

Formally verifying interactive systems: A review. - José Creissac Campos; Michael D. Harrison (DSV-IS, 1997)

A representational approach to the specification of presentations. - Gavin J. Doherty; Michael D. Harrison (DSV-IS, 1997)

Locating the scene: the particular and the general in contexts for ambulance control. - John C. McCarthy 002; Peter C. Wright; Patrick G. T. Healey; Andrew M. Dearden; Michael D. Harrison (GROUP, 1997)

Objectives, strategies and resources as design drivers. - Bob Fields; Peter C. Wright; Michael D. Harrison (INTERACT, 1997)

Techniques for the design of human error tolerant systems. - Peter C. Wright; Bob Fields; Andrew M. Dearden; Michael D. Harrison (INTERACT, 1997)

Using Executable Interactor Specifications to Explore the Impact of Operator Interaction Errors. - Andrew M. Dearden; Michael D. Harrison (SAFECOMP, 1997)

A Software Engineering Model for Case Memory System. - Andrew M. Dearden; Michael D. Harrison (Comput. J., 1997)

Abstract models for HCI. - Andrew M. Dearden; Michael D. Harrison (Int. J. Hum. Comput. Stud., 1997)

Accountability of work activity in high-consequence work systems: human error in context. - John C. McCarthy 002; Patrick G. T. Healey; Peter C. Wright; Michael D. Harrison (Int. J. Hum. Comput. Stud., 1997)

The Role of Verification in Interactive Systems Design. - José Creissac Campos; Michael D. Harrison (DSV-IS, 1998)

Integrating Joint Behaviour and Dialogue Description. - Gavin J. Doherty; Michael D. Harrison (DSV-IS, 1998)

Working Group 1 Report. - Michael D. Harrison (DSV-IS, 1998)

Desert Island Reading. - Michael D. Harrison (Autom. Softw. Eng., 1998)

Modelling and Analysing Connectivity in an Audio-Visual Communications System. - José Creissac Campos; Michael D. Harrison (DSV-IS, 1999)

Using Scenarios to Envisage the Impact of CBR on Decision-Making Processes. - Anthony D. Griffiths; Michael D. Harrison; Andrew M. Dearden (ICCBR Workshops, 1999)

Case-based Reasoning Systems for Knowledge Mediation. - Anthony D. Griffiths; Michael D. Harrison; Andrew M. Dearden (INTERACT, 1999)

A Case Study in the Specification and Analysis of Design Alternatives for a User Interface. - David J. Duke; Bob Fields; Michael D. Harrison (Formal Aspects Comput., 1999)

Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds? - Karsten Loer; Michael D. Harrison (DSV-IS, 2000)

Verifying the Behaviour of Virtual Environment World Objects. - James S. Willans; Michael D. Harrison (DSV-IS, 2000)

A 'plug and play' approach to testing virtual environment interaction techniques. - James S. Willans; Michael D. Harrison (EGVE, 2000)

Representational Reasoning and Verification. - Gavin J. Doherty; José Creissac Campos; Michael D. Harrison (Formal Aspects Comput., 2000)

Analyzing Human-Computer Interaction as Distributed Cognition: The Resources Model. - Peter C. Wright; Robert E. Fields; Michael D. Harrison (Hum. Comput. Interact., 2000)

Allocation of function: scenarios, context and the economics of effort. - Andy Dearden; Michael D. Harrison; Peter C. Wright (Int. J. Hum. Comput. Stud., 2000)

Prototyping Pre-implementation Designs of Virtual Environment Behaviour. - James S. Willans; Michael D. Harrison (EHCI, 2001)

THEA: A Technique for Human Error Assessment Early in Design. - Steven Pocock; Michael D. Harrison; Peter C. Wright; Paul Johnson (INTERACT, 2001)

Model Checking Interactor Specifications. - José Creissac Campos; Michael D. Harrison (Autom. Softw. Eng., 2001)

Editorial: User centred design and implementation of virtual environments. - Shamus P. Smith; Michael D. Harrison (Int. J. Hum. Comput. Stud., 2001)

A toolset supported approach for designing and testing virtual environment interaction techniques. - James S. Willans; Michael D. Harrison (Int. J. Hum. Comput. Stud., 2001)

Blending Descriptive and Numeric Analysis in Human Reliability Design. - Shamus P. Smith; Michael D. Harrison (DSV-IS, 2002)

Improving Hazard Classification through the Reuse of Descriptive Arguments. - Shamus P. Smith; Michael D. Harrison (ICSR, 2002)

Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems. - Karsten Loer; Michael D. Harrison (ASE, 2002)

Augmenting descriptive scenario analysis for improvements in human reliability design. - Shamus P. Smith; Michael D. Harrison (SAC, 2002)

Automating functions in multi-agent control systems: supporting the decision process. - Michael D. Harrison; P. D. Johnson; Peter C. Wright (SSS, 2002)

From HCI to Software Engineering and Back. - José Creissac Campos; Michael D. Harrison (ICSE Workshop on SE-HCI, 2003)

Reuse in Hazard Analysis: Identification and Support. - Shamus P. Smith; Michael D. Harrison (SAFECOMP, 2003)

Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability. - Michael D. Harrison; Lorenzo Strigini (DSN, 2004)

Using Interaction Style to Match the Ubiquitous User Interface to the Device-to-Hand. - Stephen W. Gilroy; Michael D. Harrison (EHCI/DS-VIS, 2004)

Analysing Dynamic Function Scheduling Decisions. - Karsten Loer; Michael Hildebrandt; Michael D. Harrison (Human Error, Safety and Systems Development, 2004)

How Explicit Are the Barriers to Failure in Safety Arguments? - Shamus P. Smith; Michael D. Harrison; Bastiaan A. Schupp (SAFECOMP, 2004)

Time design: analysing human temporal control behaviour in dynamic real-time systems. - Michael Hildebrandt; Karsten Loer; Michael D. Harrison (SMC (1), 2004)

Verifying user interface behaviour with model checking. - José Creissac Campos; Michael D. Harrison; Karsten Loer (VVEIS, 2004)

Analysing User Confusion in Context Aware Mobile Applications. - Karsten Loer; Michael D. Harrison (INTERACT, 2005)

Measuring reuse in hazard analysis. - Shamus P. Smith; Michael D. Harrison (Reliab. Eng. Syst. Saf., 2005)

Demonstration of Safety in Healthcare Organisations. - Mark-Alexander Sujan; Michael D. Harrison; Alison Steven; Pauline H. Pearson; Susan J. Vernon (SAFECOMP, 2006)

An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation. - Karsten Loer; Michael D. Harrison (Autom. Softw. Eng., 2006)

Names and reference in user interfaces. - Harold W. Thimbleby; Michael D. Harrison (BCS HCI (2), 2007)

Considering Context and Users in Interactive Systems Analysis. - José Creissac Campos; Michael D. Harrison (EHCI/DS-VIS, 2007)

Factoring User Experience into the Design of Ambient and Mobile Systems. - Michael D. Harrison; Christian Kray; Zhiyu Sun; Huqiu Zhang (EHCI/DS-VIS, 2007)

Exploring an Option Space to Engineer a Ubiquitous Computing System. - Michael D. Harrison; Christian Kray; José Creissac Campos (FMIS@BCS HCI, 2007)

Systematic Analysis of Control Panel Interfaces Using Formal Tools. - José Creissac Campos; Michael D. Harrison (DSV-IS, 2008)

Resources for Situated Actions. - Gavin J. Doherty; José Creissac Campos; Michael D. Harrison (DSV-IS, 2008)

Towards a location model for indoor navigation support through public displays and mobile devices. - Christian Kray; Keith Cheverst; Michael D. Harrison; Fathi Hamhoum; Jürgen Wagner (MIRW, 2008)

A Fluid Flow Approach to Usability Analysis of Multi-user Systems. - Mieke Massink; Diego Latella; Maurice H. ter Beek; Michael D. Harrison; Michele Loreti (TAMODIA/HCSE, 2008)

Analysing Human Aspects of Safety-Critical Software. - Michael D. Harrison; José Creissac Campos (ERCIM News, 2008)

SBML: a user interface mark-up language based on interaction style. - Stephen W. Gilroy; Michael D. Harrison (Int. J. Web Eng. Technol., 2008)

Connecting Rigorous System Analysis to Experience-Centered Design. - Michael D. Harrison; José Creissac Campos; Gavin J. Doherty; Karsten Loer (Maturing Usability, 2008)

Interaction engineering using the IVY tool. - José Creissac Campos; Michael D. Harrison (EICS, 2009)

Bridging the gulf between interaction engineering and human reliability assessment. - Michael D. Harrison (EICS, 2009)

Engineering crowd interaction within smart environments. - Michael D. Harrison; Mieke Massink; Diego Latella (EICS, 2009)

An infrastructure for experience centered agile prototyping of ambient intelligence. - José Luís Silva 001; José Creissac Campos; Michael D. Harrison (EICS, 2009)

Preface. - Michael D. Harrison; Mieke Massink (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Modelling Interactive Experience, Function and Performance in Ubiquitous Systems. - Michael D. Harrison; Mieke Massink (PASM@MASCOTS, 2009)

Representations for an iterative resource-based design approach. - Anke Dittmar; Michael D. Harrison (EICS, 2010)

The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets. - José Luís Silva 001; Óscar R. Ribeiro; João M. Fernandes 001; José Creissac Campos; Michael D. Harrison (HCSE, 2010)

Scalable analysis of collective behaviour in smart service systems. - Mieke Massink; Michael D. Harrison; Diego Latella (SAC, 2010)

A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. - Mieke Massink; Diego Latella; Andrea Bracciali; Michael D. Harrison (SEFM, 2010)

Performance Evaluation of Scheduling Policies in a Smart Hospital Environment. - Xiao Chen 003; Nigel Thomas; Michael D. Harrison (CyberC, 2011)

Modelling and analysing the interactive behaviour of an infusion pump. - José Creissac Campos; Michael D. Harrison (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Formal analysis of ubiquitous computing environments through the APEX framework. - José Luís Silva 001; José Creissac Campos; Michael D. Harrison (EICS, 2012)

Formal Performance Modelling: From Protocols to People. - Nigel Thomas; Michael D. Harrison; Yishi Zhao; Xiao Chen 003 (EPEW/UKPEW, 2012)

Using PVS to Investigate Incidents through the Lens of Distributed Cognition. - Paolo Masci 001; Huayi Huang; Paul Curzon; Michael D. Harrison (NASA Formal Methods, 2012)

Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain. - Paolo Masci 001; Dominic Furniss; Paul Curzon; Michael D. Harrison; Ann Blandford (SERENE, 2012)

Scalable context-dependent analysis of emergency egress models. - Mieke Massink; Diego Latella; Andrea Bracciali; Michael D. Harrison; Jane Hillston (Formal Aspects Comput., 2012)

2nd workshop on open resilient human-aware cyber-physical systems. - Mohamed Kaâniche; Michael D. Harrison; Hermann Kopetz; Daniel P. Siewiorek (DSN Workshops, 2013)

Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. - Paolo Masci 001; Anaheed Ayoub; Paul Curzon; Michael D. Harrison; Insup Lee 001; Harold W. Thimbleby (EICS, 2013)

Using Medical Device Logs for Improving Medical Device Design. - Abigail Cauchi; Harold W. Thimbleby; Patrick Oladimeji; Michael D. Harrison (ICHI, 2013)

Integrating Formal Predictions of Interactive System Behaviour with User Evaluation. - Rimvydas Ruksenas; Paul Curzon; Michael D. Harrison (IFM, 2013)

Automated theorem proving for the systematic analysis of an infusion pump. - Michael D. Harrison; Paolo Masci 001; José Creissac Campos; Paul Curzon (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. - Rimvydas Ruksenas; Paolo Masci 001; Michael D. Harrison; Paul Curzon (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Formal Verification of Safety-Critical User Interfaces: a space system case study. - Manuel Sousa; José Creissac Campos; Miriam C. Bergue Alves; Michael D. Harrison (AAAI Spring Symposia, 2014)

Demonstrating that Medical Devices Satisfy User Related Safety Requirements. - Michael D. Harrison; Paolo Masci 001; José Creissac Campos; Paul Curzon (FHIES/SEHC, 2014)

Rapid development of first person serious games using the APEX platform: the asthma game. - Tiago Gomes 001; Tiago Abade; José Creissac Campos; Michael D. Harrison; José Luís Silva 001 (SAC, 2014)

A Virtual Environment based Serious Game to Support Health Education. - Tiago Gomes 001; Tiago Abade; José Creissac Campos; Michael D. Harrison; José Luís Silva 001 (EAI Endorsed Trans. Ambient Syst., 2014)

Analysing interactive devices based on information resource constraints. - José Creissac Campos; Gavin J. Doherty; Michael D. Harrison (Int. J. Hum. Comput. Stud., 2014)

Prototyping and analysing ubiquitous computing environments using multiple layers. - José Luís Silva 001; José Creissac Campos; Michael D. Harrison (Int. J. Hum. Comput. Stud., 2014)

Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes. - José Creissac Campos; Tiago Abade; José Luís Silva 001; Michael D. Harrison (IWAAL, 2015)

Reusing models and properties in the analysis of similar interactive devices. - Michael D. Harrison; José Creissac Campos; Paolo Masci 001 (Innov. Syst. Softw. Eng., 2015)

Modelling information resources and their salience in medical device design. - Michael D. Harrison; José Creissac Campos; Rimvydas Ruksenas; Paul Curzon (EICS, 2016)

Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. - Camille Fayollas; Célia Martinie; Philippe A. Palanque; Paolo Masci 001; Michael D. Harrison; José Creissac Campos; Saulo Rodrigues e Silva (F-IDE@FM, 2016)

Templates as heuristics for proving properties of medical devices. - Michael D. Harrison; José Creissac Campos; Paolo Masci 001; Paul Curzon (EAI Endorsed Trans. Creative Technol., 2016)

Formal Verification of a Space System's User Interface With the IVY Workbench. - José Creissac Campos; Manuel Sousa; Miriam C. Bergue Alves; Michael D. Harrison (IEEE Trans. Hum. Mach. Syst., 2016)

The Specification and Analysis of Use Properties of a Nuclear Control System. - Michael D. Harrison; Paolo M. Masci; José Creissac Campos; Paul Curzon (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)

Safety Analysis of Software Components of a Dialysis Machine Using Model Checking. - Michael D. Harrison; Michael J. Drinnan; José Creissac Campos; Paolo Masci 001; Leo Freitas; Costanzo di Maria; Michael Whitaker (FACS, 2017)

Don't go in there! using the APEX framework in the design of ambient assisted living systems. - José Creissac Campos; Tiago Abade; José Luís Silva 001; Michael D. Harrison (J. Ambient Intell. Humaniz. Comput., 2017)

Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices. - Michael D. Harrison; Paolo Masci 001; José Creissac Campos; Paul Curzon (IEEE Trans. Hum. Mach. Syst., 2017)

Formal Modelling as a Component of User Centred Design. - Michael D. Harrison; Paolo Masci 001; José Creissac Campos (STAF Workshops, 2018)

Formal Verification of Interactive Computing Systems: Opportunities, Challenges. - José Creissac Campos; Michael D. Harrison (EICS Workshops, 2019)

Examples of the Application of Formal Methods to Interactive Systems. - Michael D. Harrison (FM Workshops (1), 2019)

Formal techniques in the safety analysis of software components of a new dialysis machine. - Michael D. Harrison; Leo Freitas; Michael J. Drinnan; José Creissac Campos; Paolo Masci 001; Costanzo di Maria; Michael Whitaker (Sci. Comput. Program., 2019)

Verification Templates for the Analysis of User Interface Software Design. - Michael D. Harrison; Paolo Masci 001; José Creissac Campos (IEEE Trans. Software Eng., 2019)

Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. - José Creissac Campos; Camille Fayollas; Michael D. Harrison; Célia Martinie; Paolo Masci 001; Philippe A. Palanque (ACM Trans. Comput. Hum. Interact., 2020)

Proving Display Conformance and Action Consistency: The Example of an Integrated Clinical Environment. - Michael D. Harrison; Paolo Masci 001 (INTERACT (Workshops), 2021)

Control Rooms from a Human-Computer Interaction Perspective. - Tilo Mentler; Philippe A. Palanque; Michael D. Harrison; Kristof Van Laerhoven; Paolo Masci 001 (INTERACT (Workshops), 2021)

Balancing the formal and the informal in user-centred design. - Michael D. Harrison; Paolo Masci 001; José Creissac Campos (Interact. Comput., 2021)