Yi Zhang

25 papers A* 1A 3B 3Misc 1Journal 8Unranked 9
YearRankTypeTitle / Venue / Authors
2023 J jnl
An Open-Source, Interoperable Architecture for Generating Real-Time Surgical Team Cognitive Alerts from Heart-Rate Variability Monitoring.
Sensors
David Arney, Yi Zhang, Lauren R. Kennedy-Metz, Roger D. Dias, Julian M. Goldman, Marco A. Zenati
2020 J jnl
Evaluation of Fluid Resuscitation Control Algorithms via a Hardware-in-the-Loop Test Bed.
IEEE Trans. Biomed. Eng.
Hossein Mirinejad, Bahram Parvinian, Margo Ricks, Yi Zhang, Sandy Weininger, Jin-Oh Hahn, Christopher G. Scully
2020 — conf
Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling.
IMBSA
Hariharan Thiagarajan, Brian R. Larson, John Hatcliff, Yi Zhang
2019 J jnl
A use error taxonomy for improving human-machine interface design in medical devices.
SIGBED Rev.
Carlos Silva, Paolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos
2019 B conf
Implementing Real-Time Clinical Decision Support Applications on OpenICE: A Case Study Using the National Early Warning System Algorithm.
CHASE
David Arney, Yi Zhang, Julian M. Goldman, Barbara Dumas
2019 — conf
Optimizing seed inputs in fuzzing with machine learning.
ICSE (Companion Volume)
Liang Cheng, Yang Zhang, Yi Zhang, Chen Wu, Zhangtan Li, Yu Fu, Haisheng Li
2019 J jnl
Optimizing seed inputs in fuzzing with machine learning.
CoRR
Liang Cheng, Yang Zhang, Yi Zhang, Chen Wu, Zhangtan Li, Yu Fu, Haisheng Li
2019 J jnl
The open PCA pump project: an exemplar open source medical device as a community resource.
SIGBED Rev.
John Hatcliff, Brian R. Larson, Todd Carpenter, Paul L. Jones, Yi Zhang, Joseph Jorgens
2018 — conf
A Unified Approach for Modeling, Developing, and Assuring Critical Systems.
ISoLA (1)
John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang
2018 — conf
Assurance Case Considerations for Interoperable Medical Systems.
SAFECOMP Workshops
Yi Zhang, Brian R. Larson, John Hatcliff
2017 B conf
A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices.
SEFM
Paolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos
2017 J jnl
Protecting interoperable clinical environment with authentication.
SIGBED Rev.
Liang Cheng, Zhangtan Li, Yi Zhang, Yang Zhang, Insup Lee
2017 A conf
Safety-Focused Security Requirements Elicitation for Medical Device Software.
RE
Mikael Lindvall, Madeline Diep, Michele Klein, Paul L. Jones, Yi Zhang, Eugene Y. Vasserman
2015 J jnl
Enabling Safe Interoperation by Medical Device Virtual Integration.
IEEE Des. Test
Brian R. Larson, Yi Zhang, Stephen C. Barrett, John Hatcliff, Paul L. Jones
2015 — conf
PVSio-web 2.0: Joining PVS to HCI.
CAV (1)
Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby
2014 — conf
A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software.
MCPS
Paolo Masci, Yi Zhang, Paul L. Jones, Harold Thimbleby, Paul Curzon
2014 — conf
Combining PVSio with Stateflow.
NASA Formal Methods
Paolo Masci, Yi Zhang, Paul L. Jones, Patrick Oladimeji, Enrico D'Urso, Cinzia Bernardeschi, Paul Curzon, Harold Thimbleby
2014 B conf
Formal Verification of Medical Device User Interfaces Using PVS.
FASE
Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby
2013 J jnl
Strategic Traceability for Safety-Critical Projects.
IEEE Softw.
Patrick Mäder, Paul L. Jones, Yi Zhang, Jane Cleland-Huang
2013 — conf
Towards a Framework for Safety Analysis of Body Sensor Networks.
BODYNETS
Philip Asare, John C. Lach, John A. Stankovic, Yi Zhang, Paul L. Jones, Sandy Weininger
2011 — conf
Architecture Reconstruction and Analysis of Medical Device Software.
WICSA
Dharmalingam Ganesan, Mikael Lindvall, Rance Cleaveland, Raoul Praful Jetley, Paul L. Jones, Yi Zhang
2011 Misc conf
Safety-assured development of the GPCA infusion pump software.
EMSOFT
BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley
2010 A* conf
MODA: automated test generation for database applications via mock objects.
ASE
Kunal Taneja, Yi Zhang, Tao Xie
2007 A conf
Error Report Driven Post-Mortem Analysis.
ICPC
Yi Zhang, S. Purushothaman Iyer
2006 A conf
Using Abstraction-driven Slicing for Postmortem Analysis of Software.
ICPC
Raoul Praful Jetley, Yi Zhang, S. Purushothaman Iyer