Research publications

2015

Patrick Oladimeji, Harold Thimbleby, Paolo Masci and Paul Curzon . Issues in number entry user interface styles: Recommendations for mitigation. MobiHealth: 5th EAI International Conference on Wireless Mobile Communication and Healthcare, London, UK, 2015

Harold Thimbleby, Patrick Oladimeji and Paul Cairns. Unreliable numbers: error and harm induced by bad design can be reduced by better design. Journal of The Royal Society Interface, 2015

Patrick Oladimeji and Harold Thimbleby . Open Metrics for Evaluating and Designing Safer Interactive Health Systems: A Casestudy in Procuring Infusion Pumps. HeathTech '15, 2015 USENIX Summit on Information Technologies for Heath, Washington, DC, USA, 2015

Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul Jones, Paul Curzon and Harold Thimbleby . PVSio-web 2.0: Joining PVS to HCI. Computer Aided Verification, 2015

Huawei Tu, Patrick Oladimeji, Sarah Wiseman, Harold Thimbleby, Paul Cairns and Gerrit Niezen . Employing Number-Based Graphical Representations to Enhance the Effects of Visual Check on Entry Error Detection. Interacting with Computers, 2015

Yunqiu Li, Patrick Oladimeji and Harold Thimbleby . Exploring the Effect of Pre-operational Priming Intervention on Number Entry Errors. Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, New York, NY, USA, 2015

2014

Huawei Tu, Patrick Oladimeji, Yunqiu Li, Harold Thimbleby and Chris Vincent . The effects of number-related factors on entry performance. Proceedings of the 28th International BCS Human Computer Interaction Conference, Southport UK, 2014

Abigail Cauchi, Patrick Oladimeji, Gerrit Niezen and Harold Thimbleby . Triangulating Empirical and Analytic Techniques for Improving Number Entry User Interfaces. Proceedings of the 2014 ACM SIGCHI Symposium on Engineering Interactive Computing Systems, New York, NY, USA, 2014

Paul Curzon, Paolo Masci, Patrick Oladimeji, Rimvydas Ruksenas, Harold Thimbleby and Enrico D'Urso . Human-Computer Interaction and the Formal Certification and Assurance of Medical Devices: The CHI+MED Project. 2nd Workshop on Verification and Assurance (Verisure2014), in association with Computer-Aided Verification (CAV), part of the Vienna Summer of Logic, Vienna, Austria, 2014

Paolo Masci, Yi Zhang, Paul Jones, Patrick Oladimeji, Enrico D’Urso, Cinzia Bernardeschi, Paul Curzon and Harold Thimbleby . Combining PVSio with Stateflow. NASA Formal Methods, 2014

2013

Paolo Masci, Rimvydas Rukšėnas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Yunqiu Li, Paul Curzon and Harold Thimbleby . The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps. Innovations in Systems and Software Engineering, 2013

Abigail Cauchi, Harold Thimbleby, Patrick Oladimeji and Michael Harrison . Using Medical Device Logs for Improving Medical Device Design. 2013 IEEE International Conference on Healthcare Informatics (ICHI), 2013

Patrick Oladimeji, Paolo Masci, Paul Curzon and Harold Thimbleby . PVSio-web: a tool for rapid prototyping device user interfaces in PVS. Proceedings of the 5th International Workshop on Formal Methods for Interactive Systems (FMIS 2013), London, UK, 2013

Patrick Oladimeji, Harold Thimbleby and Anna L. Cox . A Performance Review of Number Entry Interfaces. Human-Computer Interaction – INTERACT 2013, 2013

Carlos Monroy Aceves, Patrick Oladimeji, Harold Thimbleby and Paul Lee . Are prescribed infusions running as intended? Quantitative analysis of log files from infusion pumps used in a large acute NHS hospital. BJN Carefusion Supplement, 2013

2012

Patrick Oladimeji and Harold Thimbleby . An Evaluation of Number Entry Interfaces in Interactive Medical Devices. Balancing Creativity and Evidence for Patient Safety, Bradford, 2012

Patrick Oladimeji, Harold Thimbleby, Paul Curzon, Ioanna Iacovides and Anna Cox. Exploring unlikely errors using video games: An example in number entry research. Workshop on Safety-Critical Systems and Video Games: Contradictions and Commonalities, Fun and Games, Toulouse, France, 2012

Patrick Oladimeji . Towards safer number entry in interactive medical systems. Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems, New York, NY, USA, 2012

Paul Lee, Carlos Monroy Aceves, Patrick Oladimeji and Harold Thimbleby . Are Prescribed Infusions Running as Intended?. Third National Infusion and Vascular Access Society Conference, London, 2012

2011

Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Yunqiu Li, Paul Curzon and Harold Thimbleby . On formalising interactive number entry on infusion pumps. Electronic Communications of the EASST, 2011

Patrick Oladimeji, Harold Thimbleby and Anna Cox . Number entry interfaces and their effects on error detection. Proceedings of the 13th IFIP TC 13 international conference on Human-computer interaction - Volume Part IV, Berlin, Heidelberg, 2011

Ann Blandford, Giuseppe De Pietro, Luigi Gallo, Andy Gimblett, Patrick Oladimeji and Harold Thimbleby . Engineering interactive computer systems for medicine and healthcare (EICS4Med).Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems, New York, NY, USA, 2011

Patrick Oladimeji, Li Yunqiu, Abigail Cauchi, Parisa Eslambolchilar, Andy Gimblett, Paul Lee and Harold Thimbleby . Visualising Medical Device Logs. 1st BCS Health Wales Workshop, Wrexham, Wales, 2011

Yunqiu Li, Patrick Oladimeji, Carlos Monroy, Abigail Cauchi, Harold Thimbleby, Dominic Furniss, Chris Vincent and Ann Blandford . Design of Interactive Medical Devices: Feedback and Its Improvement. Proceedings of the 3rd International Symposium on Information Technology in Medicine and Education, China, 2011

A. Cauchi, P. Curzon, P. Eslambolchilar, A. Gimblett, H. Huang, P. Lee, Y. Li, P. Masci, P. Oladimeji, R. Ruksenas and others . Towards Dependable Number Entry for Medical Devices. In Proceedings of the 1st International Workshop on engineering interactive computer systems for medicine and healthcare, Pisa, Italy, 2011

A. Blandford, A. Cauchi, P. Curzon, P. Eslambolchilar, D. Furniss, A. Gimblett, H. Huang, P. Lee, Y. Li, P. Masci, P. Oladimeji, A. Rajkomar, R. Ruksenas and H. Thimbleby . Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps. In Proceedings of the 1st International Workshop on engineering interactive computer systems for medicine and healthcare, Pisa, Italy, 2011

2010

Chitra Acharya, Harold Thimbleby and Patrick Oladimeji . Human Computer Interaction and Medical Devices. Proceedings of the 24th BCS Conference on Human Computer Interaction, Dundee, Uk, 2010

2009

Harold Thimbleby and Patrick Oladimeji . Social network analysis and interactive device design analysis. Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems - EICS '09, Pittsburgh, PA, USA, 2009