21
TITLE: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012
AUTHORS: Simone Diniz Junqueira Barbosa; José Creissac Campos ; Rick Kazman; Philippe A Palanque; Michael D Harrison ; Steve Reeves;
PUBLISHED: 2012, SOURCE: EICS
INDEXED IN: DBLP
22
TITLE: Formal analysis of ubiquitous computing environments through the APEX framework
AUTHORS: Silva, JL ; Campos, JC ; Harrison, MD ;
PUBLISHED: 2012, SOURCE: 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12 in EICS'12 - Proceedings of the 2012 ACM SIGCHI Symposium on Engineering Interactive Computing Systems
INDEXED IN: Scopus DBLP CrossRef: 10
IN MY: ORCID
23
TITLE: Scalable context-dependent analysis of emergency egress models  Full Text
AUTHORS: Massink, M; Latella, D; Bracciali, A; Harrison, MD ; Hillston, J;
PUBLISHED: 2012, SOURCE: Formal Aspects of Computing, VOLUME: 24, ISSUE: 2
INDEXED IN: Scopus CrossRef: 15
IN MY: ORCID
24
TITLE: Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain
AUTHORS: Paolo Masci ; Dominic Furniss; Paul Curzon; Michael D Harrison ; Ann Blandford;
PUBLISHED: 2012, SOURCE: 4th International Workshop on Software Engineering for Resilient Systems, SERENE 2012 in Software Engineering for Resilient Systems - 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings, VOLUME: 7527
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID
25
TITLE: Using PVS to Investigate Incidents through the Lens of Distributed Cognition
AUTHORS: Paolo Masci ; Huayi Huang; Paul Curzon; Michael D Harrison ;
PUBLISHED: 2012, SOURCE: 4th NASA Formal Methods Symposium, NFM 2012 in NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings, VOLUME: 7226
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID
26
TITLE: Workshop on open resilient human-aware cyber-physical systems
AUTHORS: Kaaniche, M; Harrison, M ; Kopetz, H; Siewiorek, D; Arlat, J; Bakken, D; Blough, D; Buss, M; Cao, J; Chen, YK; Deconinck, G; Jahanian, F; Gleizes, MP; Iwano, K; Haddadi, H; Helal, S; Lee, I; Liu, J; Marzullo, K; Maxion, R; Obermaisser, R; Paulitsch, M; Powell, D; Roudier, Y; Rufino, J; Sanders, WH; Xia, F; ...More
PUBLISHED: 2012, SOURCE: 2012 IEEE/IFIP 42nd International Conference on Dependable Systems and Networks Workshops, DSN-W 2012 in Proceedings of the International Conference on Dependable Systems and Networks
INDEXED IN: Scopus CrossRef
IN MY: ORCID
27
TITLE: Modelling and analysing the interactive behaviour of an infusion pump
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2011, SOURCE: ECEASST, VOLUME: 45
INDEXED IN: Scopus DBLP
28
TITLE: Performance evaluation of scheduling policies in a smart hospital environment
AUTHORS: Chen, X; Thomas, N; Harrison, M ;
PUBLISHED: 2011, SOURCE: 3rd International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, CyberC 2011 in Proceedings - 2011 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, CyberC 2011
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID
29
TITLE: Phosducin influences sympathetic activity and prevents stress-induced hypertension in humans and mice (vol 119, pg 3597, 2009)
AUTHORS: Nadine Beetz; Michael D Harrison ; Marc Brede; Xiangang G Zong; Michal J Urbanski; Anika Sietmann; Jennifer Kaufling; Stefan Lorkowski; Michel Barrot; Mathias W Seeliger; Maria Augusta V Vieira Coelha ; Pavel Hamet; Daniel Gaudet; Ondrej Seda; Johanne Tremblay; Theodore A Kotchen; Mary Kaldunski; Rolf Nusing; Bela Szabo; Howard J Jacob; Allen W Cowley; Martin Biel; Monika Stoll; Martin J Lohse; Ulrich Broeckel; Lutz Hein; ...More
PUBLISHED: 2011, SOURCE: JOURNAL OF CLINICAL INVESTIGATION, VOLUME: 121, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 5
30
TITLE: A scalable fluid flow process algebraic approach to emergency egress analysis
AUTHORS: Massink, M; Latella, D; Bracciali, A; Harrison, MD ;
PUBLISHED: 2010, SOURCE: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 in Proceedings - Software Engineering and Formal Methods, SEFM 2010
INDEXED IN: Scopus CrossRef: 4
IN MY: ORCID
Page 3 of 10. Total results: 96.