1
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;
SOURCE: The Handbook of Formal Methods in Human-Computer Interaction., PUBLISHED: 2017
INDEXED IN: 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: Camille Fayollas; Célia Martinie; Philippe A. Palanque; Paolo Masci ; Michael D. Harrison ; José Creissac Campos ; Saulo Rodrigues e Silva ;
SOURCE: 3rd Workshop on Formal Integrated Development Environment, F-IDE 2016 in Proceedings of the Third Workshop on Formal Integrated Development Environment., VOLUME: abs/1701.07925, PUBLISHED: 2016
INDEXED IN: Scopus DBLP arXiv CrossRef: 21
3
TITLE: Formal Verification of a Space System's User Interface With the IVY Workbench  Full Text
AUTHORS: Jose Creissac Campos ; Manuel Sousa; Miriam C B Bergue Alves; Michael D Harrison ;
SOURCE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 46, ISSUE: 2, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef: 6
4
TITLE: Modelling information resources and their salience in medical device design
AUTHORS: Michael D Harrison ; José Creissac Campos ; Rimvydas Ruksenas; Paul Curzon;
SOURCE: 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2016 in Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2016, Brussels, Belgium, June 21-24, 2016, PUBLISHED: 2016
INDEXED IN: Scopus DBLP CrossRef: 4
5
TITLE: Templates as heuristics for proving properties of medical devices
AUTHORS: Michael D Harrison ; José Creissac Campos ; Paolo Masci ; Paul Curzon;
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, PUBLISHED: 2016
INDEXED IN: Scopus DBLP CrossRef
6
TITLE: Reusing models and properties in the analysis of similar interactive devices  Full Text
AUTHORS: Michael D Harrison ; Jose Creissac Campos ; Paolo Masci ;
SOURCE: INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, VOLUME: 11, ISSUE: 2, PUBLISHED: 2015
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID
7
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 ;
SOURCE: 7th International Work-Conference on Ambient Assisted Living (IWAAL) in AMBIENT ASSISTED LIVING: ICT-BASED SOLUTIONS IN REAL LIFE SITUATIONS, VOLUME: 9455, PUBLISHED: 2015
INDEXED IN: Scopus WOS DBLP CrossRef: 1
8
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;
SOURCE: ICST Trans. Ambient Systems, VOLUME: 1, ISSUE: 3, PUBLISHED: 2014
INDEXED IN: DBLP CrossRef: 1
9
TITLE: Analysing interactive devices based on information resource constraints  Full Text
AUTHORS: Jose Creissac Campos ; Gavin Doherty; Michael D Harrison ;
SOURCE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, VOLUME: 72, ISSUE: 3, PUBLISHED: 2014
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID
10
TITLE: Formal Verification of Safety-Critical User Interfaces: a space system case study
AUTHORS: Manuel Sousa; José Creissac Campos ; Miriam C Bergue Alves; Michael D Harrison ;
SOURCE: 2014 AAAI Spring Symposium in 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014, VOLUME: SS-14-02, PUBLISHED: 2014
INDEXED IN: Scopus DBLP
IN MY: ORCID
Page 1 of 10. Total results: 95.