1
TITLE: The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps  Full Text
AUTHORS: Paolo Masci ; Rimvydas Ruksenas; Patrick Oladimeji; Abigail Cauchi; Andy Gimblett; Karen Yunqiu Li; Paul Curzon; Harold W. Thimbleby;
PUBLISHED: 2015, SOURCE: ISSE, VOLUME: 11, ISSUE: 2
INDEXED IN: Scopus DBLP CrossRef: 10
2
TITLE: Towards a formal framework for reasoning about the resilience of dynamic interactive systems
AUTHORS: Paolo Masci ; Paul Curzon; Huayi Huang; Rimvydas Ruksenas; Ann Blandford; Dominic Furniss; Atish Rajkomar;
PUBLISHED: 2011, SOURCE: 13th European Workshop on Dependable Computing, EWDC 2011 in Proceedings of the 13th European Workshop on Dependable Computing, EWDC '11, Pisa, Italy, May 11-12, 2011
INDEXED IN: Scopus DBLP CrossRef
3
TITLE: Towards Dependable Number Entry for Medical Devices PDF
AUTHORS: Abigail Cauchi; Paul Curzon; Parisa Eslambolchilar; Andy Gimblett; Huayi Huang; Paul Lee; Yunqiu Li; Paolo Masci ; Patrick Oladimeji; Rimvydas Ruksenas; Harold Thimbleby;
PUBLISHED: 2011, SOURCE: 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care, EICS4Med 2011 - Co-located with the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2011 in Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), Pisa, Italy, June 13, 2011, VOLUME: 727
INDEXED IN: Scopus DBLP
4
TITLE: Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps PDF
AUTHORS: Ann Blandford; Abigail Cauchi; Paul Curzon; Parisa Eslambolchilar; Dominic Furniss; Andy Gimblett; Huayi Huang; Paul Lee; Yunqiu Li; Paolo Masci ; Patrick Oladimeji; Atish Rajkomar; Rimvydas Ruksenas; Harold Thimbleby;
PUBLISHED: 2011, SOURCE: 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care, EICS4Med 2011 - Co-located with the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2011 in Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), Pisa, Italy, June 13, 2011, VOLUME: 727
INDEXED IN: Scopus DBLP