| Strategic traceability for safety-critical projects P Mäder, PL Jones, Y Zhang, J Cleland-Huang IEEE software 30 (3), 58-66, 2013 | 118 | 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 | 103 | 2014 |
| Safety-assured development of the gpca infusion pump software BG Kim, A Ayoub, O Sokolsky, I Lee, P Jones, Y Zhang, R Jetley 2011 Proceedings of the Ninth ACM International Conference on Embedded …, 2011 | 103 | 2011 |
| A formal methods approach to medical device review R Jetley, SP Iyer, P Jones Computer 39 (4), 61-67, 2006 | 94 | 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 | 89 | 2007 |
| 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 | 85 | 2009 |
| 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 | 73 | 2010 |
| 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 | 56 | 2015 |
| Formal verification of medical device user interfaces using PVS P Masci, Y Zhang, P Jones, P Curzon, H Thimbleby International Conference on Fundamental Approaches to Software Engineering …, 2014 | 49 | 2014 |
| 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 | 40 | 2008 |
| 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 | 35 | 2011 |
| Interoperable medical devices KK Venkatasubramanian, SKS Gupta, RP Jetley, PL Jones IEEE Pulse 1 (2), 16-27, 2010 | 32 | 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 | 31 | 2002 |
| Model-based testing of gui-driven applications V Chinnapongse, I Lee, O Sokolsky, S Wang, PL Jones IFIP International Workshop on Software Technolgies for Embedded and …, 2009 | 30 | 2009 |
| Generic infusion pump hazard analysis and safety requirements version 1.0 DE Arney, R Jetley, P Jones, I Lee, A Ray, O Sokolsky, Y Zhang Technical Reports (CIS), 893, 2009 | 24 | 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 | 24 | 2007 |
| Combining PVSio with stateflow P Masci, Y Zhang, P Jones, P Oladimeji, E D’Urso, C Bernardeschi, ... NASA Formal Methods Symposium, 209-214, 2014 | 22 | 2014 |
| 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 | 22 | 2014 |
| 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 | 20 | 2015 |
| Second insulin pump safety meeting: summary report Y Zhang, PL Jones, DC Klonoff Journal of diabetes science and technology 4 (2), 488-493, 2010 | 20 | 2010 |
