Strategic traceability for safety-critical projects P Mäder, PL Jones, Y Zhang, J Cleland-Huang IEEE software 30 (3), 58-66, 2013 | 141 | 2013 |
Certifiably safe software-dependent systems: challenges and directions J Hatcliff, A Wassyng, T Kelly, C Comar, P Jones Future of Software Engineering Proceedings, 182-200, 2014 | 114 | 2014 |
Safety-assured development of the gpca infusion pump software BG Kim, A Ayoub, O Sokolsky, I Lee, P Jones, Y Zhang, R Jetley Proceedings of the ninth ACM international conference on Embedded software …, 2011 | 112 | 2011 |
A formal methods approach to medical device review R Jetley, SP Iyer, P Jones Computer 39 (4), 61-67, 2006 | 108 | 2006 |
Formal methods based development of a PCA infusion pump reference model: Generic infusion pump (GIP) project D Arney, R Jetley, P Jones, I Lee, O Sokolsky 2007 Joint Workshop on High Confidence Medical Devices, Software, and …, 2007 | 106 | 2007 |
A hazard analysis for a generic insulin infusion pump Y Zhang, PL Jones, R Jetley Journal of diabetes science and technology 4 (2), 263-283, 2010 | 92 | 2010 |
An open test bed for medical device integration and coordination A King, S Procter, D Andresen, J Hatcliff, S Warren, W Spees, R Jetley, ... 2009 31st International Conference on Software Engineering-Companion Volume …, 2009 | 89 | 2009 |
PVSio-web 2.0: Joining PVS to HCI P Masci, P Oladimeji, Y Zhang, P Jones, P Curzon, H Thimbleby Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 61 | 2015 |
Formal verification of medical device user interfaces using PVS P Masci, Y Zhang, P Jones, P Curzon, H Thimbleby Fundamental Approaches to Software Engineering: 17th International …, 2014 | 53 | 2014 |
Generic safety requirements for developing safe insulin pump software Y Zhang, R Jetley, PL Jones, A Ray Journal of diabetes science and technology 5 (6), 1403-1419, 2011 | 45 | 2011 |
Static analysis of medical device software using CodeSonar RP Jetley, PL Jones, P Anderson Proceedings of the 2008 workshop on Static analysis, 22-29, 2008 | 45 | 2008 |
Asymmetrical atrophy of thalamic subnuclei in Alzheimer's disease and amyloid-positive mild cognitive impairment is associated with key clinical features A Low, E Mak, M Malpetti, L Chouliaras, N Nicastro, L Su, N Holland, ... Alzheimer's & Dementia: Diagnosis, Assessment & Disease Monitoring 11, 690-699, 2019 | 42 | 2019 |
Interoperable medical devices KK Venkatasubramanian, SKS Gupta, RP Jetley, PL Jones IEEE Pulse 1 (2), 16-27, 2010 | 37 | 2010 |
Risk management in the design of medical device software systems PL Jones, J Jorgens III, AR Taylor Jr, M Weber Biomedical instrumentation & technology 36 (4), 237-266, 2002 | 34 | 2002 |
Model-based testing of gui-driven applications V Chinnapongse, I Lee, O Sokolsky, S Wang, PL Jones Software Technologies for Embedded and Ubiquitous Systems: 7th IFIP WG 10.2 …, 2009 | 29 | 2009 |
A study of the physiology of Bacillus anthracis Sterne during manufacture of the UK acellular anthrax vaccine S Charlton, M Herbert, J McGlashan, A King, P Jones, K West, A Roberts, ... Journal of applied microbiology 103 (5), 1453-1460, 2007 | 29 | 2007 |
Generic infusion pump hazard analysis and safety requirements version 1.0 DE Arney, R Jetley, I Lee, P Jones, O Sokolsky, A Ray, Y Zhang | 28 | 2009 |
Enabling safe interoperation by medical device virtual integration BR Larson, Y Zhang, SC Barrett, J Hatcliff, PL Jones IEEE Design & Test 32 (5), 74-88, 2015 | 25 | 2015 |
A generic user interface architecture for analyzing use hazards in infusion pump software P Masci, Y Zhang, P Jones, H Thimbleby, P Curzon 5th Workshop on Medical Cyber-Physical Systems (2014), 2014 | 24 | 2014 |
Second insulin pump safety meeting: summary report Y Zhang, PL Jones, DC Klonoff Journal of diabetes science and technology 4 (2), 488-493, 2010 | 23 | 2010 |