Michael D. Harrison

ORCID

Publication Activity (10 Years)

Years Active: 1976-2021
Publications (10 Years): 16

Top Venues

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

Int. J. Hum. Comput. Stud.

INTERACT (Workshops)

EICS

Publications

Michael D. Harrison, Paolo Masci, José Creissac Campos
Balancing the formal and the informal in user-centred design. Interact. Comput. 33 (1) (2021)
Michael D. Harrison, Paolo Masci
Proving Display Conformance and Action Consistency: The Example of an Integrated Clinical Environment. INTERACT (Workshops) (2021)
Tilo Mentler, Philippe A. Palanque, Michael D. Harrison, Kristof Van Laerhoven, Paolo Masci
Control Rooms from a Human-Computer Interaction Perspective. INTERACT (Workshops) (2021)
José Creissac Campos, Camille Fayollas, Michael D. Harrison, Célia Martinie, Paolo Masci, Philippe A. Palanque
Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Trans. Comput. Hum. Interact. 27 (5) (2020)
Michael D. Harrison, Paolo Masci, José Creissac Campos
Verification Templates for the Analysis of User Interface Software Design. IEEE Trans. Software Eng. 45 (8) (2019)
Michael D. Harrison
Examples of the Application of Formal Methods to Interactive Systems. FM Workshops (1) (2019)
Michael D. Harrison, Leo Freitas, Michael J. Drinnan, José Creissac Campos, Paolo Masci, Costanzo di Maria, Michael Whitaker
Formal techniques in the safety analysis of software components of a new dialysis machine. Sci. Comput. Program. 175 (2019)
José Creissac Campos, Michael D. Harrison
Formal Verification of Interactive Computing Systems: Opportunities, Challenges. EICS Workshops (2019)
Michael D. Harrison, Paolo Masci, José Creissac Campos
Formal Modelling as a Component of User Centred Design. STAF Workshops (2018)
Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon
Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices. IEEE Trans. Hum. Mach. Syst. 47 (6) (2017)
José Creissac Campos, Tiago Abade, José Luís Silva, Michael D. Harrison
Don't go in there! using the APEX framework in the design of ambient assisted living systems. J. Ambient Intell. Humaniz. Comput. 8 (4) (2017)
Michael D. Harrison, Michael J. Drinnan, José Creissac Campos, Paolo Masci, Leo Freitas, Costanzo di Maria, Michael Whitaker
Safety Analysis of Software Components of a Dialysis Machine Using Model Checking. FACS (2017)
Michael D. Harrison, José Creissac Campos, Rimvydas Ruksenas, Paul Curzon
Modelling information resources and their salience in medical device design. EICS (2016)
José Creissac Campos, Manuel Sousa, Miriam C. Bergue Alves, Michael D. Harrison
Formal Verification of a Space System's User Interface With the IVY Workbench. IEEE Trans. Hum. Mach. Syst. 46 (2) (2016)
Camille Fayollas, Célia Martinie, Philippe A. Palanque, Paolo Masci, Michael D. Harrison, José Creissac Campos, Saulo Rodrigues e Silva
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. F-IDE@FM (2016)
Michael D. Harrison, José Creissac Campos, Paolo Masci, Paul Curzon
Templates as heuristics for proving properties of medical devices. EAI Endorsed Trans. Creative Technol. 3 (8) (2016)
José Creissac Campos, Tiago Abade, José Luís Silva, Michael D. Harrison
Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes. IWAAL (2015)
Michael D. Harrison, José Creissac Campos, Paolo Masci
Reusing models and properties in the analysis of similar interactive devices. Innov. Syst. Softw. Eng. 11 (2) (2015)
Manuel Sousa, José Creissac Campos, Miriam C. Bergue Alves, Michael D. Harrison
Formal Verification of Safety-Critical User Interfaces: a space system case study. AAAI Spring Symposia (2014)
José Luís Silva, José Creissac Campos, Michael D. Harrison
Prototyping and analysing ubiquitous computing environments using multiple layers. Int. J. Hum. Comput. Stud. 72 (5) (2014)
Tiago Gomes, Tiago Abade, José Creissac Campos, Michael D. Harrison, José Luís Silva
A Virtual Environment based Serious Game to Support Health Education. EAI Endorsed Trans. Ambient Syst. 1 (3) (2014)
Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon
Demonstrating that Medical Devices Satisfy User Related Safety Requirements. FHIES/SEHC (2014)
José Creissac Campos, Gavin J. Doherty, Michael D. Harrison
Analysing interactive devices based on information resource constraints. Int. J. Hum. Comput. Stud. 72 (3) (2014)
Tiago Gomes, Tiago Abade, José Creissac Campos, Michael D. Harrison, José Luís Silva
Rapid development of first person serious games using the APEX platform: the asthma game. SAC (2014)
Abigail Cauchi, Harold W. Thimbleby, Patrick Oladimeji, Michael D. Harrison
Using Medical Device Logs for Improving Medical Device Design. ICHI (2013)
Rimvydas Ruksenas, Paul Curzon, Michael D. Harrison
Integrating Formal Predictions of Interactive System Behaviour with User Evaluation. IFM (2013)
Rimvydas Ruksenas, Paolo Masci, Michael D. Harrison, Paul Curzon
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013)
Mohamed Kaâniche, Michael D. Harrison, Hermann Kopetz, Daniel P. Siewiorek
workshop on open resilient human-aware cyber-physical systems. DSN Workshops (2013)
Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon
Automated theorem proving for the systematic analysis of an infusion pump. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013)
Paolo Masci, Anaheed Ayoub, Paul Curzon, Michael D. Harrison, Insup Lee, Harold W. Thimbleby
Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. EICS (2013)
José Luís Silva, José Creissac Campos, Michael D. Harrison
Formal analysis of ubiquitous computing environments through the APEX framework. EICS (2012)
Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison, Jane Hillston
Scalable context-dependent analysis of emergency egress models. Formal Aspects Comput. 24 (2) (2012)
Paolo Masci, Huayi Huang, Paul Curzon, Michael D. Harrison
Using PVS to Investigate Incidents through the Lens of Distributed Cognition. NASA Formal Methods (2012)
Nigel Thomas, Michael D. Harrison, Yishi Zhao, Xiao Chen
Formal Performance Modelling: From Protocols to People. EPEW/UKPEW (2012)
Paolo Masci, Dominic Furniss, Paul Curzon, Michael D. Harrison, Ann Blandford
Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain. SERENE (2012)
José Creissac Campos, Michael D. Harrison
Modelling and analysing the interactive behaviour of an infusion pump. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011)
Xiao Chen, Nigel Thomas, Michael D. Harrison
Performance Evaluation of Scheduling Policies in a Smart Hospital Environment. CyberC (2011)
Anke Dittmar, Michael D. Harrison
Representations for an iterative resource-based design approach. EICS (2010)
José Luís Silva, Óscar R. Ribeiro, João M. Fernandes, José Creissac Campos, Michael D. Harrison
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets. HCSE (2010)
Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. SEFM (2010)
Mieke Massink, Michael D. Harrison, Diego Latella
Scalable analysis of collective behaviour in smart service systems. SAC (2010)
Michael D. Harrison, Mieke Massink
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems. Electron. Notes Theor. Comput. Sci. 261 (2010)
Michael D. Harrison, Mieke Massink
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009)
Michael D. Harrison, Mieke Massink, Diego Latella
Engineering crowd interaction within smart environments. EICS (2009)
Michael D. Harrison
Bridging the gulf between interaction engineering and human reliability assessment. EICS (2009)
José Luís Silva, José Creissac Campos, Michael D. Harrison
An infrastructure for experience centered agile prototyping of ambient intelligence. EICS (2009)
José Creissac Campos, Michael D. Harrison
Interaction engineering using the IVY tool. EICS (2009)
Mieke Massink, Diego Latella, Maurice H. ter Beek, Michael D. Harrison, Michele Loreti
A Fluid Flow Approach to Usability Analysis of Multi-user Systems. TAMODIA/HCSE (2008)
Michael D. Harrison, José Creissac Campos
Analysing Human Aspects of Safety-Critical Software. ERCIM News 2008 (75) (2008)
José Creissac Campos, Michael D. Harrison
Systematic Analysis of Control Panel Interfaces Using Formal Tools. DSV-IS (2008)
Christian Kray, Keith Cheverst, Michael D. Harrison, Fathi Hamhoum, Jürgen Wagner
Towards a location model for indoor navigation support through public displays and mobile devices. MIRW (2008)
Gavin J. Doherty, José Creissac Campos, Michael D. Harrison
Resources for Situated Actions. DSV-IS (2008)
Michael D. Harrison, Christian Kray, José Creissac Campos
Exploring an Option Space to Engineer a Ubiquitous Computing System. Electron. Notes Theor. Comput. Sci. 208 (2008)
Stephen W. Gilroy, Michael D. Harrison
SBML: a user interface mark-up language based on interaction style. Int. J. Web Eng. Technol. 4 (2) (2008)
José Creissac Campos, Michael D. Harrison
Considering Context and Users in Interactive Systems Analysis. EHCI/DS-VIS (2007)
Harold W. Thimbleby, Michael D. Harrison
Names and reference in user interfaces. BCS HCI (2) (2007)
Michael D. Harrison, Christian Kray, Zhiyu Sun, Huqiu Zhang
Factoring User Experience into the Design of Ambient and Mobile Systems. EHCI/DS-VIS (2007)
Mark-Alexander Sujan, Michael D. Harrison, Alison Steven, Pauline H. Pearson, Susan J. Vernon
Demonstration of Safety in Healthcare Organisations. SAFECOMP (2006)
Karsten Loer, Michael D. Harrison
An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation. Autom. Softw. Eng. 13 (4) (2006)
Shamus P. Smith, Michael D. Harrison
Measuring reuse in hazard analysis. Reliab. Eng. Syst. Saf. 89 (1) (2005)
Karsten Loer, Michael D. Harrison
Analysing User Confusion in Context Aware Mobile Applications. INTERACT (2005)
Michael D. Harrison, Lorenzo Strigini
Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability. DSN (2004)
Shamus P. Smith, Michael D. Harrison, Bastiaan A. Schupp
How Explicit Are the Barriers to Failure in Safety Arguments? SAFECOMP (2004)
Stephen W. Gilroy, Michael D. Harrison
Using Interaction Style to Match the Ubiquitous User Interface to the Device-to-Hand. EHCI/DS-VIS (2004)
Michael Hildebrandt, Karsten Loer, Michael D. Harrison
Time design: analysing human temporal control behaviour in dynamic real-time systems. SMC (1) (2004)
José Creissac Campos, Michael D. Harrison, Karsten Loer
Verifying user interface behaviour with model checking. VVEIS (2004)
Karsten Loer, Michael Hildebrandt, Michael D. Harrison
Analysing Dynamic Function Scheduling Decisions. Human Error, Safety and Systems Development (2004)
Shamus P. Smith, Michael D. Harrison
Reuse in Hazard Analysis: Identification and Support. SAFECOMP (2003)
José Creissac Campos, Michael D. Harrison
From HCI to Software Engineering and Back. ICSE Workshop on SE-HCI (2003)
Shamus P. Smith, Michael D. Harrison
Blending Descriptive and Numeric Analysis in Human Reliability Design. DSV-IS (2002)
Shamus P. Smith, Michael D. Harrison
Improving Hazard Classification through the Reuse of Descriptive Arguments. ICSR (2002)
Shamus P. Smith, Michael D. Harrison
Augmenting descriptive scenario analysis for improvements in human reliability design. SAC (2002)
Karsten Loer, Michael D. Harrison
Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems. ASE (2002)
Michael D. Harrison, P. D. Johnson, Peter C. Wright
Automating functions in multi-agent control systems: supporting the decision process. SSS (2002)
Steven Pocock, Michael D. Harrison, Peter C. Wright, Paul Johnson
THEA: A Technique for Human Error Assessment Early in Design. INTERACT (2001)
James S. Willans, Michael D. Harrison
Prototyping Pre-implementation Designs of Virtual Environment Behaviour. EHCI (2001)
Shamus P. Smith, Michael D. Harrison
Editorial: User centred design and implementation of virtual environments. Int. J. Hum. Comput. Stud. 55 (2) (2001)
José Creissac Campos, Michael D. Harrison
Model Checking Interactor Specifications. Autom. Softw. Eng. 8 (3-4) (2001)
James S. Willans, Michael D. Harrison
A toolset supported approach for designing and testing virtual environment interaction techniques. Int. J. Hum. Comput. Stud. 55 (2) (2001)
Andy Dearden, Michael D. Harrison, Peter C. Wright
Allocation of function: scenarios, context and the economics of effort. Int. J. Hum. Comput. Stud. 52 (2) (2000)
Gavin J. Doherty, José Creissac Campos, Michael D. Harrison
Representational Reasoning and Verification. Formal Aspects Comput. 12 (4) (2000)
Karsten Loer, Michael D. Harrison
Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds? DSV-IS (2000)
James S. Willans, Michael D. Harrison
A 'plug and play' approach to testing virtual environment interaction techniques. EGVE (2000)
James S. Willans, Michael D. Harrison
Verifying the Behaviour of Virtual Environment World Objects. DSV-IS (2000)
Peter C. Wright, Robert E. Fields, Michael D. Harrison
Analyzing Human-Computer Interaction as Distributed Cognition: The Resources Model. Hum. Comput. Interact. 15 (1) (2000)
José Creissac Campos, Michael D. Harrison
Modelling and Analysing Connectivity in an Audio-Visual Communications System. DSV-IS (1999)
Anthony D. Griffiths, Michael D. Harrison, Andrew M. Dearden
Case-based Reasoning Systems for Knowledge Mediation. INTERACT (1999)
Anthony D. Griffiths, Michael D. Harrison, Andrew M. Dearden
Using Scenarios to Envisage the Impact of CBR on Decision-Making Processes. ICCBR Workshops (1999)
David J. Duke, Bob Fields, Michael D. Harrison
A Case Study in the Specification and Analysis of Design Alternatives for a User Interface. Formal Aspects Comput. 11 (2) (1999)
Gavin J. Doherty, Michael D. Harrison
Integrating Joint Behaviour and Dialogue Description. DSV-IS (1998)
Michael D. Harrison
Working Group 1 Report. DSV-IS (1998)
José Creissac Campos, Michael D. Harrison
The Role of Verification in Interactive Systems Design. DSV-IS (1998)
Michael D. Harrison
Desert Island Reading. Autom. Softw. Eng. 5 (3) (1998)
Andrew M. Dearden, Michael D. Harrison
Using Executable Interactor Specifications to Explore the Impact of Operator Interaction Errors. SAFECOMP (1997)
José Creissac Campos, Michael D. Harrison
Formally verifying interactive systems: A review. DSV-IS (1997)
Andrew M. Dearden, Michael D. Harrison
A Software Engineering Model for Case Memory System. Comput. J. 40 (4) (1997)
Peter C. Wright, Bob Fields, Andrew M. Dearden, Michael D. Harrison
Techniques for the design of human error tolerant systems. INTERACT (1997)
John C. McCarthy, Peter C. Wright, Patrick G. T. Healey, Andrew M. Dearden, Michael D. Harrison
Locating the scene: the particular and the general in contexts for ambulance control. GROUP (1997)
Andrew M. Dearden, Michael D. Harrison
Abstract models for HCI. Int. J. Hum. Comput. Stud. 46 (1) (1997)
John C. McCarthy, Patrick G. T. Healey, Peter C. Wright, Michael D. Harrison
Accountability of work activity in high-consequence work systems: human error in context. Int. J. Hum. Comput. Stud. 47 (6) (1997)

Michael D. Harrison.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael D. Harrison