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: Safer "5-key" number entry user interfaces using differential formal analysis
AUTHORS: Abigail Cauchi; Andy Gimblett; Harold W Thimbleby; Paul Curzon; Paolo Masci ;
PUBLISHED: 2012, SOURCE: BCS-HCI '12 Proceedings of the 26th Annual BCS Interaction Specialist Group Conference on People and Computers, BCS-HCI 2012, 12-14 September 2012, Birmingham, UK
INDEXED IN: DBLP
3
TITLE: On formalising interactive number entry on infusion pumps
AUTHORS: Paolo Masci ; Rimvydas Ruksenas; Patrick Oladimeji; Abigail Cauchi; Andy Gimblett; Karen Yunqiu Li; Paul Curzon; Harold W Thimbleby;
PUBLISHED: 2011, SOURCE: ECEASST, VOLUME: 45
INDEXED IN: DBLP
4
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
5
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