Michael Douglas Harrison


AuthID: R-00F-KRW

Confirmed Publications: 96



11
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 ;
PUBLISHED: 2014, SOURCE: 2014 AAAI Spring Symposium in 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014, VOLUME: SS-14-02
INDEXED IN: Scopus DBLP
IN MY: ORCID
12
TITLE: Prototyping and analysing ubiquitous computing environments using multiple layers
AUTHORS: Silva, JL ; Campos, JC ; Harrison, MD ;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, VOLUME: 72, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef Handle
IN MY: ORCID
13
TITLE: Rapid development of first person serious games using the APEX platform: The Asthma Game. the asthma game  Full Text
AUTHORS: Gomes, T; Abade, T; Campos, JC ; Harrison, M ; Silva, JL ;
PUBLISHED: 2014, SOURCE: 29th Annual ACM Symposium on Applied Computing, SAC 2014 in Proceedings of the ACM Symposium on Applied Computing
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
14
15
TITLE: Automated theorem proving for the systematic analysis of an infusion pump
AUTHORS: Michael D Harrison ; Paolo Masci ; José Creissac Campos ; Paul Curzon;
PUBLISHED: 2013, SOURCE: ECEASST, VOLUME: 69
INDEXED IN: Scopus DBLP
16
TITLE: Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach
AUTHORS: Rimvydas Ruksenas; Paolo Masci ; Michael D Harrison ; Paul Curzon;
PUBLISHED: 2013, SOURCE: ECEASST, VOLUME: 69
INDEXED IN: DBLP
17
TITLE: Formal performance modelling: From protocols to people
AUTHORS: Thomas, N; Harrison, M ; Zhao, Y; Chen, X;
PUBLISHED: 2013, 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
INDEXED IN: Scopus CrossRef
18
TITLE: Integrating formal predictions of interactive system behaviour with user evaluation
AUTHORS: Ruksenas, R; Curzon, P; Harrison, MD ;
PUBLISHED: 2013, 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
INDEXED IN: Scopus CrossRef: 2
IN MY: ORCID
19
TITLE: Using medical device logs for improving medical device design
AUTHORS: Cauchi, A; Thimbleby, H; Oladimeji, P; Harrison, M ;
PUBLISHED: 2013, SOURCE: 2013 1st IEEE International Conference on Healthcare Informatics, ICHI 2013 in Proceedings - 2013 IEEE International Conference on Healthcare Informatics, ICHI 2013
INDEXED IN: Scopus CrossRef: 3
IN MY: ORCID
20
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;
PUBLISHED: 2013, 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
INDEXED IN: Scopus DBLP
IN MY: ORCID
Page 2 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