Visible to the public Biblio

Found 166 results

Filters: First Letter Of Last Name is Z  [Clear All Filters]
2018-05-16
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.
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, 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., Reineke, Jan, Zimmer, Michael.  2017.  Abstract PRET Machines. IEEE Real-Time Systems Symposium (RTSS).

Invited TCRTS award paper

Liu, Guanxiong, Pan, Menghai, Li, Yanhua, Zhang, Zhi-Li, Luo, Jun.  2017.  Modeling Urban Trip Demands in Cloud-Commuting System: A Holistic Approach. The 3rd IEEE INFOCOM Workshop on Smart Cities and Urban Computing (SmartCity 2017). :1–6.
Li, Yuhong, Bao, Jie, Li, Yanhua, Wu, Yingcai, Gong, Zhiguo, Zheng, Yu.  2017.  Mining the Most Influential $ k $-Location Set From Massive Trajectories. IEEE Transactions on Big Data. PP:1-14.
Li, Ruiyuan, Ruan, Sijie, Bao, Jie, Li, Yanhua, Wu, Yingcai, Zheng, Yu.  2017.  Querying Massive Trajectories by Path on the Cloud. 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (SIGSPATIAL 2017). :1–4.
Khezerlou, Amin Vahedian, Zhou, Xun, Tong, Ling, Li, Yanhua, Luo, Jun.  2017.  Forecasting Gathering Events through Continuous Destination Prediction on Big Trajectory Data. 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (SIGSPATIAL 2017). :1–10.
Liu, Guanxiong, Li, Yanhua, Zhang, Zhi-Li, Luo, Jun, Zhang, Fan.  2017.  CityLines: Hybrid Hub-and-Spoke Urban Transit System. 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (SIGSPATIAL 2017). :1–4.
Wu, Guojun, Ding, Yichen, Li, Yanhua, Bao, Jie, Zheng, Yu, Luo, Jun.  2017.  Mining Spatio-Temporal Reachable Regions over Massive Trajectory Data. The 33rd International Conference on Data Engineering (ICDE 2017). :1–12.
Wu, Guojun, Ding, Yichen, Li, Yanhua, Luo, Jun, Zhang, Fan, Fu, Jie.  2017.  Data-driven inverse learning of passenger preferences in urban public transits. The 56th IEEE Conference on Decision and Control (CDC 2017). :1–6.
Bao, Jie, He, Tianfu, Ruan, Sijie, Li, Yanhua, Zheng, Yu.  2017.  Planning bike lanes based on Sharing-bike’s trajectories. the 23th SIGKDD conference on Knowledge Discovery and Data Mining (KDD 2017). :1–10.
2018-05-15
Zander, J., Mosterman, P.J., Padir, T., Wan, Y., Fu, S..  2015.  Cyber-physical Systems can Make Emergency Response Smart. Procedia Engineering. 107
Wan, Y., Fu, Sheng, Mosterman, P., Zander, J..  2015.  Homeland Security Today: Transforming On-Demand Emergency Communications with Drones: The Needs, Analyses and Solutions. Homeland Security Today Magazine. :32–35.
Saeed, Ahmed, Harras, Khaled, Zegura, Ellen, Ammar, Mostafa.  Submitted.  Local and Low-cost Whitespace Detection. Proc. IEEE International Conference on Distributed Computing Systems}, issue date = {June 20017.
Vigil-Hayes, Morgan, Belding, Elizabeth, Zegura, Ellen.  2017.  FiDO: A Community-based Web Browsing Agent and CDN for Challenged Network Environments. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.. 1:108:1–108:25.
Liu, Chao, Huang, Bowen, Zhao, Mo, Sarkar, Soumik, Vaidya, Umesh, Sharma, Anuj.  2016.  Data driven exploration of traffic network system dynamics using high resolution probe data. Decision and Control (CDC), 2016 IEEE 55th Conference on. :7629–7634.
S. Sarkar, Z. Jiang, A. Akintayo, S. Krishnamurthy, A. Tewari.  2017.  Chapter 18 - Probabilistic Graphical Modeling of Distributed Cyber-Physical Systems. Cyber-Physical Systems. :265-285.
Zhang, Y.J, Malikopoulos, Andreas A, Cassandras, Christos G.  2016.  Optimal control and coordination of connected and automated vehicles at urban traffic intersections. Proceedings of the American Control Conference. :6227-6232.
Malikopoulos, A A, Cassandras, Christos G, ZHANG, Y.  2017.  A decentralized energy-optimal control framework for connected automated vehicles at signal-free intersections. Automatica.

submitted, also arXiv: 1509.08689.

Zhang, Yue, Cassandras, Christos G, Malikopoulos, Andreas A.  2017.  Optimal control of connected automated vehicles at urban traffic intersections: a feasibility enforcement analysis. Proceedings of the American Control Conference. :3548-3553.