11
TITLE: Prototyping and analysing ubiquitous computing environments using multiple layers  Full Text
AUTHORS: Jose Luis Silva ; Jose Creissac Campos ; Michael D Harrison ;
SOURCE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, VOLUME: 72, ISSUE: 5, PUBLISHED: 2014
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: ORCID
12
TITLE: Rapid development of first person serious games using the APEX platform: The Asthma Game  Full Text
AUTHORS: Gomes, T; Abade, T; Campos, JC ; Harrison, M ; Silva, JL ;
SOURCE: 29th Annual ACM Symposium on Applied Computing, SAC 2014 in Proceedings of the ACM Symposium on Applied Computing, PUBLISHED: 2014
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
14
TITLE: Automated theorem proving for the systematic analysis of an infusion pump
AUTHORS: Michael D Harrison ; Paolo Masci ; José Creissac Campos ; Paul Curzon;
SOURCE: ECEASST, VOLUME: 69, PUBLISHED: 2013
INDEXED IN: Scopus DBLP
15
TITLE: Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach
AUTHORS: Rimvydas Ruksenas; Paolo Masci ; Michael D Harrison ; Paul Curzon;
SOURCE: ECEASST, VOLUME: 69, PUBLISHED: 2013
INDEXED IN: DBLP
16
TITLE: Formal performance modelling: From protocols to people
AUTHORS: Thomas, N; Harrison, M ; Zhao, Y; Chen, X;
SOURCE: 9th European Performance Engineering Workshop, EPEW 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7587 LNCS, PUBLISHED: 2013
INDEXED IN: Scopus CrossRef
IN MY: ORCID
17
TITLE: Integrating formal predictions of interactive system behaviour with user evaluation
AUTHORS: Ruksenas, R; Curzon, P; Harrison, MD ;
SOURCE: 10th International Conference on Integrated Formal Methods, IFM 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7940 LNCS, PUBLISHED: 2013
INDEXED IN: Scopus CrossRef
IN MY: ORCID
18
TITLE: Using medical device logs for improving medical device design
AUTHORS: Cauchi, A; Thimbleby, H; Oladimeji, P; Harrison, M ;
SOURCE: 2013 1st IEEE International Conference on Healthcare Informatics, ICHI 2013 in Proceedings - 2013 IEEE International Conference on Healthcare Informatics, ICHI 2013, PUBLISHED: 2013
INDEXED IN: Scopus CrossRef
IN MY: ORCID
19
TITLE: Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example
AUTHORS: Paolo Masci ; Anaheed Ayoub; Paul Curzon ; Michael D Harrison; Insup Lee; Harold W Thimbleby;
SOURCE: 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2013 in ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'13, London, United Kingdom - June 24 - 27, 2013, PUBLISHED: 2013
INDEXED IN: Scopus DBLP
IN MY: ORCID
20
TITLE: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012
AUTHORS: Simone Diniz Junqueira Barbosa; José Creissac Campos ; Rick Kazman; Philippe A Palanque; Michael D Harrison ; Steve Reeves;
SOURCE: EICS, PUBLISHED: 2012
INDEXED IN: DBLP
Page 2 of 10. Total results: 95.