| Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example P Masci, P Curzon, M Harrison, A Ayoub, I Lee, H Thimbleby ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 81--90, 2013 | 70 | 2013 |
| Increasing the efficiency of preamble sampling protocols for wireless sensor networks M Avvenuti, P Corsini, P Masci, A Vecchio Proceedings of the 1st Mobile Computing and Wireless Communication …, 2006 | 64 | 2006 |
| PVSio-web 2.0: Joining PVS to Human-Computer Interaction P Masci, P Oladimeji, Y Zhang, P Jones, P Curzon, H Thimbleby Computer Aided Verification (CAV), Springer LNCS, vol 9206, pp 470-478, 2015 | 61* | 2015 |
| The benefits of formalising design guidelines: A case study on the predictability of drug infusion pumps P Masci, R Ruk¹enas, P Oladimeji, A Cauchi, A Gimblett, Y Li, P Curzon, ... Innovations in Systems and Software Engineering 11 (2), 73-93, 2015 | 57 | 2015 |
| Formal Verification of Medical Device User Interfaces Using PVS P Masci, Y Zhang, P Jones, P Curzon, H Thimbleby ETAPS/FASE, Lecture Notes in Computer Science, Springer 8411, 2014 | 55 | 2014 |
| Exploring medical device design and use through layers of distributed cognition: how a glucometer is coupled with its context D Furniss, P Masci, P Curzon, A Mayer, A Blandford Journal of biomedical informatics 53, 330-341, 2015 | 52 | 2015 |
| A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems C Bernardeschi, A Domenici, P Masci IEEE Transactions on Software Engineering, 2017 | 51 | 2017 |
| Reusing models and properties in the analysis of similar interactive devices MD Harrison, JC Campos, P Masci Innovations in Systems and Software Engineering 11 (2), 95-111, 2015 | 49 | 2015 |
| Model-based development of the Generic PCA infusion pump user interface prototype in PVS P Masci, A Ayoub, P Curzon, I Lee, O Sokolsky, H Thimbleby Conference on Computer Safety, Reliability and Security (Safecomp), 228-240, 2013 | 47 | 2013 |
| 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, 2013 | 46 | 2013 |
| Safer “5-key” number entry user interfaces using Differential Formal Analysis A Cauchi, A Gimblett, H Thimbleby, P Curzon, P Masci BCS Interaction Specialist Group Conference on People and Computers (BCS-HCI …, 2012 | 45 | 2012 |
| Verification of user interface software: the example of use-related safety requirements and programmable medical devices MD Harrison, P Masci, JC Campos, P Curzon IEEE Transactions on Human-Machine Systems 47 (6), 834-846, 2017 | 44 | 2017 |
| Opportunistic computing for wireless sensor networks M Avvenuti, P Corsini, P Masci, A Vecchio Proceedings of IEEE International Conference on Mobile Adhoc and Sensor …, 2007 | 42 | 2007 |
| 7 Themes for guiding situated ergonomic assessments of medical devices: A case study of an inpatient glucometer D Furniss, P Masci, P Curzon, A Mayer, A Blandford Applied ergonomics 45 (6), 1668-1677, 2014 | 41 | 2014 |
| Formal techniques in the safety analysis of software components of a new dialysis machine MD Harrison, L Freitas, M Drinnan, JC Campos, P Masci, C di Maria, ... Science of Computer Programming 175, 17-34, 2019 | 35 | 2019 |
| 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 | 33 | 2011 |
| A framework for FMI-based co-simulation of human–machine interfaces M Palmieri, C Bernardeschi, P Masci Software and Systems Modeling 19 (3), 601-623, 2020 | 31 | 2020 |
| An application adaptation layer for wireless sensor networks M Avvenuti, P Corsini, P Masci, A Vecchio Pervasive and Mobile Computing 3 (4), 413-438, 2007 | 29 | 2007 |
| Demonstrating that medical devices satisfy user related safety requirements MD Harrison, P Masci, JC Campos, P Curzon International Symposium on Foundations of Healthcare Information Engineering …, 2017 | 28 | 2017 |
| Supporting the analysis of safety critical user interfaces: an exploration of three formal tools JC Campos, C Fayollas, MD Harrison, C Martinie, P Masci, P Palanque ACM Transactions on Computer-Human Interaction (TOCHI) 27 (5), 1-48, 2020 | 27 | 2020 |
Paul CurzonProfessor in Computer Science, Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
