Michael Douglas Harrison
AuthID: R-00F-KRW
11
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
12
TITLE: Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices Full Text
AUTHORS: Michael D Harrison; Paolo Masci ; Jose Creissac Campos ; Paul Curzon;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 47, ISSUE: 6
AUTHORS: Michael D Harrison; Paolo Masci ; Jose Creissac Campos ; Paul Curzon;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 47, ISSUE: 6
13
TITLE: Don't go in there! using the APEX framework in the design of ambient assisted living systems
AUTHORS: Campos, JC ; Abade, T; Silva, JL; Harrison, MD;
PUBLISHED: 2017, SOURCE: 9th International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI) in JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, VOLUME: 8, ISSUE: 4
AUTHORS: Campos, JC ; Abade, T; Silva, JL; Harrison, MD;
PUBLISHED: 2017, SOURCE: 9th International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI) in JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, VOLUME: 8, ISSUE: 4
14
TITLE: Phosducin influences sympathetic activity and prevents stress-induced hypertension in humans and mice
AUTHORS: Nadine Beetz; Michael D Harrison; Marc Brede; Xiangang Zong; Michal J Urbanski; Anika Sietmann; Jennifer Kaufling; Michel Barrot; Mathias W Seeliger; Maria Augusta Vieira Coelho; Pavel Hamet; Daniel Gaudet; Ondrej Seda; Johanne Tremblay; Theodore A Kotchen; Mary Kaldunski; Rolf Nuesing; Bela Szabo; Howard J Jacob; Allen W Cowley; ...More
PUBLISHED: 2009, SOURCE: JOURNAL OF CLINICAL INVESTIGATION, VOLUME: 119, ISSUE: 12
AUTHORS: Nadine Beetz; Michael D Harrison; Marc Brede; Xiangang Zong; Michal J Urbanski; Anika Sietmann; Jennifer Kaufling; Michel Barrot; Mathias W Seeliger; Maria Augusta Vieira Coelho; Pavel Hamet; Daniel Gaudet; Ondrej Seda; Johanne Tremblay; Theodore A Kotchen; Mary Kaldunski; Rolf Nuesing; Bela Szabo; Howard J Jacob; Allen W Cowley; ...More
PUBLISHED: 2009, SOURCE: JOURNAL OF CLINICAL INVESTIGATION, VOLUME: 119, ISSUE: 12
INDEXED IN: 
WOS
WOS