Patrick Oladimeji

发表

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

Harold W. Thimbleby, Paul Curzon, Paolo Masci, 2015, EAI Endorsed Trans. Collab. Comput..

Design of interactive medical devices: Feedback and its improvement

Ann Blandford, Dominic Furniss, Harold Thimbleby, 2011, 2011 IEEE International Symposium on IT in Medicine and Education.

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

Harold W. Thimbleby, Paul A. Cairns, Patrick Oladimeji, 2015, Interact. Comput..

Engineering interactive computer systems for medicine and healthcare (EICS4Med)

Harold W. Thimbleby, Ann Blandford, Giuseppe De Pietro, 2011, EICS '11.

Human-Computer Interaction and the Formal Certification and Assurance of Medical Devices: The CHI+MED Project

Paul Curzon, Harold Thimbleby, Rimvydas Ruksenas, 2014, CAV 2014.

Combining PVSio with Stateflow

Harold W. Thimbleby, Paul Curzon, Paul L. Jones, 2014, NASA Formal Methods.

Towards Dependable Number Entry for Medical Devices

Harold W. Thimbleby, Paul Curzon, Parisa Eslambolchilar, 2011, EICS4Med.

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

Harold W. Thimbleby, Paul Curzon, Paolo Masci, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

PVSio-web 2.0: Joining PVS to HCI

Yi Zhang, Harold W. Thimbleby, Paul Curzon, 2015, CAV.

Social network analysis and interactive device design

Patrick Oladimeji, 2009 .

PVSio-web 2.0: Joining PVS to Human-Computer Interaction

Paul Curzon, Harold Thimbleby, Paolo Masci, 2015, International Conference on Computer Aided Verification.

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

Harold W. Thimbleby, Patrick Oladimeji, Karen Yunqiu Li, 2015, CHI.

The biggest challenges are the social ones: workshop report from EICS4Med 2011

Ann Blandford, Giuseppe De Pietro, Patrick Oladimeji, 2011 .

Triangulating empirical and analytic techniques for improving number entry user interfaces

Harold W. Thimbleby, Patrick Oladimeji, Abigail Cauchi, 2014, EICS.

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

Harold W. Thimbleby, Paul Curzon, Paolo Masci, 2013, Innovations in Systems and Software Engineering.

A Performance Review of Number Entry Interfaces

Harold W. Thimbleby, Patrick Oladimeji, Anna Louise Cox, 2013, INTERACT.

On formalising interactive number entry on infusion pumps

Harold W. Thimbleby, Paul Curzon, Paolo Masci, 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Unreliable numbers: error and harm induced by bad design can be reduced by better design

Harold Thimbleby, Patrick Oladimeji, Paul Cairns, 2015, Journal of The Royal Society Interface.

Exploring unlikely errors using video games: An example in number entry research

Paul Curzon, Anna L. Cox, Harold Thimbleby, 2012 .

Issues in number entry user interface styles: Recommendations for mitigation

Harold W. Thimbleby, Paul Curzon, Paolo Masci, 2016, EAI Endorsed Trans. Creative Technol..

Towards safer number entry in interactive medical systems

Patrick Oladimeji, Patrick Oladimeji, 2012, EICS '12.

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

Paul Curzon, Harold Thimbleby, Patrick Oladimeji, 2013 .

Using Medical Device Logs for Improving Medical Device Design

Harold W. Thimbleby, Michael D. Harrison, Patrick Oladimeji, 2013, 2013 IEEE International Conference on Healthcare Informatics.

Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps

Harold W. Thimbleby, Ann Blandford, Paul Curzon, 2011, EICS4Med.

Number Entry Interfaces and Their Effects on Error Detection

Harold W. Thimbleby, Patrick Oladimeji, Anna Louise Cox, 2011, INTERACT.

Human computer interaction and medical devices

Harold W. Thimbleby, Patrick Oladimeji, Chitra Acharya, 2010, BCS HCI.

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

Patrick Oladimeji, 2014 .

On formalising interactive number entry on infusion pumps

Paul Curzon, Harold Thimbleby, Paolo Masci, 2011 .

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

Harold W. Thimbleby, Paul Curzon, Paolo Masci, 2014, FHIES/SEHC.

The Effects of Number-related Factors on Entry Performance

Harold W. Thimbleby, Patrick Oladimeji, Huawei Tu, 2014, BCS HCI.

Social network analysis and interactive device design analysis

Harold W. Thimbleby, Patrick Oladimeji, H. Thimbleby, 2009, EICS '09.

Electronic Communications of the EASST Volume 45 ( 2011 ) Proceedings of the Fourth International Workshop on Formal Methods for Interactive Systems ( FMIS 2011 ) The benefits of formalising interactive number entry Case studies with drug infusion pumps

Paul Curzon, Harold Thimbleby, Paolo Masci, 2011 .