Abigail Cauchi
TitleCited byYear
The benefits of formalising design guidelines: A case study on the predictability of drug infusion pumps
P Masci, R Rukšėnas, P Oladimeji, A Cauchi, A Gimblett, Y Li, P Curzon, ...
Innovations in Systems and Software Engineering, 1-21, 2013
462013
Safer 5-key number entry user interfaces using differential formal analysis
A Cauchi, A Gimblett, H Thimbleby, P Curzon, P Masci
Proceedings of the 26th Annual BCS Interaction Specialist Group Conference …, 2012
442012
On formalising interactive number entry on infusion pumps
P Masci, R Ruksenas, P Oladimeji, A Cauchi, A Gimblett, Y Li, P Curzon, ...
Electronic Communications of the EASST 45, 2011
282011
Using Medical Device Logs for Improving Medical Device Design
A Cauchi, H Thimbleby, P Oladimeji, M Harrison
Healthcare Informatics (ICHI), 2013 IEEE International Conference on, 56-65, 2013
92013
Differential formal analysis: evaluating safer 5-key number entry user interface designs
A Cauchi
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive …, 2012
82012
Comparing actual practice and user manuals: A case study based on programmable infusion pumps
A Blandford, A Cauchi, P Curzon, P Eslambolchilar, D Furniss, A Gimblett, ...
Eics4Med, the 1st Intl. Workshop on Engineering Interactive Computing …, 2011
82011
Comparing actual practice and user manuals: A case study based on programmable infusion pumps
P Curzon, H Huang, P Masci, R Rukšenas, P Lee, A Cauchi, ...
8*2011
Triangulating empirical and analytic techniques for improving number entry user interfaces
A Cauchi, P Oladimeji, G Niezen, H Thimbleby
Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive …, 2014
72014
Buffer automata: a UI architecture prioritising HCI concerns for interactive devices
H Thimbleby, A Gimblett, A Cauchi
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive …, 2011
72011
Towards dependable number entry for medical devices
A Cauchi, P Curzon, P Eslambolchilar, A Gimblett, H Huang, P Lee, Y Li, ...
EICS4Med 2011, 53, 2011
72011
Design of interactive medical devices: Feedback and its improvement
Y Li, P Oladimeji, C Monroy, A Cauchi, H Thimbleby, D Furniss, C Vincent, ...
IT in Medicine and Education (ITME), 2011 International Symposium on 2, 204-208, 2011
62011
Using differential formal analysis for dependable number entry
A Cauchi
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive …, 2013
32013
MediCHI: safer interaction in medical devices
KY Li, SX Ding, Z Dong, L Qin, P Masci, C Vincent, H Thimbleby, A Cauchi, ...
CHI'13 Extended Abstracts on Human Factors in Computing Systems, 3267-3270, 2013
32013
Visualising medical device logs
P Oladimeji, Y Li, A Cauchi, P Eslambolchilar, P Lee, H Thimbleby
32011
Simulation to evaluate alternative approaches to blocking use errors
H Thimbleby, A Cauchi
Journal of Medical Devices 6 (1), 017502, 2012
12012
Model Checking User Interfaces
A Cauchi, G Pace, S Spina
1*
KIKI-A Key to the Integration of Knowledge and Innovation
A Cauchi, J Fenech, K Fenech, L Micallef
CSAW 2007: 5th Computer Science Annual Workshop, 130-139, 2007
2007
The system can't perform the operation now. Try again later.
Articles 1–17