Visible to the public Biblio

Filters: Keyword is 1545008  [Clear All Filters]
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.
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.
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.
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.
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.