Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Professor Michael Harrison

Newcastle AuthorsTitleYearFull text
Professor Michael Harrison
Balancing the formal and the informal in user-centred design2021
Professor Michael Harrison
Control Rooms from a Human-Computer Interaction Perspective2021
Professor Michael Harrison
Proving Display Conformance and Action Consistency: The Example of an Integrated Clinical Environment2021
Professor Michael Harrison
Examples of the application of formal methods to interactive systems2020
Professor Michael Harrison
Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools2020
Professor Michael Harrison
Dr Leo Freitas
Dr Michael Drinnan
Costanzo Di Maria
Formal Techniques in the Safety Analysis of Software Components of a new Dialysis Machine2019
Professor Michael Harrison
Formal verification of interactive computing systems: Opportunities and challenges2019
Professor Michael Harrison
Formal Modelling as a Component of User Centred Design2018
Professor Michael Harrison
Verification Templates for the Analysis of User Interface Software Design2018
Professor Michael Harrison
Case Studies2017
Professor Michael Harrison
Demonstrating that medical devices satisfy user related safety requirements2017
Professor Michael Harrison
Don’t go in there! using the APEX framework in the design of ambient assisted living systems2017
Professor Michael Harrison
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web2017
Professor Michael Harrison
Dr Michael Drinnan
Dr Leo Freitas
Costanzo Di Maria
Emeritus Professor Michael Whitaker
Safety Analysis of Software Components of a Dialysis Machine Using Model Checking2017
Professor Michael Harrison
The Specification and Analysis of Use Properties of a Nuclear Control System2017
123456789