Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps. - Ann Blandford; Abigail Cauchi; Paul Curzon; Parisa Eslambolchilar; Dominic Furniss; Andy Gimblett; Huayi Huang; Paul Lee; Yunqiu Li; Paolo Masci 001; Patrick Oladimeji; Atish Rajkomar; et al. (EICS4Med, 2011)

Towards Dependable Number Entry for Medical Devices. - Abigail Cauchi; Paul Curzon; Parisa Eslambolchilar; Andy Gimblett; Huayi Huang; Paul Lee; Yunqiu Li; Paolo Masci 001; Patrick Oladimeji; Rimvydas Ruksenas; Harold Thimbleby (EICS4Med, 2011)

Buffer automata: a UI architecture prioritising HCI concerns for interactive devices. - Harold W. Thimbleby; Andy Gimblett; Abigail Cauchi (EICS, 2011)

On formalising interactive number entry on infusion pumps. - Paolo Masci 001; Rimvydas Ruksenas; Patrick Oladimeji; Abigail Cauchi; Andy Gimblett; Karen Yunqiu Li; Paul Curzon; Harold W. Thimbleby (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Safer "5-key" number entry user interfaces using differential formal analysis. - Abigail Cauchi; Andy Gimblett; Harold W. Thimbleby; Paul Curzon; Paolo Masci 001 (BCS HCI, 2012)

Differential formal analysis: evaluating safer 5-key number entry user interface designs. - Abigail Cauchi (EICS, 2012)

MediCHI: safer interaction in medical devices. - Karen Yunqiu Li; Sharon Xianghua Ding; Zhanxun Dong; Liping Qin; Paolo Masci 001; Chris J. Vincent; Harold W. Thimbleby; Abigail Cauchi; Alexis Lewis; Sisy Baixi Xing; Shouqian Sun; Eric Liu; et al. (CHI Extended Abstracts, 2013)

Using differential formal analysis for dependable number entry. - Abigail Cauchi (EICS, 2013)

Using Medical Device Logs for Improving Medical Device Design. - Abigail Cauchi; Harold W. Thimbleby; Patrick Oladimeji; Michael D. Harrison (ICHI, 2013)

Triangulating empirical and analytic techniques for improving number entry user interfaces. - Abigail Cauchi; Patrick Oladimeji; Gerrit Niezen; Harold W. Thimbleby (EICS, 2014)

The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps. - Paolo Masci 001; Rimvydas Ruksenas; Patrick Oladimeji; Abigail Cauchi; Andy Gimblett; Karen Yunqiu Li; Paul Curzon; Harold W. Thimbleby (Innov. Syst. Softw. Eng., 2015)

Using gherkin to extract tests and monitors for safer medical device interaction design. - Abigail Cauchi; Christian Colombo 001; Adrian Francalanza; Mark Micallef; Gordon J. Pace (EICS, 2016)

Using testing techniques to classify user interface designs. - Abigail Cauchi; Gordon J. Pace (EICS, 2016)