Patrick Oladimeji
Patrick Oladimeji
Researcher at Future Interaction Technology Lab, Swansea University
Verifierad e-postadress på swansea.ac.uk - Startsida
TitelCiteras avÅr
Number entry interfaces and their effects on error detection
P Oladimeji, H Thimbleby, A Cox
IFIP Conference on Human-Computer Interaction, 178-185, 2011
822011
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
472015
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
342015
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
322014
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
282011
A performance review of number entry interfaces
P Oladimeji, H Thimbleby, AL Cox
IFIP Conference on Human-Computer Interaction, 365-382, 2013
232013
Contributing to safety and due diligence in safety-critical interactive systems development by generating and analyzing finite state models
H Thimbleby
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive …, 2009
212009
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
172015
Social network analysis and interactive device design analysis
H Thimbleby, P Oladimeji
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive …, 2009
172009
Combining PVSio with stateflow
P Masci, Y Zhang, P Jones, P Oladimeji, E D’Urso, C Bernardeschi, ...
NASA Formal Methods Symposium, 209-214, 2014
162014
Human computer interaction and medical devices
C Acharya, H Thimbleby, P Oladimeji
Proceedings of the 24th BCS Interaction Specialist Group Conference, 168-176, 2010
162010
Tool demo: Using PVSio-web to demonstrate software issues in medical user interfaces
P Masci, P Oladimeji, P Curzon, H Thimbleby
4th International Symposium on Foundations of Healthcare Information …, 2014
122014
Towards safer number entry in interactive medical systems
P Oladimeji
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive …, 2012
112012
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
82011
Levels of testing
P Oladimeji, M Roggenbach, H Schlingloff
Advance Topics in Computer Science, 2007
82007
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
72014
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 unlikely errors using video games: An example in number entry research
P Oladimeji, H Thimbleby, P Curzon, I Iacovides, A Cox
62012
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
62011
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20