Yi Zhang

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 11

Top Topics

Safety Analysis

Security Requirements

Medical Devices

Top Venues

SAFECOMP Workshops

Publications

David Arney, Yi Zhang, Lauren R. Kennedy-Metz, Roger D. Dias, Julian M. Goldman, Marco A. Zenati
An Open-Source, Interoperable Architecture for Generating Real-Time Surgical Team Cognitive Alerts from Heart-Rate Variability Monitoring. Sensors 23 (8) (2023)
Hariharan Thiagarajan, Brian R. Larson, John Hatcliff, Yi Zhang
Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling. IMBSA (2020)
Hossein Mirinejad, Bahram Parvinian, Margo Ricks, Yi Zhang, Sandy Weininger, Jin-Oh Hahn, Christopher G. Scully
Evaluation of Fluid Resuscitation Control Algorithms via a Hardware-in-the-Loop Test Bed. IEEE Trans. Biomed. Eng. 67 (2) (2020)
Carlos Silva, Paolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos
A use error taxonomy for improving human-machine interface design in medical devices. SIGBED Rev. 16 (2) (2019)
John Hatcliff, Brian R. Larson, Todd Carpenter, Paul L. Jones, Yi Zhang, Joseph Jorgens
The open PCA pump project: an exemplar open source medical device as a community resource. SIGBED Rev. 16 (2) (2019)
John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang
A Unified Approach for Modeling, Developing, and Assuring Critical Systems. ISoLA (1) (2018)
Yi Zhang, Brian R. Larson, John Hatcliff
Assurance Case Considerations for Interoperable Medical Systems. SAFECOMP Workshops (2018)
Mikael Lindvall, Madeline Diep, Michele Klein, Paul L. Jones, Yi Zhang, Eugene Y. Vasserman
Safety-Focused Security Requirements Elicitation for Medical Device Software. RE (2017)
Paolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos
A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices. SEFM (2017)
Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby
PVSio-web 2.0: Joining PVS to HCI. CAV (1) (2015)
Brian R. Larson, Yi Zhang, Stephen C. Barrett, John Hatcliff, Paul L. Jones
Enabling Safe Interoperation by Medical Device Virtual Integration. IEEE Des. Test 32 (5) (2015)
Paolo Masci, Yi Zhang, Paul L. Jones, Patrick Oladimeji, Enrico D'Urso, Cinzia Bernardeschi, Paul Curzon, Harold Thimbleby
Combining PVSio with Stateflow. NASA Formal Methods (2014)
Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby
Formal Verification of Medical Device User Interfaces Using PVS. FASE (2014)
Paolo Masci, Yi Zhang, Paul L. Jones, Harold Thimbleby, Paul Curzon
A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software. MCPS (2014)
Patrick Mäder, Paul L. Jones, Yi Zhang, Jane Cleland-Huang
Strategic Traceability for Safety-Critical Projects. IEEE Softw. 30 (3) (2013)
Philip Asare, John C. Lach, John A. Stankovic, Yi Zhang, Paul L. Jones, Sandy Weininger
Towards a Framework for Safety Analysis of Body Sensor Networks. BODYNETS (2013)
Dharmalingam Ganesan, Mikael Lindvall, Rance Cleaveland, Raoul Praful Jetley, Paul L. Jones, Yi Zhang
Architecture Reconstruction and Analysis of Medical Device Software. WICSA (2011)
BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley
Safety-assured development of the GPCA infusion pump software. EMSOFT (2011)