Visible to the public Biblio

Filters: First Letter Of Title is H  [Clear All Filters]
A B C D E F G [H] I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
S. Bhattacharjee, S. K. Das.  Submitted.  A Harmonic Mean Comparison Approach for Defense Against Data falsification in IoT Networks. IEEE Transactions on Dependable and Secure Computing.
Kempke, Benjamin, Pannuto, Pat, Dutta, Prabal.  2016.  Harmonium: Asymmetric, Bandstitched UWB for Fast, Accurate, and Robust Indoor Localization. Proceedings of the 15th International Conference on Information Processing in Sensor Networks.
Clark, Meghan, Dutta, Prabal.  2015.  The Haunted House: Networking Smart Homes to Enable Casual Long-distance Social Interactions. Proceedings of the 2015 International Workshop on Internet of Things towards Applications. :23–28.
Z. Jiang, S.Radhakrishnan, V.Sampath, S.Sarode, R. Mangharam.  2013.  Heart-on-a-Chip: A Closed-loop Testing Platform for Implantable Pacemakers. Third Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'13).
Wil Thomason, Ross A. Knepper.  2017.  Heterogeneity and Diversity for Resilience in Multi-Robot Systems. Workshop on Heterogeneity and Diversity for Resilience in Multi- Robot Systems.
G. Peng, G. Zhou, D. T. Nguyen, X. Qi, S. Lin.  2016.  HIDE: AP-Assisted Broadcast Traffic Management to Save Smartphone Energy. 2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS). :509-518.
Zhao, Yanbo, Ioannou, Petros A, Dessouky, Maged M.  2017.  A Hierarchical Co-Simulation Optimization Control System for Multimodal Freight Routing. 20th International Conference on Intelligent Transportation Systems, 2017 IEEE.


Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee.  2015.  Hierarchical multi-formalism proofs of cyber-physical systems. 13. {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMOCODE} 2015. :90–95.
Jiang, Zhihao, Mangharam, Rahul.  2015.  High-Confidence Medical Device Software Development. Foundations and Trends in Electronic Design Automation. 9
Wu, Aimin, Geyer, Hartmut.  2014.  Highly robust running of articulated bipeds in unobserved terrain. Intelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on. :2558–2565.
Lee, Phillip, Clark, Andrew, Alomair, Basel, Bushnell, Linda, Poovendran, Radha.  2015.  A host takeover game model for competing malware. 54th IEEE Conference on Decision and Control (CDC). :4523–4530.
M. Contag, G. Li, A. Pawlowski, F. Domke, K. Levchenko, T. Holz, S. Savage.  2017.  How They Did It: An Analysis of Emission Defeat Devices in Modern Automobiles. IEEE Symposium on Security and Privacy (S&P). :231-250}month={May.
Brown, Fraser, Nötzli, Andres, Engler, Dawson.  2016.  How to Build Static Checking Systems Using Orders of Magnitude Less Code. Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems. :143–157.
R. Goebel, R. G. Sanfelice.  2016.  How well-posedness of hybrid systems can extend beyond Zeno times. Proceedings of the IEEE Conference on Decision and Control. :598–603.