default search action
Zhihao Jiang
Zhi Hao Jiang
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j45]Haochen Yang, Zhihao Jiang:
Decision support for personalized therapy in implantable medical devices: A digital twin approach. Expert Syst. Appl. 243: 122883 (2024) - [j44]Guangyao Chen, Peilin He, Ziqi Wang, Zixin Teng, Zhihao Jiang:
Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems. Expert Syst. Appl. 247: 123371 (2024) - [j43]Xiaoyue Xia, Chao Yu, Fan Wu, Zhihao Jiang, Sidou Zheng, Si-Yuan Tang, Yu Yao, Wei Hong:
Millimeter-Wave Beam-Tilted Phased Array Antenna for 5G-Enabled IoT Devices. IEEE Internet Things J. 11(1): 1496-1508 (2024) - [j42]Xiaoyue Xia, Fan Wu, Chao Yu, Zhihao Jiang, Jun Xu, Si-Yuan Tang, Zuojun Wang, Yu Yao, Wei Hong:
Millimeter-Wave and Sub-6-GHz Aperture-Shared Antenna and Array for Mobile Terminals Accessing 5G/6G-Enabled IoT Scenarios. IEEE Internet Things J. 11(10): 18808-18823 (2024) - [j41]Xuan Feng Tong, Zhi Hao Jiang, Yuan Li, Fan Wu, Lin Peng, Taiwei Yue, Wei Hong:
A low-profile dual-broadband dual-circularly-polarized reflectarray for K-/Ka-band space applications. Frontiers Inf. Technol. Electron. Eng. 25(8): 1145-1161 (2024) - [j40]Jie Wang, Zhihao Jiang, Yash Vardhan Pant:
Improving safety in mixed traffic: A learning-based model predictive control for autonomous and human-driven vehicle platooning. Knowl. Based Syst. 293: 111673 (2024) - [j39]Yuan Hu, Xifan Hua, Qingyun Yan, Wei Liu, Zhihao Jiang, Jens Wickert:
Sea Ice Detection from GNSS-R Data Based on Local Linear Embedding. Remote. Sens. 16(14): 2621 (2024) - [j38]Zhihao Jiang, Xiaohan Dou, Xiaolong Liu, Chengqi Xue, Anqi Wang, Gengpei Zhang:
Internal Thread Defect Generation Algorithm and Detection System Based on Generative Adversarial Networks and You Only Look Once. Sensors 24(17): 5636 (2024) - [j37]Zhihao Jiang, Otto J. Bakker, Paulo J. D. S. Bartolo:
Industry 4.0-Compliant Occupational Chronic Obstructive Pulmonary Disease Prevention: Literature Review and Future Directions. Sensors 24(17): 5734 (2024) - [j36]Ke Zhang, Feng Shuo Wan, Xuan Feng Tong, Yan Zhang, Zhi Hao Jiang, Wei Hong:
A Low-Profile, Wide-Angle Scanning Phased Array Based on Dual-Mode Patch Elements for Vehicular Millimeter-Wave Applications. IEEE Trans. Circuits Syst. II Express Briefs 71(2): 602-606 (2024) - [j35]Yunli Li, Penghui Jian, Dingwei Xi, Fan Wu, Zhi Hao Jiang, Wei Hong:
A Wideband Transmitarray Antenna Based on True-Time Delay Magneto-Electric Dipole Elements. IEEE Trans. Circuits Syst. II Express Briefs 71(7): 3353-3357 (2024) - [c47]Chenyang Zhu, Wen Si, Jinyu Zhu, Zhihao Jiang:
Decomposing Temporal Equilibrium Strategy for Coordinated Distributed Multi-Agent Reinforcement Learning. AAAI 2024: 17618-17627 - [c46]Guangyao Chen, Zhihao Jiang:
Iterative Model Checking for Safety-Critical Problems in Cyber-Physical Systems. ICCPS 2024: 273-274 - [c45]Yilun Chen, Zhuo Jian, Yixi Wang, Zhihao Jiang:
Poster Abstract of Digital-twin-based Decision Support During Personalized Robotic Rehabilitation. ICCPS 2024: 275-276 - [i12]Ashish Goel, Zhihao Jiang, Aleksandra Korolova, Kamesh Munagala, Sahasrajit Sarmasarkar:
Differential Privacy with Multiple Selections. CoRR abs/2407.14641 (2024) - 2023
- [j34]Wei Liu, Xintai Yuan, Yuan Hu, Jens Wickert, Zhihao Jiang:
Multifeature GNSS-R Snow Depth Retrieval Using GA-BP Neural Network. IEEE Geosci. Remote. Sens. Lett. 20: 1-5 (2023) - [j33]Zhi Ning Chen, Teng Li, Xianming Qing, Jin Shi, Shunli Li, Yuanyan Su, Wei Li, Chunhua Xue, Qun Lou, Zhi Hao Jiang, Ruolei Xu, Peiqin Liu, Huiwen Sheng:
Microwave Metalens Antennas. Proc. IEEE 111(8): 978-1010 (2023) - [j32]Junyu Diao, Renzhi Tang, Yi Gu, Sen Tian, Zhihao Jiang:
Cognitive-Digital-Twin-Based Driving Assistance. IEEE Robotics Autom. Lett. 8(8): 5188-5195 (2023) - [j31]Kunyu Sun, Zhihao Jiang, Chengmeng Wang, Dongxuan Han, Zhao Yao, Weihua Zong, Zhejun Jin, Shandong Li:
High-Resolution Magnetoelectric Sensor and Low-Frequency Measurement Using Frequency Up-Conversion Technique. Sensors 23(3): 1702 (2023) - [j30]Yuan Hu, Zhihao Jiang, Wei Liu, Xintai Yuan, Qinsong Hu, Jens Wickert:
GNSS-R Sea Ice Detection Based on Linear Discriminant Analysis. IEEE Trans. Geosci. Remote. Sens. 61: 1-12 (2023) - [j29]Yan Jia, Zhaoquan Gu, Zhihao Jiang, Cuiyun Gao, Jianye Yang:
Persistent graph stream summarization for real-time graph analytics. World Wide Web (WWW) 26(5): 2647-2667 (2023) - [c44]Yilun Chen, Wentao Wang, Junyu Diao, Daoyu Wang, Zhuo Jian, Yixi Wang, Zhihao Jiang:
Digital-Twin-Based Patient Evaluation during Stroke Rehabilitation. ICCPS 2023: 22-33 - [c43]Guangyao Chen, Linshu Yang, Haochen Yang, Peilin He, Zhihao Jiang:
pyUPPAAL: A Python Package for Risk Analysis of CPS. ICCPS 2023: 231-232 - [c42]Wenqi Zhou, Xiao Zhang, Dongdong Gu, Sheng Wang, Jiayu Huo, Rui Zhang, Zhihao Jiang, Feng Shi, Zhong Xue, Yiqiang Zhan, Xi Ouyang, Dinggang Shen:
HENet: Hierarchical Enhancement Network for Pulmonary Vessel Segmentation in Non-contrast CT Images. MICCAI (3) 2023: 551-560 - [c41]Chengcheng Li, Wei Wang, Zhihao Jiang, Lin Zhu, Jinyuan Sun, Yilu Liu, Hairong Qi:
Early Alarm: Robust Event Analysis for Power Systems using 1-D Fully Convolutional Network. SmartGridComm 2023: 1-7 - [i11]Jie Wang, Yash Vardhan Pant, Zhihao Jiang:
Learning-Based Modeling of Human-Autonomous Vehicle Interaction for Enhancing Safety in Mixed-Vehicle Platooning Control. CoRR abs/2303.09452 (2023) - 2022
- [j28]Rui Liu, Liansheng Zhuang, Zhou Yu, Zhihao Jiang, Tian Bai:
Question-relationship guided graph attention network for visual question answer. Multim. Syst. 28(2): 445-456 (2022) - [j27]Hanhua Chen, Jie Yuan, Hai Jin, Yonghui Wang, Sijie Wu, Zhihao Jiang:
RGraph: Asynchronous graph processing based on asymmetry of remote direct memory access. Softw. Pract. Exp. 52(2): 374-393 (2022) - [j26]Yuan Hu, Xintai Yuan, Wei Liu, Qingsong Hu, Jens Wickert, Zhihao Jiang:
An SVM-Based Snow Detection Algorithm for GNSS-R Snow Depth Retrievals. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 15: 6046-6052 (2022) - [j25]Zhihao Jiang, Debmalya Panigrahi, Kevin Sun:
Online Algorithms for Weighted Paging with Predictions. ACM Trans. Algorithms 18(4): 39:1-39:27 (2022) - [j24]Yuan Hu, Xintai Yuan, Wei Liu, Jens Wickert, Zhihao Jiang:
GNSS-R Snow Depth Inversion Based on Variational Mode Decomposition With Multi-GNSS Constellations. IEEE Trans. Geosci. Remote. Sens. 60: 1-12 (2022) - [c40]Mohammad Pirani, Yining She, Renzhi Tang, Zhihao Jiang, Yash Vardhan Pant:
Stable Interaction of Autonomous Vehicle Platoons with Human-Driven Vehicles. ACC 2022: 633-640 - [c39]Zhihao Jiang, Otto J. Bakker, Paulo J. D. S. Bartolo:
Critical Review of Industry 4.0 Technologies' Applications on Occupational Safety and Health. CoDIT 2022: 1267-1272 - [c38]Mincai Lai, Haochen Yang, Jicheng Gu, Xinye Chen, Zhihao Jiang:
Digital-twin-based Online Parameter Personalization for Implantable Cardiac Defibrillators. EMBC 2022: 3007-3010 - [c37]Yu Fang, Zhiming Cui, Lei Ma, Lanzhuju Mei, Bojun Zhang, Yue Zhao, Zhihao Jiang, Yiqiang Zhan, Yongsheng Pan, Min Zhu, Dinggang Shen:
Curvature-Enhanced Implicit Function Network for High-quality Tooth Model Generation from CBCT Images. MICCAI (5) 2022: 225-234 - [c36]Moses Charikar, Zhihao Jiang, Kirankumar Shiragur, Aaron Sidford:
On the Efficient Implementation of High Accuracy Optimality of Profile Maximum Likelihood. NeurIPS 2022 - [i10]Moses Charikar, Zhihao Jiang, Kirankumar Shiragur, Aaron Sidford:
On the Efficient Implementation of High Accuracy Optimality of Profile Maximum Likelihood. CoRR abs/2210.06728 (2022) - [i9]Jie Wang, Zhihao Jiang, Yash Vardhan Pant:
Gaussian Process Learning-Based Model Predictive Control for Safe Interactions of a Platoon of Autonomous and Human-Driven Vehicles. CoRR abs/2211.04665 (2022) - 2021
- [j23]Lin Zhu, Wenpeng Yu, Zhihao Jiang, Chengwen Zhang, Yi Zhao, Jiaojiao Dong, Weikang Wang, Yilu Liu, Evangelos Farantatos, Deepak Ramasubramanian, Andrew Arana, Ryan Quint:
A Comprehensive Method to Mitigate Forced Oscillations in Large Interconnected Power Grids. IEEE Access 9: 22503-22515 (2021) - [j22]Guangyao Chen, Zhihao Jiang:
Environment Modeling During Model Checking of Cyberphysical Systems. Computer 54(9): 49-58 (2021) - [j21]Tao Bai, Zhihao Jiang, Pejman Tahmasebi:
Debris flow prediction with machine learning: smart management of urban systems and infrastructures. Neural Comput. Appl. 33(22): 15769-15779 (2021) - [j20]Yi Zou, Jijuan Zhong, Zhihao Jiang, Hong Zhang, Xuyu Pu:
Experience Weighted Learning in Multiagent Systems. Sci. Program. 2021: 9948156:1-9948156:9 (2021) - [j19]Yuan Hu, Xintai Yuan, Wei Liu, Jens Wickert, Zhihao Jiang, Rüdiger Haas:
GNSS-IR Model of Sea Level Height Estimation Combining Variational Mode Decomposition. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 14: 10405-10414 (2021) - [j18]Cheng-Xiang Wang, Jun Wang, Sanming Hu, Zhi Hao Jiang, Jun Tao, Feng Yan:
Key Technologies in 6G Terahertz Wireless Communication Systems: A Survey. IEEE Veh. Technol. Mag. 16(4): 27-37 (2021) - [c35]Anilesh Kollagunta Krishnaswamy, Zhihao Jiang, Kangning Wang, Yu Cheng, Kamesh Munagala:
Fair for All: Best-effort Fairness Guarantees for Classification. AISTATS 2021: 3259-3267 - [c34]Mincai Lai, Guangyao Chen, Haochen Yang, Jingkang Yang, Zhihao Jiang, Min Wu, Jie Zheng:
Predicting Synthetic Lethality in Human Cancers via Multi-Graph Ensemble Neural Network. EMBC 2021: 1731-1734 - [c33]Yutong Wu, Renzhi Tang, Eunsuk Kang, Zhihao Jiang:
Model-based clinical assist system for cardiac ablation. ICCPS 2021: 110-120 - [c32]Zhihao Jiang, Pinyan Lu, Zhihao Gavin Tang, Yuhao Zhang:
Online Selection Problems against Constrained Adversary. ICML 2021: 5002-5012 - [i8]Guangyao Chen, Zhihao Jiang:
Environment Modeling During Model Checking of Cyber-Physical Systems. CoRR abs/2105.01236 (2021) - 2020
- [j17]Pengfei Liu, Xiao-Wei Zhu, Yan Zhang, Xiang Wang, Chunfeng Yang, Zhi Hao Jiang:
Patch Antenna Loaded With Paired Shorting Pins and H-Shaped Slot for 28/38 GHz Dual-Band MIMO Applications. IEEE Access 8: 23705-23712 (2020) - [j16]Longzhu Cai, Zhi Hao Jiang, Yan Huang, Wei Hong:
Ungrounded Coplanar Waveguide Based Straight Line Methods for Broadband and Continuous Dielectric Characterization of Microwave Substrates. IEEE Access 8: 32624-32631 (2020) - [j15]Le Kuai, Jixin Chen, Zhi Hao Jiang, Chao Yu, Chong Guo, Yingrui Yu, Houxing Zhou, Wei Hong:
A N260 Band 64 Channel Millimeter Wave Full-Digital Multi-Beam Array for 5G Massive MIMO Applications. IEEE Access 8: 47640-47653 (2020) - [j14]Ning Tong, Zhihao Jiang, Lin Zhu, Yilu Liu:
Dynamic Model Reduction for Large-Scale Power Systems Using Wide-Area Measurements. IEEE Access 8: 97863-97872 (2020) - [j13]Longzhu Cai, Zhi Hao Jiang, Wei Hong:
Broadband Measurement of Substrate Complex Permittivity Using Optimized ABCD Matrix. IEEE Access 8: 224513-224521 (2020) - [j12]Yu Cheng, Zhihao Jiang, Kamesh Munagala, Kangning Wang:
Group Fairness in Committee Selection. ACM Trans. Economics and Comput. 8(4): 23:1-23:18 (2020) - [c31]Ning Tong, Zhihao Jiang, Shutang You, Lin Zhu, Xianda Deng, Yaosuo Xue, Yilu Liu:
Dynamic Equivalence of Large-Scale Power Systems Based on Boundary Measurements. ACC 2020: 3164-3169 - [c30]Ke Zhong, Zhihao Jiang, Ke Ma, Sebastian Angel:
A file system for safely interacting with untrusted USB flash drives. HotStorage 2020 - [c29]Zhihao Jiang, Debmalya Panigrahi, Kevin Sun:
Online Algorithms for Weighted Paging with Predictions. ICALP 2020: 69:1-69:18 - [c28]Silei Wang, Qiang Li, Zhihao Jiang:
Distributionally Robust SWIPT Beamforming for MU-MISO Interfering Broadcast Channels. PIMRC 2020: 1-6 - [c27]Renzhi Tang, Zhihao Jiang:
Driver's Perception Model in Driving Assist. QRS Companion 2020: 237-240 - [c26]Zhihao Jiang, Kamesh Munagala, Kangning Wang:
Approximately stable committee selection. STOC 2020: 463-472 - [i7]Zhihao Jiang, Debmalya Panigrahi, Kevin Sun:
Online Algorithms for Weighted Paging with Predictions. CoRR abs/2006.09509 (2020) - [i6]Anilesh K. Krishnaswamy, Zhihao Jiang, Kangning Wang, Yu Cheng, Kamesh Munagala:
Fair for All: Best-effort Fairness Guarantees for Classification. CoRR abs/2012.10216 (2020)
2010 – 2019
- 2019
- [j11]Honglei Sun, Xiao-Wei Zhu, Ruijia Liu, Zhi Hao Jiang:
mm-Wave Waveguide Traveling-Wave Power Combiner Design Using an Equivalent Circuit Model. IEEE Access 7: 88327-88337 (2019) - [c25]Yu Cheng, Zhihao Jiang, Kamesh Munagala, Kangning Wang:
Group Fairness in Committee Selection. EC 2019: 263-279 - [c24]Zhihao Jiang, Haoyu Zhao:
An FPTAS for Stochastic Unbounded Min-Knapsack Problem. FAW 2019: 121-132 - [c23]Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka:
Synthesizing stealthy reprogramming attacks on cardiac devices. ICCPS 2019: 13-22 - [c22]Gang Xu, Xianpeng Wang, Yan Huang, Longzhu Cai, Zhihao Jiang:
Joint Multi-Channel Sparse Method of Robust PCA for SAR Ground Moving Target Image Indication. IGARSS 2019: 1709-1712 - [i5]Zhihao Jiang, Haoyu Zhao:
An FPTAS for Stochastic Unbounded Min-Knapsack Problem. CoRR abs/1903.00547 (2019) - [i4]Yu Cheng, Zhihao Jiang, Kamesh Munagala, Kangning Wang:
Group Fairness in Committee Selection. CoRR abs/1905.04438 (2019) - [i3]Zhihao Jiang, Kamesh Munagala, Kangning Wang:
Approximately Stable Committee Selection. CoRR abs/1910.14008 (2019) - 2018
- [j10]Wei Hong, Shiwen He, Haiming Wang, Guangqi Yang, Yongming Huang, Jixing Chen, Jianyi Zhou, Xiaowei Zhu, Nianzhu Zhang, Jianfeng Zhai, Luxi Yang, Zhihao Jiang, Chao Yu:
An Overview of China Millimeter-Wave Multiple Gigabit Wireless Local Area Network System. IEICE Trans. Commun. 101-B(2): 262-276 (2018) - [c21]Kuk Jin Jang, James Weimer, Houssam Abbas, Zhihao Jiang, Jackson Liang, Sanjay Dixit, Rahul Mangharam:
Computer Aided Clinical Trials for Implantaule Cardiac Devices. EMBC 2018: 1-4 - [c20]Ximing Chen, Eunsuk Kang, Shinichi Shiraishi, Victor M. Preciado, Zhihao Jiang:
Digital Behavioral Twins for Safe Connected Cars. MoDELS 2018: 144-153 - [c19]Santhana Gopalan Raghavan, Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Zhihao Jiang, Shinichi Shiraishi:
Property-Driven Runtime Resolution of Feature Interactions. RV 2018: 316-333 - [i2]Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka:
Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices. CoRR abs/1810.03808 (2018) - 2017
- [j9]Zhihao Jiang, Houssam Abbas, Pieter J. Mosterman, Rahul Mangharam:
Automated closed-loop model checking of implantable pacemakers using abstraction trees. SIGBED Rev. 14(2): 15-23 (2017) - [j8]Zhi Hao Jiang, Zheng Cui, Taiwei Yue, Yong Zhu, Douglas H. Werner:
Compact, Highly Efficient, and Fully Flexible Circularly Polarized Antenna Enabled by Silver Nanowires for Wireless Body-Area Networks. IEEE Trans. Biomed. Circuits Syst. 11(4): 920-932 (2017) - 2016
- [j7]Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, Rahul Mangharam:
The Challenges of High-Confidence Medical Device Software. Computer 49(1): 34-42 (2016) - [j6]Jian Xu, Fucai Zhou, Zhihao Jiang, Rui Xue:
Dynamic proofs of retrievability with square-root oblivious RAM. J. Ambient Intell. Humaniz. Comput. 7(5): 611-621 (2016) - [j5]Zhi Hao Jiang, Micah D. Gregory, Douglas H. Werner:
Design and Experimental Investigation of a Compact Circularly Polarized Integrated Filtering Antenna for Wearable Biotelemetric Devices. IEEE Trans. Biomed. Circuits Syst. 10(2): 328-338 (2016) - [c18]Md. Ariful Islam, Hyun-Kyung Lim, Nicola Paoletti, Houssam Abbas, Zhihao Jiang, Jacek Cyranka, Rance Cleaveland, Sicun Gao, Edmund M. Clarke, Radu Grosu, Rahul Mangharam, Elizabeth Cherry, Flavio H. Fenton, Richard A. Gray, James Glimm, Shan Lin, Qinsi Wang, Scott A. Smolka:
CyberCardia project: Modeling, verification and validation of implantable cardiac devices. BIBM 2016: 1445-1452 - [c17]Rahul Mangharam, Houssam Abbas, Madhur Behl, Kuk Jin Jang, Miroslav Pajic, Zhihao Jiang:
Three challenges in cyber-physical systems. COMSNETS 2016: 1-8 - [c16]Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, Marco Beccani, Jackson Liang, Sanjay Dixit, Rahul Mangharam:
In-silico pre-clinical trials for implantable cardioverter defibrillators. EMBC 2016: 169-172 - [c15]Houssam Abbas, Zhihao Jiang, Kuk Jin Jang, Marco Beccani, Jackson Liang, Rahul Mangharam:
High-level modeling for computer-aided clinical trials of medical devices. HLDVT 2016: 85-92 - [c14]Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, Rahul Mangharam:
Towards Model Checking of Implantable Cardioverter Defibrillators. HSCC 2016: 87-92 - 2015
- [j4]Zhihao Jiang, Rahul Mangharam:
High-Confidence Medical Device Software Development. Found. Trends Electron. Des. Autom. 9(4): 309-391 (2015) - [c13]Minxian Li, Zhihao Jiang, Jinhui Tang, Chunxia Zhao:
Activity Prediction Based on Spatiotemporal Model in a Multiple Cameras Network. BigMM 2015: 272-275 - [i1]Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, Rahul Mangharam:
Model Checking Implantable Cardioverter Defibrillators. CoRR abs/1512.08083 (2015) - 2014
- [j3]Zhihao Jiang, Miroslav Pajic, Rajeev Alur, Rahul Mangharam:
Closed-loop verification of medical devices with model abstraction and refinement. Int. J. Softw. Tools Technol. Transf. 16(2): 191-213 (2014) - [j2]Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam:
Safety-critical medical device development using the UPP2SF model translation tool. ACM Trans. Embed. Comput. Syst. 13(4s): 127:1-127:26 (2014) - [c12]Douglas H. Werner, Micah D. Gregory, Zhi Hao Jiang, Donovan E. Brocker, Clinton P. Scarborough, Pingjuan L. Werner:
An overview of several recent antenna designs utilizing nature-inspired optimization algorithms. CIComms 2014: 38-44 - 2012
- [j1]Zhihao Jiang, Miroslav Pajic, Rahul Mangharam:
Cyber-Physical Modeling of Implantable Cardiac Medical Devices. Proc. IEEE 100(1): 122-137 (2012) - [c11]Shilpa Sarode, Sriram Radhakrishnan, Varun Sampath, Zhihao Jiang, Miroslav Pajic, Rahul Mangharam:
Demo Abstract: Model-Based Testing of Implantable Cardiac Devices. ICCPS 2012: 221 - [c10]Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam:
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 173-184 - [c9]Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam:
Modeling and Verification of a Dual Chamber Implantable Pacemaker. TACAS 2012: 188-203 - 2011
- [c8]Jianqin Qian, Chun Zhang, Liji Wu, Xijin Zhao, Dingguo Wei, Zhihao Jiang, Yuhui He:
A passive UHF tag for RFID-based train axle temperature measurement system. CICC 2011: 1-4 - [c7]Zhihao Jiang, Rahul Mangharam:
Modeling cardiac pacemaker malfunctions with the Virtual Heart Model. EMBC 2011: 263-266 - [c6]Zhihao Jiang, Miroslav Pajic, Rahul Mangharam:
Model-Based Closed-Loop Testing of Implantable Pacemakers. ICCPS 2011: 131-140 - [c5]Zhihao Jiang, Miroslav Pajic, Rahul Mangharam:
Demo abstract: Closed-loop testing for implantable cardiac pacemakers. IPSN 2011: 119-120 - 2010
- [c4]Fei Tian, Guangqin Hu, Bing Zhou, Xiaozuo Lu, Hongwu Wang, Chunquan Yu, Hongmei Cao, Zhihao Jiang, Shizhen Guo:
Study on the correlation between tongue diagnosis of traditional Chinese medical and assay result of health check. BIBM Workshops 2010: 670-673 - [c3]Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam:
Real-Time Heart Model for Implantable Cardiac Device Validation and Verification. ECRTS 2010: 239-248 - [c2]Miroslav Pajic, Zhihao Jiang, Allison Connolly, Sanjay Dixit, Rahul Mangharam:
A platform for implantable medical device validation. IPSN 2010: 418-419 - [c1]Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam:
A platform for implantable medical device validation: demo abstract. Wireless Health 2010: 208-209