Jianhong Zhao

13 papers B 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
K-SELinux: formal analysis and verification of SELinux policies via semantic execution.
Frontiers Comput. Sci.
Jinhui Kang, Jianhong Zhao, Yongwang Zhao
2025 J jnl
Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics.
CoRR
Jianhong Zhao, Everett Hildenbrandt, Juan Conejero, Yongwang Zhao
2025 J jnl
KBX: Verified Model Synchronization via Formal Bidirectional Transformation.
ACM Trans. Softw. Eng. Methodol.
Jianhong Zhao, Yongwang Zhao, Peisen Yao, Fanlang Zeng, Bohua Zhan, Kui Ren
2024 B conf
CHESS: Concurrent Charging with Efficient Phase Scheduling.
ICPADS
Dié Wu, Chenglong Zhang, Jingwen Li, Tang Liu, Kun She, Jianhong Zhao
2024 J jnl
K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs.
CoRR
Jianhong Zhao, Jinhui Kang, Yongwang Zhao
2024 J jnl
KBX: Verified Model Synchronization via Formal Bidirectional Transformation.
CoRR
Jianhong Zhao, Yongwang Zhao, Peisen Yao, Fanlang Zeng, Bohua Zhan, Kui Ren
2024 J jnl
ProveriT: A Parameterized, Composable, and Verified Model of TEE Protection Profile.
IEEE Trans. Dependable Secur. Comput.
Jilin Hu, Fanlang Zeng, Yongwang Zhao, Zhuoruo Zhang, Leping Zhang, Jianhong Zhao, Rui Chang, Kui Ren
2023 — conf
Bearings-only passive location mathematical model for UAV cluster based on three points.
SPCNC
Xunbo Zhu, Shuangqing Lv, Zhilong He, Zhengguo Yang, Xuefang Li, Jianhong Zhao
2023 J jnl
CVTEE: A Compatible Verified TEE Architecture With Enhanced Security.
IEEE Trans. Dependable Secur. Comput.
Xinliang Miao, Rui Chang, Jianhong Zhao, Yongwang Zhao, Shuang Cao, Tao Wei, Liehui Jiang, Kui Ren
2023 — conf
The Integral Points on the Elliptic Curve y^2=7qx(x^2+128).
ICMML
Fei Wan, Jianhong Zhao, Jihe Wang
2019 J jnl
Detecting Vehicle Anomaly in the Edge via Sensor Consistency and Frequency Characteristic.
IEEE Trans. Veh. Technol.
Fei Guo, Zichang Wang, Suguo Du, Huaxin Li, Haojin Zhu, Qingqi Pei, Zhenfu Cao, Jianhong Zhao
2018 J jnl
Some Symmetric Identities Involving Fubini Polynomials and Euler Numbers.
Symmetry
Jianhong Zhao, Zhuoyu Chen
2017 — conf
Design and Simulation of a Self-adaptive Fuzzy-PID Controller for an Autonomous Underwater Vehicle.
ICIRA (1)
Jianhong Zhao, Wei Yi, Yuanxi Peng, Xuefeng Peng