Patrick Oladimeji

According to our database, Patrick Oladimeji authored at least 22 papers between 2009 and 2016.

Collaborative distances:

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

2016

Employing Number-Based Graphical Representations to Enhance the Effects of Visual Check on Entry Error Detection.

Huawei Tu, Patrick Oladimeji, Sarah Wiseman, Harold Thimbleby, Paul A. Cairns, Gerrit Niezen

Interact. Comput., 2016

Issues in number entry user interface styles: Recommendations for mitigation.

Harold Thimbleby, Patrick Oladimeji, Paolo Masci, Paul Curzon

EAI Endorsed Trans. Creative Technol., 2016

PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems.

Paolo Masci, Patrick Oladimeji, Piergiuseppe Mallozzi, Paul Curzon, Harold Thimbleby

EAI Endorsed Trans. Collab. Comput., 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

Exploring the Effect of Pre-operational Priming Intervention on Number Entry Errors.

Karen Yunqiu Li, Patrick Oladimeji, Harold W. Thimbleby

Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015

PVSio-web 2.0: Joining PVS to HCI.

Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Designing number entry user interfaces: a focus on interactive medical devices.

Patrick Oladimeji

PhD thesis, 2014

Combining PVSio with Stateflow.

Paolo Masci, Yi Zhang, Paul L. Jones, Patrick Oladimeji, Enrico D'Urso, Cinzia Bernardeschi, Paul Curzon, Harold Thimbleby

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces.

Paolo Masci, Patrick Oladimeji, Paul Curzon, Harold Thimbleby

Proceedings of the Software Engineering in Health Care - 4th International Symposium, 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

The Effects of Number-related Factors on Entry Performance.

Huawei Tu, Patrick Oladimeji, Karen Yunqiu Li, Harold W. Thimbleby, Chris J. Vincent

Proceedings of the BCS-HCI 2014 Proceedings of the 28th International BCS Human Computer Interaction Conference, 2014

2013

PVSio-web: a tool for rapid prototyping device user interfaces in PVS.

Patrick Oladimeji, Paolo Masci, Paul Curzon, Harold W. Thimbleby

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

A Performance Review of Number Entry Interfaces.

Patrick Oladimeji, Harold W. Thimbleby, Anna Louise Cox

Proceedings of the Human-Computer Interaction - INTERACT 2013, 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

2012

Towards safer number entry in interactive medical systems.

Patrick Oladimeji

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 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

Number Entry Interfaces and Their Effects on Error Detection.

Patrick Oladimeji, Harold W. Thimbleby, Anna Louise Cox

Proceedings of the Human-Computer Interaction - INTERACT 2011, 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

Engineering interactive computer systems for medicine and healthcare (EICS4Med).

Ann Blandford, Giuseppe De Pietro, Luigi Gallo, Andy Gimblett, Patrick Oladimeji, Harold W. Thimbleby

Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 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

2010

Human computer interaction and medical devices.

Chitra Acharya, Harold W. Thimbleby, Patrick Oladimeji

Proceedings of the 2010 British Computer Society Conference on Human-Computer Interaction, 2010

2009

Social network analysis and interactive device design analysis.

Harold W. Thimbleby, Patrick Oladimeji

Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009