Strategic traceability for safety-critical projects P Mäder, PL Jones, Y Zhang, J Cleland-Huang IEEE software 30 (3), 58-66, 2013 | 140 | 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 | 111 | 2011 |
MODA: Automated test generation for database applications via mock objects K Taneja, Y Zhang, T Xie Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010 | 97 | 2010 |
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 | 87 | 2010 |
PVSio-web 2.0: Joining PVS to HCI H Masci, P., Oladimeji, P., Zhang, Y., Jones, P., Curzon, P., & Thimbleby Proceedings of 27th International Conference on Computer Aided Verification …, 2015 | 60* | 2015 |
Formal Verification of Medical Device User Interfaces Using PVS P Masci, Y Zhang, P Jones, P Curzon, H Thimbleby 17th International Conference on Fundamental Approaches to Software …, 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 | 43 | 2011 |
Optimizing seed inputs in fuzzing with machine learning L Cheng, Y Zhang, Y Zhang, C Wu, Z Li, Y Fu, H Li 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 32 | 2019 |
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 | 30* | 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 36, 1-14, 2014 | 24 | 2014 |
Evaluation of Fluid Resuscitation Control Algorithms via a Hardware-in-the-Loop Test Bed H Mirinejad, B Parvinian, M Ricks, Y Zhang, S Weininger, J Hahn, ... IEEE Transactions on Biomedical Engineering 67 (2), 471-481, 2019 | 23 | 2019 |
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 |
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 | 22 | 2014 |
A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices P Masci, Y Zhang, P Jones, J Campos 15th International Conference on Software Engineering and Formal Methods …, 2017 | 18 | 2017 |
The open PCA pump project: an exemplar open source medical device as a community resource J Hatcliff, B Larson, T Carpenter, P Jones, Y Zhang, J Jorgens ACM SIGBED Review 16 (2), 8-13, 2019 | 17 | 2019 |
User Interface Software Errors in Medical Devices: Study of U.S. Recall Data Y Zhang, P Masci, P Jones, H Thimbleby Biomedical Instrumentation & Technology 53 (3), 182-194, 2019 | 15 | 2019 |
A Use Error Taxonomy for Improving Human-Machine Interface Design in Medical Devices C Silva, P Masci, Y Zhang, P Jones, JC Campos ACM SIGBED Review 16 (2), 24–30, 2019 | 14 | 2019 |
Using formal methods to improve home-use medical device safety A Banerjee, Y Zhang, P Jones, S Gupta Biomedical instrumentation & technology 47 (s1), 43-48, 2013 | 13 | 2013 |
Safety-focused security requirements elicitation for medical device software M Lindvall, M Diep, M Klein, P Jones, Y Zhang, E Vasserman 2017 IEEE 25th International Requirements Engineering Conference (RE), 134-143, 2017 | 11 | 2017 |