Yi Zhang

According to our database, Yi Zhang authored at least 24 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

An Open-Source, Interoperable Architecture for Generating Real-Time Surgical Team Cognitive Alerts from Heart-Rate Variability Monitoring.

David Arney, Yi Zhang, Lauren R. Kennedy-Metz, Roger D. Dias, Julian M. Goldman, Marco A. Zenati

Sensors, 2023

2020

Evaluation of Fluid Resuscitation Control Algorithms via a Hardware-in-the-Loop Test Bed.

Hossein Mirinejad, Bahram Parvinian, Margo Ricks, Yi Zhang, Sandy Weininger, Jin-Oh Hahn, Christopher G. Scully

IEEE Trans. Biomed. Eng., 2020

Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling.

Hariharan Thiagarajan, Brian R. Larson, John Hatcliff, Yi Zhang

Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

2019

A use error taxonomy for improving human-machine interface design in medical devices.

Carlos Silva, Paolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos

SIGBED Rev., 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, Joseph Jorgens

SIGBED Rev., 2019

Optimizing seed inputs in fuzzing with machine learning.

Liang Cheng, Yang Zhang, Yi Zhang, Chen Wu, Zhangtan Li, Yu Fu, Haisheng Li

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Implementing Real-Time Clinical Decision Support Applications on OpenICE: A Case Study Using the National Early Warning System Algorithm.

David Arney, Yi Zhang, Julian M. Goldman, Barbara Dumas

Proceedings of the 4th IEEE/ACM International Conference on Connected Health: Applications, 2019

2018

Assurance Case Considerations for Interoperable Medical Systems.

Yi Zhang, Brian R. Larson, John Hatcliff

Proceedings of the Computer Safety, Reliability, and Security, 2018

A Unified Approach for Modeling, Developing, and Assuring Critical Systems.

John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2017

Protecting interoperable clinical environment with authentication.

Liang Cheng, Zhangtan Li, Yi Zhang, Yang Zhang, Insup Lee

SIGBED Rev., 2017

A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices.

Paolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Safety-Focused Security Requirements Elicitation for Medical Device Software.

Mikael Lindvall, Madeline Diep, Michele Klein, Paul L. Jones, Yi Zhang, Eugene Y. Vasserman

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

2015

Enabling Safe Interoperation by Medical Device Virtual Integration.

Brian R. Larson, Yi Zhang, Stephen C. Barrett, John Hatcliff, Paul L. Jones

IEEE Des. Test, 2015

PVSio-web 2.0: Joining PVS to HCI.

Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Combining PVSio with Stateflow.

Paolo Masci, Yi Zhang, Paul L. Jones, Patrick Oladimeji, Enrico D'Urso, Cinzia Bernardeschi, Paul Curzon, Harold Thimbleby

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software.

Paolo Masci, Yi Zhang, Paul L. Jones, Harold Thimbleby, Paul Curzon

Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

Formal Verification of Medical Device User Interfaces Using PVS.

Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

Strategic Traceability for Safety-Critical Projects.

Patrick Mäder, Paul L. Jones, Yi Zhang, Jane Cleland-Huang

IEEE Softw., 2013

Towards a Framework for Safety Analysis of Body Sensor Networks.

Philip Asare, John C. Lach, John A. Stankovic, Yi Zhang, Paul L. Jones, Sandy Weininger

Proceedings of the 8th International Conference on Body Area Networks, 2013

2011

Architecture Reconstruction and Analysis of Medical Device Software.

Dharmalingam Ganesan, Mikael Lindvall, Rance Cleaveland, Raoul Praful Jetley, Paul L. Jones, Yi Zhang

Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, 2011

Safety-assured development of the GPCA infusion pump software.

BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

MODA: automated test generation for database applications via mock objects.

Kunal Taneja, Yi Zhang, Tao Xie

Proceedings of the ASE 2010, 2010

2007

Error Report Driven Post-Mortem Analysis.

Yi Zhang, S. Purushothaman Iyer

Proceedings of the 15th International Conference on Program Comprehension (ICPC 2007), 2007

2006

Using Abstraction-driven Slicing for Postmortem Analysis of Software.

Raoul Praful Jetley, Yi Zhang, S. Purushothaman Iyer

Proceedings of the 14th International Conference on Program Comprehension (ICPC 2006), 2006