Visible to the public Biblio

Filters: Keyword is 1545008  [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.
Y. Jiang, Y. Yang, H. Liu, H. Kong, M. Gu, J. Sun, L. Sha.  2016.  From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design. 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). :1-11.
Jiang, Yu, Liu, Han, Song, Houbing, Kong, Hui, Gu, Ming, Sun, Jiaguang, Sha, Lui.  2016.  Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. :757–763.
Y. Jiang, H. Liu, H. Kong, R. Wang, M. Hosseini, J. Sun, L. Sha.  2016.  Use Runtime Verification to Improve the Quality of Medical Care Practice. 2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C). :112-121.
Jiang, Yu, Sha, Lui, Rahmaniheris, Maryam, Wan, Binhua, Hosseini, Mohammad, Tan, Pengliu, Berlin, Richard B..  2016.  Sepsis Patient Detection and Monitor Based on Auto-BN. Journal of Medical Systems. 40:111.
Hosseini, Mohammad, Jiang, Yu, Wu, Poliang, Berlin, Richard B., Ren, Shangping, Sha, Lui.  2016.  A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems. Journal of Medical Systems. 40:227.
M. Hosseini, R. R. Berlin, L. Sha.  2017.  WiP Abstract: A Physiology-Aware Communication Architecture for Distributed Emergency Medical CPS. 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS). :83-84.
Hosseini, Mohammad, Jiang, Yu, Yekkehkhany, Ali, Berlin, Richard R., Sha, Lui.  2017.  A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport. Proceedings of the 8th ACM on Multimedia Systems Conference. :158–163.
A. Y. Z. Ou, Yu Jiang, P. L. Wu, L. Sha, R. B. Berlin.  2016.  Using human intellectual tasks as guidelines to systematically model medical cyber-physical systems. 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC). :004394-004399.
Ou, Andrew Y.-Z., Jiang, Yu, Wu, Po-Liang, Sha, Lui, Berlin, Richard B..  2016.  Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance Systems. Journal of Medical Systems. 41:9.
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.
Z. Fu, C. Guo, S. Ren, Y. Jiang, L. Sha.  2017.  Modeling and integrating physical environment assumptions in medical cyber-physical system design. Design, Automation Test in Europe Conference Exhibition (DATE), 2017. :1615-1618.
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).
C. Guo, S. Ren, Y. Jiang, P. L. Wu, L. Sha, R. B. Berlin.  2016.  Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models. 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS). :1-10.
C. Guo, Z. Fu, S. Ren, Y. Jiang, L. Sha.  2017.  Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems. 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC). 01:760-765.
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).