Generalizing SDP-Based Barrier Certificate Synthesis to Unbounded Domains by Dropping Archimedean Condition. - Hao Wu 085; Shenghua Feng; Ting Gan; Jie Wang 037; Bican Xia; Naijun Zhan (CoRR, 2023)

On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains. - Hao Wu 085; Shenghua Feng; Ting Gan; Jie Wang 037; Bican Xia; Naijun Zhan (FM (2), 2024)

Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic Sets. - Hao Wu 085; Jie Wang 037; Bican Xia; Xiakun Li; Naijun Zhan; Ting Gan (FM (1), 2024)

The Design of Intelligent Temperature Control System of Smart House with MARS. - Yihao Yin; Hao Wu 085; Shuling Wang 003; Xiong Xu; Fanjiang Xu; Naijun Zhan (SETTA, 2024)

A decision procedure for string constraints with string/integer conversion and flat regular constraints. - Hao Wu 085; Yu-Fang Chen 001; Zhilin Wu; Bican Xia; Naijun Zhan (Acta Informatica, 2024)

HpC: A Calculus for Hybrid and Mobile Systems. - Xiong Xu; Jean-Pierre Talpin; Shuling Wang 003; Hao Wu 085; Bohua Zhan; Xinxin Liu; Naijun Zhan (Proc. ACM Program. Lang., 2025)

HpC: A Calculus for Hybrid and Mobile Systems - Full Version. - Xiong Xu; Jean-Pierre Talpin; Shuling Wang 003; Hao Wu 085; Bohua Zhan; Xinxin Liu; Naijun Zhan (CoRR, 2025)

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming. - Hao Wu 085; Qiuye Wang; Bai Xue 001; Naijun Zhan; Lihong Zhi; Zhi-Hong Yang (ACM Trans. Program. Lang. Syst., 2025)