Zhihao Jiang

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 72

Top Topics

Decision Support

Medical Devices

Top Venues

IEEE Internet Things J.

Publications

Guangyao Chen, Zhihao Jiang
Iterative Model Checking for Safety-Critical Problems in Cyber-Physical Systems. ICCPS (2024)
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 (2024)
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) (2024)
Ashish Goel, Zhihao Jiang, Aleksandra Korolova, Kamesh Munagala, Sahasrajit Sarmasarkar
Differential Privacy with Multiple Selections. CoRR (2024)
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) (2024)
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 (2024)
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) (2024)
Yilun Chen, Zhuo Jian, Yixi Wang, Zhihao Jiang
Poster Abstract of Digital-twin-based Decision Support During Personalized Robotic Rehabilitation. ICCPS (2024)
Chenyang Zhu, Wen Si, Jinyu Zhu, Zhihao Jiang
Decomposing Temporal Equilibrium Strategy for Coordinated Distributed Multi-Agent Reinforcement Learning. AAAI (2024)
Haochen Yang, Zhihao Jiang
Decision support for personalized therapy in implantable medical devices: A digital twin approach. Expert Syst. Appl. 243 (2024)
Junyu Diao, Renzhi Tang, Yi Gu, Sen Tian, Zhihao Jiang
Cognitive-Digital-Twin-Based Driving Assistance. IEEE Robotics Autom. Lett. 8 (8) (2023)
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)
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 (2023)
Yilun Chen, Wentao Wang, Junyu Diao, Daoyu Wang, Zhuo Jian, Yixi Wang, Zhihao Jiang
Digital-Twin-Based Patient Evaluation during Stroke Rehabilitation. ICCPS (2023)
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)
Jie Wang, Yash Vardhan Pant, Zhihao Jiang
Learning-Based Modeling of Human-Autonomous Vehicle Interaction for Enhancing Safety in Mixed-Vehicle Platooning Control. CoRR (2023)
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) (2023)
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) (2023)
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 (2023)
Guangyao Chen, Linshu Yang, Haochen Yang, Peilin He, Zhihao Jiang
pyUPPAAL: A Python Package for Risk Analysis of CPS. ICCPS (2023)
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)
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) (2022)
Moses Charikar, Zhihao Jiang, Kirankumar Shiragur, Aaron Sidford
On the Efficient Implementation of High Accuracy Optimality of Profile Maximum Likelihood. NeurIPS (2022)
Rui Liu, Liansheng Zhuang, Zhou Yu, Zhihao Jiang, Tian Bai
Question-relationship guided graph attention network for visual question answer. Multim. Syst. 28 (2) (2022)
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 (2022)
Mincai Lai, Haochen Yang, Jicheng Gu, Xinye Chen, Zhihao Jiang
Digital-twin-based Online Parameter Personalization for Implantable Cardiac Defibrillators. EMBC (2022)
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 (2022)
Mohammad Pirani, Yining She, Renzhi Tang, Zhihao Jiang, Yash Vardhan Pant
Stable Interaction of Autonomous Vehicle Platoons with Human-Driven Vehicles. ACC (2022)
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)
Moses Charikar, Zhihao Jiang, Kirankumar Shiragur, Aaron Sidford
On the Efficient Implementation of High Accuracy Optimality of Profile Maximum Likelihood. CoRR (2022)
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 (2022)
Zhihao Jiang, Debmalya Panigrahi, Kevin Sun
Online Algorithms for Weighted Paging with Predictions. ACM Trans. Algorithms 18 (4) (2022)
Guangyao Chen, Zhihao Jiang
Environment Modeling During Model Checking of Cyber-Physical Systems. CoRR (2021)
Yutong Wu, Renzhi Tang, Eunsuk Kang, Zhihao Jiang
Model-based clinical assist system for cardiac ablation. ICCPS (2021)
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 (2021)
Guangyao Chen, Zhihao Jiang
Environment Modeling During Model Checking of Cyberphysical Systems. Computer 54 (9) (2021)
Zhihao Jiang, Pinyan Lu, Zhihao Gavin Tang, Yuhao Zhang
Online Selection Problems against Constrained Adversary. ICML (2021)
Yi Zou, Jijuan Zhong, Zhihao Jiang, Hong Zhang, Xuyu Pu
Experience Weighted Learning in Multiagent Systems. Sci. Program. 2021 (2021)
Tao Bai, Zhihao Jiang, Pejman Tahmasebi
Debris flow prediction with machine learning: smart management of urban systems and infrastructures. Neural Comput. Appl. 33 (22) (2021)
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 (2021)
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)
Anilesh Kollagunta Krishnaswamy, Zhihao Jiang, Kangning Wang, Yu Cheng, Kamesh Munagala
Fair for All: Best-effort Fairness Guarantees for Classification. AISTATS (2021)
Zhihao Jiang, Debmalya Panigrahi, Kevin Sun
Online Algorithms for Weighted Paging with Predictions. ICALP (2020)
Ke Zhong, Zhihao Jiang, Ke Ma, Sebastian Angel
A file system for safely interacting with untrusted USB flash drives. HotStorage (2020)
Yu Cheng, Zhihao Jiang, Kamesh Munagala, Kangning Wang
Group Fairness in Committee Selection. ACM Trans. Economics and Comput. 8 (4) (2020)
Silei Wang, Qiang Li, Zhihao Jiang
Distributionally Robust SWIPT Beamforming for MU-MISO Interfering Broadcast Channels. PIMRC (2020)
Ning Tong, Zhihao Jiang, Lin Zhu, Yilu Liu
Dynamic Model Reduction for Large-Scale Power Systems Using Wide-Area Measurements. IEEE Access 8 (2020)
Zhihao Jiang, Kamesh Munagala, Kangning Wang
Approximately stable committee selection. STOC (2020)
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)
Renzhi Tang, Zhihao Jiang
Driver's Perception Model in Driving Assist. QRS Companion (2020)
Zhihao Jiang, Debmalya Panigrahi, Kevin Sun
Online Algorithms for Weighted Paging with Predictions. CoRR (2020)
Anilesh K. Krishnaswamy, Zhihao Jiang, Kangning Wang, Yu Cheng, Kamesh Munagala
Fair for All: Best-effort Fairness Guarantees for Classification. CoRR (2020)
Yu Cheng, Zhihao Jiang, Kamesh Munagala, Kangning Wang
Group Fairness in Committee Selection. EC (2019)
Zhihao Jiang, Kamesh Munagala, Kangning Wang
Approximately Stable Committee Selection. CoRR (2019)
Zhihao Jiang, Haoyu Zhao
An FPTAS for Stochastic Unbounded Min-Knapsack Problem. CoRR (2019)
Yu Cheng, Zhihao Jiang, Kamesh Munagala, Kangning Wang
Group Fairness in Committee Selection. CoRR (2019)
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)
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)
Zhihao Jiang, Haoyu Zhao
An FPTAS for Stochastic Unbounded Min-Knapsack Problem. FAW (2019)
Santhana Gopalan Raghavan, Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Zhihao Jiang, Shinichi Shiraishi
Property-Driven Runtime Resolution of Feature Interactions. RV (2018)
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 (2018)
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)
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. (2) (2018)
Ximing Chen, Eunsuk Kang, Shinichi Shiraishi, Victor M. Preciado, Zhihao Jiang
Digital Behavioral Twins for Safe Connected Cars. MoDELS (2018)
Zhihao Jiang, Houssam Abbas, Pieter J. Mosterman, Rahul Mangharam
Automated closed-loop model checking of implantable pacemakers using abstraction trees. SIGBED Rev. 14 (2) (2017)
Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, Rahul Mangharam
The Challenges of High-Confidence Medical Device Software. Computer 49 (1) (2016)
Rahul Mangharam, Houssam Abbas, Madhur Behl, Kuk Jin Jang, Miroslav Pajic, Zhihao Jiang
Three challenges in cyber-physical systems. COMSNETS (2016)
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)
Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, Rahul Mangharam
Towards Model Checking of Implantable Cardioverter Defibrillators. HSCC (2016)
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)
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)
Jian Xu, Fucai Zhou, Zhihao Jiang, Rui Xue
Dynamic proofs of retrievability with square-root oblivious RAM. J. Ambient Intell. Humaniz. Comput. 7 (5) (2016)
Zhihao Jiang, Rahul Mangharam
High-Confidence Medical Device Software Development. Found. Trends Electron. Des. Autom. 9 (4) (2015)
Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, Rahul Mangharam
Model Checking Implantable Cardioverter Defibrillators. CoRR (2015)
Minxian Li, Zhihao Jiang, Jinhui Tang, Chunxia Zhao
Activity Prediction Based on Spatiotemporal Model in a Multiple Cameras Network. BigMM (2015)
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) (2014)
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) (2014)
Zhihao Jiang, Miroslav Pajic, Rahul Mangharam
Cyber-Physical Modeling of Implantable Cardiac Medical Devices. Proc. IEEE 100 (1) (2012)
Shilpa Sarode, Sriram Radhakrishnan, Varun Sampath, Zhihao Jiang, Miroslav Pajic, Rahul Mangharam
Demo Abstract: Model-Based Testing of Implantable Cardiac Devices. ICCPS (2012)
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)
Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam
Modeling and Verification of a Dual Chamber Implantable Pacemaker. TACAS (2012)
Zhihao Jiang, Rahul Mangharam
Modeling cardiac pacemaker malfunctions with the Virtual Heart Model. EMBC (2011)
Zhihao Jiang, Miroslav Pajic, Rahul Mangharam
Demo abstract: Closed-loop testing for implantable cardiac pacemakers. IPSN (2011)
Zhihao Jiang, Miroslav Pajic, Rahul Mangharam
Model-Based Closed-Loop Testing of Implantable Pacemakers. ICCPS (2011)
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)
Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam
Real-Time Heart Model for Implantable Cardiac Device Validation and Verification. ECRTS (2010)
Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam
A platform for implantable medical device validation: demo abstract. Wireless Health (2010)
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)
Miroslav Pajic, Zhihao Jiang, Allison Connolly, Sanjay Dixit, Rahul Mangharam
A platform for implantable medical device validation. IPSN (2010)