1
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; Vitor Goncalves; Tomoya Iwata; Andrea Landeira Dabarca; Damien McMaster; Adriana O Medeiros; Josheena Naggea; Jesus Pozo; Pedro M Raposeiro; Christopher M Swan; Nathalie S D Tenkiano; Catherine M Yule; Manuel A S Graca; ...More
SOURCE: SCIENCE OF THE TOTAL ENVIRONMENT, VOLUME: 661, PUBLISHED: 2019
INDEXED IN: WOS
2
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;
SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175, PUBLISHED: 2019
INDEXED IN: Scopus WOS CrossRef
3
TITLE: Verification Templates for the Analysis of User Interface Software Design  Full Text
AUTHORS: Michael D Harrison; Paolo Masci; Jose C Campos ;
SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 45, ISSUE: 8, PUBLISHED: 2019
INDEXED IN: Scopus WOS CrossRef: 2
4
TITLE: Formal verification of interactive computing systems: Opportunities and challenges
AUTHORS: Campos, JC ; Harrison, MD;
SOURCE: 2019 Joint HCI Engineering - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, HCI Engineering 2019 in CEUR Workshop Proceedings, VOLUME: 2503, PUBLISHED: 2019
INDEXED IN: Scopus
5
TITLE: Formal Modelling as a Component of User Centred Design
AUTHORS: Michael D Harrison; Paolo Masci ; José Creissac Campos ;
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, PUBLISHED: 2018
INDEXED IN: Scopus DBLP CrossRef
6
TITLE: Demonstrating that Medical Devices Satisfy User Related Safety Requirements
AUTHORS: Michael D Harrison; Paolo Masci ; Jose Creissac Campos ; Paul Curzon;
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, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef: 2
7
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;
SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef: 1
8
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;
SOURCE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 47, ISSUE: 6, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef: 3
9
TITLE: Don't go in there! using the APEX framework in the design of ambient assisted living systems
AUTHORS: José Creissac Campos ; Tiago Abade; José Luís Silva; Michael D Harrison;
SOURCE: J. Ambient Intelligence and Humanized Computing, VOLUME: 8, ISSUE: 4, PUBLISHED: 2017
INDEXED IN: Scopus DBLP CrossRef
10
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; Martin Biel; Monika Stoll; Martin J Lohse; Ulrich Broeckel; Lutz Hein; ...More
SOURCE: JOURNAL OF CLINICAL INVESTIGATION, VOLUME: 119, ISSUE: 12, PUBLISHED: 2009
INDEXED IN: WOS