| Strategic traceability for safety-critical projects P Mäder, PL Jones, Y Zhang, J Cleland-Huang IEEE software 30 (3), 58-66, 2013 | 123 | 2013 |
| 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 | 106 | 2011 |
| 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 | 102 | 2014 |
| A formal methods approach to medical device review R Jetley, SP Iyer, P Jones Computer 39 (4), 61-67, 2006 | 97 | 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 | 94 | 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 | 78 | 2010 |
| 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 | 56 | 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 | 50 | 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 | 40 | 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 | 40 | 2008 |
| 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 | 32 | 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 | 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 | 25 | 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 | 25 | 2007 |
| 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 | 23 | 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 | 21 | 2015 |
| Combining PVSio with stateflow P Masci, Y Zhang, P Jones, P Oladimeji, E D’Urso, C Bernardeschi, ... NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014 | 21 | 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 | 21 | 2010 |
