Michael Douglas Harrison


AuthID: R-00F-KRW

Confirmed Publications: 96



1
TITLE: Balancing the Formal and the Informal in User-centred Design  Full Text
AUTHORS: Harrison, MD ; Masci, P; Campos, JC ;
PUBLISHED: 2021, SOURCE: INTERACTING WITH COMPUTERS, VOLUME: 33, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef
2
TITLE: Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web PDF  Full Text
AUTHORS: Fayollas, C; Martinie, C; Palanque, P; Masci, P ; Harrison, MD ; Campos, JC ; Silva, SRE ;
PUBLISHED: 2017, SOURCE: 3rd Workshop on Formal Integrated Development Environment, F-IDE 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/1701.07925, ISSUE: 240
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 1
3
TITLE: The Specification and Analysis of Use Properties of a Nuclear Control System
AUTHORS: Michael D Harrison ; Paolo M Masci ; José Creissac Campos ; Paul Curzon;
PUBLISHED: 2017, SOURCE: The Handbook of Formal Methods in Human-Computer Interaction.
INDEXED IN: DBLP CrossRef: 1
4
TITLE: Formal Verification of a Space System's User Interface With the IVY Workbench  Full Text
AUTHORS: Campos, JC ; Sousa, M; Alves, MCB; Harrison, MD ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 46, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 10
5
TITLE: Modelling information resources and their salience in medical device design
AUTHORS: Harrison, MD ; Campos, JC ; Ruksenas, R; Curzon, P;
PUBLISHED: 2016, SOURCE: 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in EICS'16: PROCEEDINGS OF THE 8TH ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS
INDEXED IN: Scopus WOS DBLP CrossRef
6
TITLE: Templates as heuristics for proving properties of medical devices
AUTHORS: Michael D Harrison ; José Creissac Campos ; Paolo Masci ; Paul Curzon;
PUBLISHED: 2016, SOURCE: 5th EAI International Conference on Wireless Mobile Communication and Healthcare - Transforming Healthcare through Innovations in Mobile and Wireless Technologies, MOBIHEALTH 2015 in EAI Endorsed Trans. Creative Technologies, VOLUME: 3, ISSUE: 8
INDEXED IN: Scopus DBLP CrossRef Handle
7
TITLE: Reusing models and properties in the analysis of similar interactive devices  Full Text
AUTHORS: Michael D Harrison ; Jose Creissac Campos ; Paolo Masci ;
PUBLISHED: 2015, SOURCE: INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, VOLUME: 11, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 13
IN MY: ORCID
8
TITLE: Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes
AUTHORS: Jose C Campos ; Tiago Abade; Jose Luis Silva ; Michael D Harrison ;
PUBLISHED: 2015, SOURCE: 7th International Work-Conference on Ambient Assisted Living (IWAAL) in AMBIENT ASSISTED LIVING: ICT-BASED SOLUTIONS IN REAL LIFE SITUATIONS, VOLUME: 9455
INDEXED IN: Scopus WOS DBLP CrossRef: 1
9
TITLE: A Virtual Environment based Serious Game to Support Health Education
AUTHORS: Tiago Gomes; Tiago Abade; José Creissac Campos ; Michael D Harrison ; José Luís Silva;
PUBLISHED: 2014, SOURCE: ICST Trans. Ambient Systems, VOLUME: 1, ISSUE: 3
INDEXED IN: DBLP CrossRef: 1
10
TITLE: Analysing interactive devices based on information resource constraints  Full Text
AUTHORS: Jose Creissac Campos ; Gavin Doherty; Michael D Harrison ;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, VOLUME: 72, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: ORCID
Page 1 of 10. Total results: 96.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service