Patrick Oladimeji
Patrick Oladimeji
ThoughtWorks - previously @Doctify, @FITLab
Verified email at dustygem.co.uk - Homepage
Title
Cited by
Cited by
Year
Number entry interfaces and their effects on error detection
P Oladimeji, H Thimbleby, A Cox
IFIP Conference on Human-Computer Interaction, 178-185, 2011
842011
PVSio-web 2.0: Joining PVS to HCI
P Masci, P Oladimeji, Y Zhang, P Jones, P Curzon, H Thimbleby
International Conference on Computer Aided Verification, 470-478, 2015
532015
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 11 (2), 73-93, 2015
522015
PVSio-web: a tool for rapid prototyping device user interfaces in PVS
P Oladimeji, P Masci, P Curzon, H Thimbleby
Electronic Communications of the EASST 69, 2014
402014
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
292011
A performance review of number entry interfaces
P Oladimeji, H Thimbleby, AL Cox
IFIP Conference on Human-Computer Interaction, 365-382, 2013
282013
Human computer interaction and medical devices
C Acharya, H Thimbleby, P Oladimeji
Proceedings of HCI 2010 24, 168-176, 2010
222010
Combining PVSio with stateflow
P Masci, Y Zhang, P Jones, P Oladimeji, E D’Urso, C Bernardeschi, ...
NASA Formal Methods Symposium, 209-214, 2014
202014
Unreliable numbers: error and harm induced by bad design can be reduced by better design
H Thimbleby, P Oladimeji, P Cairns
Journal of The Royal Society Interface 12 (110), 20150685, 2015
192015
Using PVSio-web to demonstrate software issues in medical user interfaces
P Masci, P Oladimeji, P Curzon, H Thimbleby
Software Engineering in Health Care, 214-221, 2014
182014
Social network analysis and interactive device design analysis
H Thimbleby, P Oladimeji
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive …, 2009
152009
Towards safer number entry in interactive medical systems
P Oladimeji
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive …, 2012
122012
Using medical device logs for improving medical device design
A Cauchi, H Thimbleby, P Oladimeji, M Harrison
2013 IEEE International Conference on Healthcare Informatics, 56-65, 2013
92013
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, 59-64, 2011
92011
Levels of testing
P Oladimeji, M Roggenbach, H Schlingloff
Advance Topics in Computer Science, 2007
92007
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
82014
Design of interactive medical devices: Feedback and its improvement
Y Li, P Oladimeji, C Monroy, A Cauchi, H Thimbleby, D Furniss, C Vincent, ...
2011 IEEE international symposium on IT in medicine and education 2, 204-208, 2011
82011
Towards Dependable Number Entry for Medical Devices.
A Cauchi, P Curzon, P Eslambolchilar, A Gimblett, H Huang, P Lee, Y Li, ...
EICS4Med, 53-58, 2011
72011
Exploring the effect of pre-operational priming intervention on number entry errors
Y Li, P Oladimeji, H Thimbleby
Proceedings of the 33rd annual ACM conference on human factors in computing …, 2015
62015
PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems
P Masci, P Oladimeji, P Mallozzi, P Curzon, H Thimbleby
52016
The system can't perform the operation now. Try again later.
Articles 1–20