Visible to the public Biblio

Found 1750 results

2018-05-16
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).
Lee, Edward A., Niknami, Mehrdad, Nouidui, Thierry S., Wetter, Michael.  2015.  Modeling and Simulating Cyber-Physical Systems using CyPhySim. International Conference on Embedded Software (EMSOFT).
Lee, Edward A..  2016.  Fundamental Limits of Cyber-Physical Systems Modeling. ACM Transactions on Cyber-Physical Systems. 1:26.
Cremona, Fabio, Lohstroh, Marten, Tripakis, Stavros, Brooks, Christopher, Lee, Edward A..  2016.  FIDE – An FMI Integrated Development Environment. Symposium on Applied Computing.
Lee, Edward A., Reineke, Jan, Zimmer, Michael.  2017.  Abstract PRET Machines. IEEE Real-Time Systems Symposium (RTSS).

Invited TCRTS award paper

Lee, Edward A., Seshia, Sanjit A..  2017.  Introduction to Embedded Systems - A Cyber-Physical Systems Approach.
Titus H. Klinge, James I. Lathrop, Samuel J. Ellis.  Submitted.  Robust Combinatorial Circuits in Chemical Reaction Networks. Proceedings of the 6th International Conference on the Theory and Practice of Natural Computing (TPNC 2017), Prague, Czech Republic, Springer LNCS.

To appear.