Yi Zhang
Yi Zhang
MD PnP Interoperability Program, Massachusetts General Hospital
Verified email at mgh.harvard.edu
TitleCited byYear
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
772011
Strategic traceability for safety-critical projects
P Mäder, PL Jones, Y Zhang, J Cleland-Huang
IEEE software 30 (3), 58-66, 2013
742013
MODA: Automated test generation for database applications via mock objects
K Taneja, Y Zhang, T Xie
Proceedings of the IEEE/ACM international conference on Automated software …, 2010
702010
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
512010
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
402014
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
31*2015
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
22*2009
Second insulin pump safety meeting: summary report
Y Zhang, PL Jones, DC Klonoff
Journal of diabetes science and technology 4 (2), 488-493, 2010
212010
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
192011
Combining PVSio with stateflow
P Masci, Y Zhang, P Jones, P Oladimeji, E D’Urso, C Bernardeschi, ...
NASA Formal Methods Symposium, 209-214, 2014
142014
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
122014
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
112015
Model-based engineering for medical-device software
A Ray, R Jetley, PL Jones, Y Zhang
Biomedical Instrumentation & Technology 44 (6), 507-518, 2010
92010
Architecture reconstruction and analysis of medical device software
D Ganesan, M Lindvall, R Cleaveland, R Jetley, P Jones, Y Zhang
2011 Ninth Working IEEE/IFIP Conference on Software Architecture, 194-203, 2011
82011
Protecting interoperable clinical environment with authentication
L Cheng, Z Li, Y Zhang, Y Zhang, I Lee
Acm Sigbed Review 14 (2), 34-43, 2017
52017
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
52013
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
42017
Error report driven post-mortem analysis
Y Zhang, SP Iyer
15th IEEE International Conference on Program Comprehension (ICPC'07), 208-220, 2007
42007
Using abstraction-driven slicing for postmortem analysis of software
R Jetley, Y Zhang, SP Iyer
14th IEEE International Conference on Program Comprehension (ICPC'06), 107-116, 2006
42006
Optimizing seed inputs in fuzzing with machine learning
L Cheng, Y Zhang, Y Zhang, C Wu, Z Li, Y Fu, L Haisheng
ICSE 2019: 41st ACM/IEEE International Conference on Software Engineering …, 2019
32019
The system can't perform the operation now. Try again later.
Articles 1–20