Michael Douglas Harrison
AuthID: R-00F-KRW
1
TITLE: Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium - Swansea, UK, June 26-27, 2023, Selected Papers
AUTHORS: Michael D Harrison; Célia Martinie; Nicholas Micallef; Philippe A Palanque; Albrecht Schmidt; Marco Winckler; Enes Yigitbas; Luciana A M Zaina;
PUBLISHED: 2024, SOURCE: EICS (Workshops), VOLUME: 14517
AUTHORS: Michael D Harrison; Célia Martinie; Nicholas Micallef; Philippe A Palanque; Albrecht Schmidt; Marco Winckler; Enes Yigitbas; Luciana A M Zaina;
PUBLISHED: 2024, SOURCE: EICS (Workshops), VOLUME: 14517
INDEXED IN: 
DBLP
DBLP2
TITLE: Control Rooms from a Human-Computer Interaction Perspective
AUTHORS: Tilo Mentler; Philippe Palanque; Michael D Harrison; Kristof Van Laerhoven; Paolo Masci;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science - Sense, Feel, Design
AUTHORS: Tilo Mentler; Philippe Palanque; Michael D Harrison; Kristof Van Laerhoven; Paolo Masci;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science - Sense, Feel, Design
3
TITLE: Proving Display Conformance and Action Consistency: The Example of an Integrated Clinical Environment
AUTHORS: Michael D Harrison; Paolo Masci;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science - Sense, Feel, Design
AUTHORS: Michael D Harrison; Paolo Masci;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science - Sense, Feel, Design
4
TITLE: Examples of the Application of Formal Methods to Interactive Systems
AUTHORS: Michael D Harrison;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science - Formal Methods. FM 2019 International Workshops
AUTHORS: Michael D Harrison;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science - Formal Methods. FM 2019 International Workshops
5
TITLE: Formal techniques in the safety analysis of software components of a new dialysis machine Full Text
AUTHORS: Harrison, MD; Freitas, L; Drinnan, M; Campos, JC ; Masci, P ; di Maria, C; Whitaker, M;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
AUTHORS: Harrison, MD; Freitas, L; Drinnan, M; Campos, JC ; Masci, P ; di Maria, C; Whitaker, M;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
6
TITLE: Verification Templates for the Analysis of User Interface Software Design Full Text
AUTHORS: Harrison, MD; Masci, P; Campos, JC ;
PUBLISHED: 2019, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 45, ISSUE: 8
AUTHORS: Harrison, MD; Masci, P; Campos, JC ;
PUBLISHED: 2019, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 45, ISSUE: 8
7
TITLE: Formal Verification of Interactive Computing Systems: Opportunities, Challenges
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2019, SOURCE: EICS Workshops, VOLUME: 2503
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2019, SOURCE: EICS Workshops, VOLUME: 2503
INDEXED IN: 
Scopus DBLP
Scopus DBLP8
TITLE: Formal Modelling as a Component of User Centred Design
AUTHORS: Michael D Harrison; Paolo Masci ; José Creissac Campos ;
PUBLISHED: 2018, SOURCE: STAF Workshops, VOLUME: 11176 LNCS
AUTHORS: Michael D Harrison; Paolo Masci ; José Creissac Campos ;
PUBLISHED: 2018, SOURCE: STAF Workshops, VOLUME: 11176 LNCS
9
TITLE: Safety Analysis of Software Components of a Dialysis Machine Using Model Checking
AUTHORS: Harrison, MD; Drinnan, M; Campos, JC ; Masci, P ; Freitas, L; di Maria, C; Whitaker, M;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487
AUTHORS: Harrison, MD; Drinnan, M; Campos, JC ; Masci, P ; Freitas, L; di Maria, C; Whitaker, M;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487
10
TITLE: Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices Full Text
AUTHORS: Harrison, MD; Masci, P ; Campos, JC ; Curzon, P;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 47, ISSUE: 6
AUTHORS: Harrison, MD; Masci, P ; Campos, JC ; Curzon, P;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 47, ISSUE: 6
