Michael Douglas Harrison
AuthID: R-00F-KRW
1
TÃTULO: Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium - Swansea, UK, June 26-27, 2023, Selected Papers
AUTORES: Michael D Harrison; Célia Martinie; Nicholas Micallef; Philippe A Palanque; Albrecht Schmidt; Marco Winckler; Enes Yigitbas; Luciana A M Zaina;
PUBLICAÇÃO: 2024, FONTE: EICS (Workshops), VOLUME: 14517
AUTORES: Michael D Harrison; Célia Martinie; Nicholas Micallef; Philippe A Palanque; Albrecht Schmidt; Marco Winckler; Enes Yigitbas; Luciana A M Zaina;
PUBLICAÇÃO: 2024, FONTE: EICS (Workshops), VOLUME: 14517
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Control Rooms from a Human-Computer Interaction Perspective
AUTORES: Tilo Mentler; Philippe Palanque; Michael D Harrison; Kristof Van Laerhoven; Paolo Masci;
PUBLICAÇÃO: 2022, FONTE: Lecture Notes in Computer Science - Sense, Feel, Design
AUTORES: Tilo Mentler; Philippe Palanque; Michael D Harrison; Kristof Van Laerhoven; Paolo Masci;
PUBLICAÇÃO: 2022, FONTE: Lecture Notes in Computer Science - Sense, Feel, Design
3
TÃTULO: Proving Display Conformance and Action Consistency: The Example of an Integrated Clinical Environment
AUTORES: Michael D Harrison; Paolo Masci;
PUBLICAÇÃO: 2022, FONTE: Lecture Notes in Computer Science - Sense, Feel, Design
AUTORES: Michael D Harrison; Paolo Masci;
PUBLICAÇÃO: 2022, FONTE: Lecture Notes in Computer Science - Sense, Feel, Design
4
TÃTULO: Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. An Exploration of Three Formal Tools Full Text
AUTORES: Jose Creissac Campos ; Camille Fayollas; Michael D Harrison; Celia Martinie; Paolo Masci; Philippe Palanque;
PUBLICAÇÃO: 2020, FONTE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, NÚMERO: 5
AUTORES: Jose Creissac Campos ; Camille Fayollas; Michael D Harrison; Celia Martinie; Paolo Masci; Philippe Palanque;
PUBLICAÇÃO: 2020, FONTE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, NÚMERO: 5
5
TÃTULO: Examples of the Application of Formal Methods to Interactive Systems
AUTORES: Michael D Harrison;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science - Formal Methods. FM 2019 International Workshops
AUTORES: Michael D Harrison;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science - Formal Methods. FM 2019 International Workshops
6
TÃTULO: Formal techniques in the safety analysis of software components of a new dialysis machine Full Text
AUTORES: Michael D Harrison; Leo Freitas; Michael Drinnan; Jose C Campos ; Paolo Masci ; Costanzo di Maria; Michael Whitaker;
PUBLICAÇÃO: 2019, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
AUTORES: Michael D Harrison; Leo Freitas; Michael Drinnan; Jose C Campos ; Paolo Masci ; Costanzo di Maria; Michael Whitaker;
PUBLICAÇÃO: 2019, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
7
TÃTULO: Verification Templates for the Analysis of User Interface Software Design Full Text
AUTORES: Harrison, MD; Masci, P; Campos, JC ;
PUBLICAÇÃO: 2019, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 45, NÚMERO: 8
AUTORES: Harrison, MD; Masci, P; Campos, JC ;
PUBLICAÇÃO: 2019, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 45, NÚMERO: 8
8
TÃTULO: Formal Verification of Interactive Computing Systems: Opportunities, Challenges PDF
AUTORES: José Creissac Campos ; Michael D Harrison;
PUBLICAÇÃO: 2019, FONTE: 2019 Joint HCI Engineering - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, HCI Engineering 2019 in Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Valencia, Spain, June 18, 2019., VOLUME: 2503
AUTORES: José Creissac Campos ; Michael D Harrison;
PUBLICAÇÃO: 2019, FONTE: 2019 Joint HCI Engineering - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, HCI Engineering 2019 in Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Valencia, Spain, June 18, 2019., VOLUME: 2503
INDEXADO EM: 
Scopus DBLP
Scopus DBLP9
TÃTULO: Formal Modelling as a Component of User Centred Design
AUTORES: Michael D Harrison; Paolo Masci ; José Creissac Campos ;
PUBLICAÇÃO: 2018, FONTE: International Conference on Software Technologies: Applications and Foundations, STAF 2018 in Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, VOLUME: 11176
AUTORES: Michael D Harrison; Paolo Masci ; José Creissac Campos ;
PUBLICAÇÃO: 2018, FONTE: International Conference on Software Technologies: Applications and Foundations, STAF 2018 in Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, VOLUME: 11176
10
TÃTULO: Safety Analysis of Software Components of a Dialysis Machine Using Model Checking
AUTORES: Harrison, MD; Drinnan, M; Campos, JC ; Masci, P ; Freitas, L; di Maria, C; Whitaker, M;
PUBLICAÇÃO: 2017, FONTE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487
AUTORES: Harrison, MD; Drinnan, M; Campos, JC ; Masci, P ; Freitas, L; di Maria, C; Whitaker, M;
PUBLICAÇÃO: 2017, FONTE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487
