Michael Douglas Harrison
AuthID: R-00F-KRW
1
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
INDEXED IN: 
CrossRef
CrossRef2
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
INDEXED IN: CrossRef
CrossRef3
TITLE: Global Patterns and Controls of Nutrient Immobilization on Decomposing Cellulose in Riverine Ecosystems Full Text
AUTHORS: Costello, David M.; Tiegs, Scott D.; Boyero, Luz; Canhoto, Cristina; Capps, Krista A.; Danger, Michael; Frost, Paul C.; Gessner, Mark O.; Griffiths, Natalie A.; Halvorson, Halvor M.; Kuehn, Kevin A.; Marcarelli, Amy M.; Royer, Todd, V; Mathie, Devan M.; Albarino, Ricardo J.; Arango, Clay P.; Aroviita, Jukka; Baxter, Colden, V; Bellinger, Brent J.; Bruder, Andreas; ...More
PUBLISHED: 2022, SOURCE: GLOBAL BIOGEOCHEMICAL CYCLES, VOLUME: 36, ISSUE: 3
AUTHORS: Costello, David M.; Tiegs, Scott D.; Boyero, Luz; Canhoto, Cristina; Capps, Krista A.; Danger, Michael; Frost, Paul C.; Gessner, Mark O.; Griffiths, Natalie A.; Halvorson, Halvor M.; Kuehn, Kevin A.; Marcarelli, Amy M.; Royer, Todd, V; Mathie, Devan M.; Albarino, Ricardo J.; Arango, Clay P.; Aroviita, Jukka; Baxter, Colden, V; Bellinger, Brent J.; Bruder, Andreas; ...More
PUBLISHED: 2022, SOURCE: GLOBAL BIOGEOCHEMICAL CYCLES, VOLUME: 36, ISSUE: 3
INDEXED IN: 
WOS
WOS4
TITLE: Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. An Exploration of Three Formal Tools Full Text
AUTHORS: Jose Creissac Campos ; Camille Fayollas; Michael D Harrison; Celia Martinie; Paolo Masci; Philippe Palanque;
PUBLISHED: 2020, SOURCE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, ISSUE: 5
AUTHORS: Jose Creissac Campos ; Camille Fayollas; Michael D Harrison; Celia Martinie; Paolo Masci; Philippe Palanque;
PUBLISHED: 2020, SOURCE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, ISSUE: 5
5
TITLE: Biodiversity of leaf litter fungi in streams along a latitudinal gradient Full Text
AUTHORS: Sahadevan Seena; Felix Barlocher; Olimpia Sobral; Mark O Gessner; David Dudgeon; Brendan G McKie; Eric Chauvet; Luz Boyero; Veronica Ferreira; Andre Frainer; Andreas Bruder; Christoph D Matthaei; Stefano Fenoglio; Kandikere R Sridhar; Ricardo J Albarino; Michael M Douglas; Andrea C Encalada; Erica Garcia; Sudeep D Ghate; Darren P Giling; ...More
PUBLISHED: 2019, SOURCE: SCIENCE OF THE TOTAL ENVIRONMENT, VOLUME: 661
AUTHORS: Sahadevan Seena; Felix Barlocher; Olimpia Sobral; Mark O Gessner; David Dudgeon; Brendan G McKie; Eric Chauvet; Luz Boyero; Veronica Ferreira; Andre Frainer; Andreas Bruder; Christoph D Matthaei; Stefano Fenoglio; Kandikere R Sridhar; Ricardo J Albarino; Michael M Douglas; Andrea C Encalada; Erica Garcia; Sudeep D Ghate; Darren P Giling; ...More
PUBLISHED: 2019, SOURCE: SCIENCE OF THE TOTAL ENVIRONMENT, VOLUME: 661
INDEXED IN: WOS
WOS6
TITLE: Formal techniques in the safety analysis of software components of a new dialysis machine Full Text
AUTHORS: Michael D Harrison; Leo Freitas; Michael Drinnan; Jose C Campos ; Paolo Masci ; Costanzo di Maria; Michael Whitaker;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
AUTHORS: Michael D Harrison; Leo Freitas; Michael Drinnan; Jose C Campos ; Paolo Masci ; Costanzo di Maria; Michael Whitaker;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
7
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
8
TITLE: Formal Verification of Interactive Computing Systems: Opportunities, Challenges PDF
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2019, SOURCE: 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
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP9
TITLE: Formal Modelling as a Component of User Centred Design
AUTHORS: Michael D Harrison; Paolo Masci ; José Creissac Campos ;
PUBLISHED: 2018, SOURCE: 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
AUTHORS: Michael D Harrison; Paolo Masci ; José Creissac Campos ;
PUBLISHED: 2018, SOURCE: 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
TITLE: Demonstrating that Medical Devices Satisfy User Related Safety Requirements
AUTHORS: Michael D Harrison; Paolo Masci ; Jose Creissac Campos ; Paul Curzon;
PUBLISHED: 2017, SOURCE: 4th International Symposium on Foundations of Health Information Engineering and Systems (FHIES) / 6th International Workshop on Software Engineering in Healthcare (SEHC) in SOFTWARE ENGINEERING IN HEALTH CARE, SEHC 2014, VOLUME: 9062
AUTHORS: Michael D Harrison; Paolo Masci ; Jose Creissac Campos ; Paul Curzon;
PUBLISHED: 2017, SOURCE: 4th International Symposium on Foundations of Health Information Engineering and Systems (FHIES) / 6th International Workshop on Software Engineering in Healthcare (SEHC) in SOFTWARE ENGINEERING IN HEALTH CARE, SEHC 2014, VOLUME: 9062
