Visible to the public Biblio

Filters: Author is Lui Sha  [Clear All Filters]
2018-05-16
Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Jiaguang Sun, Lui Sha.  2017.  Dependable Model Driven Development of CPS: From Stateflow Simulation to Verified Implementation. ACM Transactions on Cyber-Physical Systems.
Zuxing Gu, Hong Song, Yu Jiang, Jeonghone Choi, Hongjiang He, Lui Sha, Ming Gu.  2016.  An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity. 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM). :818-822.
Mohammad Hosseini, Yu Jiang, Richard R. Berlin, Lui Sha, Houbing Song.  2017.  Towards Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances. CoRR. abs/1707.04918
Mohammad Hosseini, Yu Jiang, Ali Yekkehkhany, Richard R. Berlin, Lui Sha.  2017.  A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport. Proceedings of the 8th {ACM} on Multimedia Systems Conference, MMSys 2017, Taipei, Taiwan, June 20-23, 2017. :158–163.
Mohammad Hosseini, Richard B. Berlin Jr., Lui Sha.  2017.  Physiology-Aware Rural Ambulance Routing. 2017 {IEEE} International Conference on Healthcare Informatics, {ICHI} 2017, Park City, UT, USA, August 23-26, 2017. :332–337.
Mohammad Hosseini, Richard R. Berlin, Lui Sha.  2017.  A physiology-aware communication architecture for distributed emergency medical CPS. Proceedings of the 8th International Conference on Cyber-Physical Systems, {ICCPS} 2017, Pittsburgh, Pennsylvania, USA, April 18-20, 2017. :83.
Mohammad Hosseini, Yu Jiang, Richard R. Berlin, Lui Sha, Houbing Song.  2017.  Toward Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances. {IEEE} Trans. Multimedia. 19:2307–2321.
Andrew Y.{-}Z. Ou, Yu Jiang, Po{-}Liang Wu, Lui Sha, Richard B. Berlin Jr..  2017.  Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance Systems. J. Medical Systems. 41:9:1–9:12.
Zhicheng Fu, Chunhui Guo, Shangping Ren, Yi-Zong Ou, Lui Sha.  2017.  Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design. 2017 IEEE 30th International Symposium on Computer-Based Medical Systems (CBMS).
Zhicheng Fu, Chunhui Guo, Zhenyu Zhang, Shangping Ren, Yu Jiang, Lui Sha.  2017.  Study of Software-Related Causes in the FDA Medical Device Recalls. 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS).
Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Maryam Rahmaniheris, Lui Sha.  2017.  Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study. 2017 IEEE 30th International Symposium on Computer-Based Medical Systems (CBMS).
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha.  2017.  Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines. 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).