Abigail Cauchi

According to our database, Abigail Cauchi authored at least 13 papers between 2011 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Using testing techniques to classify user interface designs.

Abigail Cauchi, Gordon J. Pace

Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

Using gherkin to extract tests and monitors for safer medical device interaction design.

Abigail Cauchi, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon J. Pace

Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

2015

The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps.

Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby

Innov. Syst. Softw. Eng., 2015

2014

Triangulating empirical and analytic techniques for improving number entry user interfaces.

Abigail Cauchi, Patrick Oladimeji, Gerrit Niezen, Harold W. Thimbleby

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2014

2013

Using Medical Device Logs for Improving Medical Device Design.

Abigail Cauchi, Harold W. Thimbleby, Patrick Oladimeji, Michael D. Harrison

Proceedings of the IEEE International Conference on Healthcare Informatics, 2013

Using differential formal analysis for dependable number entry.

Abigail Cauchi

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013

MediCHI: safer interaction in medical devices.

Karen Yunqiu Li, Sharon Xianghua Ding, Zhanxun Dong, Liping Qin, Paolo Masci, Chris J. Vincent, Harold W. Thimbleby, Abigail Cauchi, Alexis Lewis, Sisy Baixi Xing, Shouqian Sun, Eric Liu, John Di, Jenson Wang, Mary Welch-Brady

Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

2012

Differential formal analysis: evaluating safer 5-key number entry user interface designs.

Abigail Cauchi

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2012

Safer "5-key" number entry user interfaces using differential formal analysis.

Abigail Cauchi, Andy Gimblett, Harold W. Thimbleby, Paul Curzon, Paolo Masci

Proceedings of the BCS-HCI '12 Proceedings of the 26th Annual BCS Interaction Specialist Group Conference on People and Computers, 2012

2011

On formalising interactive number entry on infusion pumps.

Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Buffer automata: a UI architecture prioritising HCI concerns for interactive devices.

Harold W. Thimbleby, Andy Gimblett, Abigail Cauchi

Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011

Towards Dependable Number Entry for Medical Devices.

Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Rimvydas Ruksenas, Harold Thimbleby

Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), 2011

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, Patrick Oladimeji, Atish Rajkomar, Rimvydas Ruksenas, Harold Thimbleby

Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), 2011