Using Abstraction-driven Slicing for Postmortem Analysis of Software. - Raoul Praful Jetley; Yi Zhang 051; S. Purushothaman Iyer (ICPC, 2006)

Error Report Driven Post-Mortem Analysis. - Yi Zhang 051; S. Purushothaman Iyer (ICPC, 2007)

MODA: automated test generation for database applications via mock objects. - Kunal Taneja; Yi Zhang 051; Tao Xie 001 (ASE, 2010)

Safety-assured development of the GPCA infusion pump software. - BaekGyu Kim; Anaheed Ayoub; Oleg Sokolsky; Insup Lee 001; Paul L. Jones; Yi Zhang 051; Raoul Praful Jetley (EMSOFT, 2011)

Architecture Reconstruction and Analysis of Medical Device Software. - Dharmalingam Ganesan; Mikael Lindvall; Rance Cleaveland; Raoul Praful Jetley; Paul L. Jones; Yi Zhang 051 (WICSA, 2011)

Towards a Framework for Safety Analysis of Body Sensor Networks. - Philip Asare; John C. Lach; John A. Stankovic; Yi Zhang 051; Paul L. Jones; Sandy Weininger (BODYNETS, 2013)

Strategic Traceability for Safety-Critical Projects. - Patrick Mäder; Paul L. Jones; Yi Zhang 051; Jane Cleland-Huang (IEEE Softw., 2013)

Formal Verification of Medical Device User Interfaces Using PVS. - Paolo Masci 001; Yi Zhang 051; Paul L. Jones; Paul Curzon; Harold W. Thimbleby (FASE, 2014)

A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software. - Paolo Masci 001; Yi Zhang 051; Paul L. Jones; Harold Thimbleby; Paul Curzon (MCPS, 2014)

Combining PVSio with Stateflow. - Paolo Masci 001; Yi Zhang 051; Paul L. Jones; Patrick Oladimeji; Enrico D'Urso; Cinzia Bernardeschi; Paul Curzon; Harold Thimbleby (NASA Formal Methods, 2014)

PVSio-web 2.0: Joining PVS to HCI. - Paolo Masci 001; Patrick Oladimeji; Yi Zhang 051; Paul L. Jones; Paul Curzon; Harold W. Thimbleby (CAV (1), 2015)

Enabling Safe Interoperation by Medical Device Virtual Integration. - Brian R. Larson; Yi Zhang 051; Stephen C. Barrett; John Hatcliff; Paul L. Jones (IEEE Des. Test, 2015)

Safety-Focused Security Requirements Elicitation for Medical Device Software. - Mikael Lindvall; Madeline Diep; Michele Klein; Paul L. Jones; Yi Zhang 051; Eugene Y. Vasserman (RE, 2017)

A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices. - Paolo Masci 001; Yi Zhang 051; Paul L. Jones; José Creissac Campos (SEFM, 2017)

Protecting interoperable clinical environment with authentication. - Liang Cheng 004; Zhangtan Li; Yi Zhang 051; Yang Zhang 021; Insup Lee 001 (SIGBED Rev., 2017)

A Unified Approach for Modeling, Developing, and Assuring Critical Systems. - John Hatcliff; Brian R. Larson; Jason Belt; Robby; Yi Zhang 051 (ISoLA (1), 2018)

Assurance Case Considerations for Interoperable Medical Systems. - Yi Zhang 051; Brian R. Larson; John Hatcliff (SAFECOMP Workshops, 2018)

Implementing Real-Time Clinical Decision Support Applications on OpenICE: A Case Study Using the National Early Warning System Algorithm. - David Arney; Yi Zhang 051; Julian M. Goldman; Barbara Dumas (CHASE, 2019)

Optimizing seed inputs in fuzzing with machine learning. - Liang Cheng 004; Yang Zhang 021; Yi Zhang 051; Chen Wu; Zhangtan Li; Yu Fu; Haisheng Li 002 (ICSE (Companion Volume), 2019)

The open PCA pump project: an exemplar open source medical device as a community resource. - John Hatcliff; Brian R. Larson; Todd Carpenter; Paul L. Jones; Yi Zhang 051; Joseph Jorgens (SIGBED Rev., 2019)

A use error taxonomy for improving human-machine interface design in medical devices. - Carlos Silva 005; Paolo Masci 001; Yi Zhang 051; Paul L. Jones; José Creissac Campos (SIGBED Rev., 2019)

Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling. - Hariharan Thiagarajan; Brian R. Larson; John Hatcliff; Yi Zhang 051 (IMBSA, 2020)

Evaluation of Fluid Resuscitation Control Algorithms via a Hardware-in-the-Loop Test Bed. - Hossein Mirinejad; Bahram Parvinian; Margo Ricks; Yi Zhang 051; Sandy Weininger; Jin-Oh Hahn; Christopher G. Scully (IEEE Trans. Biomed. Eng., 2020)

An Open-Source, Interoperable Architecture for Generating Real-Time Surgical Team Cognitive Alerts from Heart-Rate Variability Monitoring. - David Arney; Yi Zhang 051; Lauren R. Kennedy-Metz; Roger D. Dias; Julian M. Goldman; Marco A. Zenati (Sensors, 2023)