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]
H
[Anonymous].  2014.  Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings. Lecture Notes in Computer Science. 8855
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.
Sean W. Smith, Ross Koppel.  2014.  Healthcare information technology's relativity problems: a typology of how patients' physical reality, clinicians' mental models, and healthcare information technology differ. {JAMIA}. 21:117–131.
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.
Desheng Zhang, Juanjuan Zhao, Fan Zhang,, Tian He..  2016.  Heterogeneous Model Integration for Multi-source Infrastructure Data. IEEE Transactions on Cyber-Physical 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.

(Accepted)

S. Amini, F. Pasqualetti, M. Abbaszadeh, H. Mohsenian-Rad.  2017.  Hierarchical Location Identification of Destabilizing Faults and Attacks in Power Systems: A Frequency-Domain Approach. {IEEE} Transactions on Smart Grid.

Submitted

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.
Li, Nan, Oyler, Dave, Zhang, Mengxuan, Yildiz, Yildiray, Girard, Anouck, Kolmanovsky, Ilya.  2016.  Hierarchical reasoning game theory based approach for evaluation and testing of autonomous vehicle control systems. Proceedings of 55th IEEE Conference on Decision and Control. :727–733.
Jiang, Zhihao, Mangharam, Rahul.  2015.  High-Confidence Medical Device Software Development. Foundations and Trends in Electronic Design Automation. 9
Abbas, Houssam, Jiang, Zhihao, Jang, Kuk Jin, Beccani, Marco, Liang, Jackson, Dixit, Sanjay, Mangharam, Rahul.  2016.  High-Level Modeling for Computer-Aided Clinical Trials of Medical Devices. IEEE International High Level Design Validation and Test Workshop (HLDVT). :85-92.
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.
K. Dvijotham, E. Mallada, J. W. Simpson-Porco.  2017.  High-Voltage Solution in Radial Power Networks: Existence, Properties, and Equivalent Algorithms. IEEE Control Systems Letters. 1:322-327.
He, Yi, Song, Ziqi, Liu, Zhaocai, Heaslip, Kevin.  2017.  Highway Drainage Grate Detection and Recognition Based on Aerial Image Processing.
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.
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.
Jahshan Bhatti, Todd Humphreys.  2017.  Hostile Control of Ships via False GPS Signals: Demonstration and Detection. 64
Dowling, Chase, Fiez, Tanner, Ratliff, Lillian, Zhang, Baosen.  2017.  How Much Urban Traffic is Searching for Parking? arXiv preprint arXiv:1702.06156.
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.