21
TITLE: Formal analysis of ubiquitous computing environments through the APEX framework
AUTHORS: Silva, JL ; Campos, JC ; Harrison, MD ;
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, PUBLISHED: 2012
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
22
TITLE: Scalable context-dependent analysis of emergency egress models  Full Text
AUTHORS: Massink, M; Latella, D; Bracciali, A; Harrison, MD ; Hillston, J;
SOURCE: Formal Aspects of Computing, VOLUME: 24, ISSUE: 2, PUBLISHED: 2012
INDEXED IN: Scopus CrossRef
IN MY: ORCID
23
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;
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, PUBLISHED: 2012
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID
24
TITLE: Using PVS to Investigate Incidents through the Lens of Distributed Cognition
AUTHORS: Paolo Masci ; Huayi Huang; Paul Curzon; Michael D Harrison ;
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, PUBLISHED: 2012
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
25
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
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, PUBLISHED: 2012
INDEXED IN: Scopus CrossRef
IN MY: ORCID
26
TITLE: Modelling and analysing the interactive behaviour of an infusion pump
AUTHORS: José Creissac Campos ; Michael D Harrison ;
SOURCE: ECEASST, VOLUME: 45, PUBLISHED: 2011
INDEXED IN: Scopus DBLP
27
TITLE: Performance evaluation of scheduling policies in a smart hospital environment
AUTHORS: Chen, X; Thomas, N; Harrison, M ;
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, PUBLISHED: 2011
INDEXED IN: Scopus CrossRef
IN MY: ORCID
28
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
SOURCE: JOURNAL OF CLINICAL INVESTIGATION, VOLUME: 121, ISSUE: 1, PUBLISHED: 2011
INDEXED IN: Scopus WOS CrossRef
29
TITLE: A scalable fluid flow process algebraic approach to emergency egress analysis
AUTHORS: Massink, M; Latella, D; Bracciali, A; Harrison, MD ;
SOURCE: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 in Proceedings - Software Engineering and Formal Methods, SEFM 2010, PUBLISHED: 2010
INDEXED IN: Scopus CrossRef
IN MY: ORCID
30
TITLE: EICS'10 program chairs' welcome
AUTHORS: Doherty, G; Nichols, J; Harrison, M ;
SOURCE: 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'10 in EICS'10 - Proceedings of the 2010 ACM SIGCHI Symposium on Engineering Interactive Computing Systems, PUBLISHED: 2010
INDEXED IN: Scopus
IN MY: ORCID
Page 3 of 10. Total results: 95.