Visible to the public Biblio

Found 172 results

Filters: First Letter Of Title is C  [Clear All Filters]
2018-05-25
B. Zheng, P. Deng, R. Anguluri, Q. Zhu, F. Pasqualetti.  2016.  Cross-Layer Codesign for Secure Cyber-Physical Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 35:699-711.
Sunkara, Vishwamithra, Ye, Zhihang, Chakravarthy, Animesh, Chen, Zheng.  2016.  Collision avoidance by IPMC actuated robotic fish using the Collision Cone Approach. Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR), IEEE International Conference on. :238–245.
Zhang, Desheng, Li, Ye, Zhang, Fan, Lu, Mingming, Liu, Yunhuai, He, Tian.  2013.  coRide: Carpool Service with a Win-win Fare Model for Large-scale Taxicab Networks. Proceedings of the 11th ACM Conference on Embedded Networked Sensor Systems. :9:1–9:14.
Sirajum Munir, John A. Stankovic, Chieh-Jan Mike Liang, Shan Lin.  2013.  Cyber Physical System Challenges for Human-in-the-Loop Control. Presented as part of the 8th International Workshop on Feedback Computing.
H. Huang, C. C. Ni, X. Ban, J. Gao, A. T. Schneider, S. Lin.  2014.  Connected wireless camera network deployment with visibility coverage. IEEE INFOCOM 2014 - IEEE Conference on Computer Communications. :1204-1212.
D. Zhang, T. He, Y. Liu, J. A. Stankovic.  2013.  CallCab: A unified recommendation system for carpooling and regular taxicab services. 2013 IEEE International Conference on Big Data. :439-447.
D. Zhang, T. He, Y. Liu, S. Lin, J. A. Stankovic.  2014.  A Carpooling Recommendation System for Taxicab Services. IEEE Transactions on Emerging Topics in Computing. 2:254-266.
J. Huang, G. Xing, J. Niu, S. Lin.  2015.  CodeRepair: PHY-layer partial packet recovery without the pain. 2015 IEEE Conference on Computer Communications (INFOCOM). :1463-1471.
Chen, Lin, Lin, Shan, Huang, Hua.  2016.  Charge Me if You Can: Charging Path Optimization and Scheduling in Mobile Networks. Proceedings of the 17th ACM International Symposium on Mobile Ad Hoc Networking and Computing. :101–110.
Brugarolas, R., Mealin, S., Majikes, J., Yang, P., Loftin, R., Sherman, B., Roberts, D., Bozkurt, A..  2014.  Cyber-physical Canine-Machine Interfaces for Smart Emergency Response Systems. 36th International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC?14)
Mealin, S., Foster, M., Walker, K., Yushak, S., Sherman, B., Bozkurt, A., Roberts Dl..  2017.  Creating an Evaluation System for Future Guide Dogs: A Case Study of Designing for Both Human and Canine Needs. ACI2017: Fourth International Conference on Animal-Computer Interaction.
R. Hou, S. Jeong, K. H. Law, J. P. Lynch.  2017.  Camera-based Triggering of Bridge Structure Health Monitoring Systems using a Cyber-Physical System Framework. International Workshop on Structural Health Monitoring 2017 (IWSHM 2017).

{\url {http://eil.stanford.edu/publications/seongwoon_jeong/IWSHM_2017_2.pdf}}

2018-05-23
H. Guo, Z. Sun, P. Wang.  2015.  Channel Modeling of MI Underwater Communication Using Tri-Directional Coil Antenna. 2015 IEEE Global Communications Conference (GLOBECOM). :1-6.
Hung Nguyen, others.  2016.  Cloud-based Secure Logger For Medical Devices. Workshop on Security, Privacy, and Trustworthiness of Medical Cyber-Physical Systems.
A. Roederer, J. Dimartino, J. Gutsche, M. Mullen-Fortino, S. Shah, C. W. Hanson, I. Lee.  2016.  Clinician-in-the-Loop Annotation of ICU Bedside Alarm Data. 2016 IEEE First International Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE). :229-237.
Blythe, Jim, Koppel, Ross, Smith, Sean W..  2013.  Circumvention of Security: Good Users Do Bad Things.. IEEE Security & Privacy. 11:80–83.
Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam, Mats Per Erik Heimdahl.  2013.  Compositional verification of a medical device system. Proceedings of the 2013 {ACM} SIGAda annual conference on High integrity language technology, {HILT} 2013. :51–64.
Jiang, Zhihao, Pajic, Miroslav, Alur, Rajeev, Mangharam, Rahul.  2014.  Closed-loop verification of medical devices with model abstraction and refinement. International Journal on Software Tools for Technology Transfer. 16:191–213.
O. Sokolsky, I. Lee, M. Heimdahl.  2011.  Challenges in the regulatory approval of medical cyber-physical systems. Proceedings of the 11$^{th}$ International Conference on Embedded Software EMSOFT '11). :227–232.
Z. Jiang, M. Pajic, R. Mangharam.  2012.  Cyber-Physical Modeling of Implantable Cardiac Medical Devices. Proceedings of the IEEE. 100:122-137.
I. Lee, O. Sokolsky, S. Chen, John Hatcliff, E. Jee, B. Kim, A. King, M. Fortino-Mullen, S. Park, A. Roederer et al..  2012.  Challenges and Research Directions in Medical Cyber-Physical Systems. Proceedings of the {IEEE} (special issue on Cyber-Physical Systems). 100:75–90.
2018-05-17
Taheri, Ehsan, Li, Nan I, Kolmanovsky, Ilya.  2017.  Co-state initialization for the minimum-time low-thrust trajectory optimization. Advances in Space Research. 59:2360–2373.
Liu, Xiaoqing F, Shahriar, Md Rakib, Sunny, S M Nahian Al, Leu, Ming C, Hu, Liwen.  2017.  Cyber-physical manufacturing cloud: Architecture, virtualization, communication, and testbed. Journal of Manufacturing Systems. 43:352–364.
Manjesh Hanawal, Venkatesh Saligrama, Michal Valko, Remi Munos.  2015.  Cheap Bandits. Proceedings of the 32nd International Conference on Machine Learning. 37:2133–2142.
Cem Aksoylar, Lorenzo Orecchia, Venkatesh Saligrama.  2017.  Connected Subgraph Detection with Mirror Descent on SDPs. {ICML}. 70:51–59.