1
TÍTULO: The Specification and Analysis of Use Properties of a Nuclear Control System
AUTORES: Michael D Harrison ; Paolo M Masci ; José Creissac Campos ; Paul Curzon;
FONTE: The Handbook of Formal Methods in Human-Computer Interaction., PUBLICAÇÃO: 2017
INDEXADO EM: DBLP CrossRef
2
TÍTULO: Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web PDF  Full Text
AUTORES: Camille Fayollas; Célia Martinie; Philippe A. Palanque; Paolo Masci ; Michael D. Harrison ; José Creissac Campos ; Saulo Rodrigues e Silva ;
FONTE: 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, PUBLICAÇÃO: 2016
INDEXADO EM: Scopus DBLP arXiv CrossRef: 21
3
TÍTULO: Formal Verification of a Space System's User Interface With the IVY Workbench  Full Text
AUTORES: Jose Creissac Campos ; Manuel Sousa; Miriam C B Bergue Alves; Michael D Harrison ;
FONTE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 46, NÚMERO: 2, PUBLICAÇÃO: 2016
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
4
TÍTULO: Modelling information resources and their salience in medical device design
AUTORES: Michael D Harrison ; José Creissac Campos ; Rimvydas Ruksenas; Paul Curzon;
FONTE: 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, PUBLICAÇÃO: 2016
INDEXADO EM: Scopus DBLP CrossRef: 4
5
TÍTULO: Templates as heuristics for proving properties of medical devices
AUTORES: Michael D Harrison ; José Creissac Campos ; Paolo Masci ; Paul Curzon;
FONTE: 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, NÚMERO: 8, PUBLICAÇÃO: 2016
INDEXADO EM: Scopus DBLP CrossRef
6
TÍTULO: Reusing models and properties in the analysis of similar interactive devices  Full Text
AUTORES: Michael D Harrison ; Jose Creissac Campos ; Paolo Masci ;
FONTE: INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, VOLUME: 11, NÚMERO: 2, PUBLICAÇÃO: 2015
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID
7
TÍTULO: Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes
AUTORES: Jose C Campos ; Tiago Abade; Jose Luis Silva ; Michael D Harrison ;
FONTE: 7th International Work-Conference on Ambient Assisted Living (IWAAL) in AMBIENT ASSISTED LIVING: ICT-BASED SOLUTIONS IN REAL LIFE SITUATIONS, VOLUME: 9455, PUBLICAÇÃO: 2015
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
8
TÍTULO: A Virtual Environment based Serious Game to Support Health Education
AUTORES: Tiago Gomes; Tiago Abade; José Creissac Campos ; Michael D Harrison ; José Luís Silva;
FONTE: ICST Trans. Ambient Systems, VOLUME: 1, NÚMERO: 3, PUBLICAÇÃO: 2014
INDEXADO EM: DBLP CrossRef: 1
9
TÍTULO: Analysing interactive devices based on information resource constraints  Full Text
AUTORES: Jose Creissac Campos ; Gavin Doherty; Michael D Harrison ;
FONTE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, VOLUME: 72, NÚMERO: 3, PUBLICAÇÃO: 2014
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID
10
TÍTULO: Formal Verification of Safety-Critical User Interfaces: a space system case study
AUTORES: Manuel Sousa; José Creissac Campos ; Miriam C Bergue Alves; Michael D Harrison ;
FONTE: 2014 AAAI Spring Symposium in 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014, VOLUME: SS-14-02, PUBLICAÇÃO: 2014
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
Página 1 de 10. Total de resultados: 95.