Hao Wu

13 papers Misc 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Formal design of safety-critical systems with MARS.
J. Syst. Archit.
Yihao Yin, Hao Wu, Wan Liu, Shuling Wang, Xiong Xu, Wang Lin, Fanjiang Xu, Naijun Zhan
2026 — conf
Quantifier Elimination Meets Treewidth.
TACAS (1)
Hao Wu, Jiyu Zhu, Amir Kafshdar Goharshady, Jie An, Bican Xia, Naijun Zhan
2026 J jnl
Quantifier Elimination Meets Treewidth.
CoRR
Hao Wu, Jiyu Zhu, Amir Kafshdar Goharshady, Jie An, Bican Xia, Naijun Zhan
2025 J jnl
HpC: A Calculus for Hybrid and Mobile Systems - Full Version.
CoRR
Xiong Xu, Jean-Pierre Talpin, Shuling Wang, Hao Wu, Bohua Zhan, Xinxin Liu, Naijun Zhan
2025 J jnl
HpC: A Calculus for Hybrid and Mobile Systems.
Proc. ACM Program. Lang.
Xiong Xu, Jean-Pierre Talpin, Shuling Wang, Hao Wu, Bohua Zhan, Xinxin Liu, Naijun Zhan
2025 J jnl
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.
ACM Trans. Program. Lang. Syst.
Hao Wu, Qiuye Wang, Bai Xue, Naijun Zhan, Lihong Zhi, Zhi-Hong Yang
2024 J jnl
A decision procedure for string constraints with string/integer conversion and flat regular constraints.
Acta Informatica
Hao Wu, Yu-Fang Chen, Zhilin Wu, Bican Xia, Naijun Zhan
2024 — conf
Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic Sets.
FM (1)
Hao Wu, Jie Wang, Bican Xia, Xiakun Li, Naijun Zhan, Ting Gan
2024 J jnl
Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets.
CoRR
Hao Wu, Jie Wang, Bican Xia, Xiakun Li, Naijun Zhan, Ting Gan
2024 — conf
On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains.
FM (2)
Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan
2024 Misc conf
The Design of Intelligent Temperature Control System of Smart House with MARS.
SETTA
Yihao Yin, Hao Wu, Shuling Wang, Xiong Xu, Fanjiang Xu, Naijun Zhan
2023 J jnl
Generalizing SDP-Based Barrier Certificate Synthesis to Unbounded Domains by Dropping Archimedean Condition.
CoRR
Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan
2023 J jnl
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.
CoRR
Hao Wu, Qiuye Wang, Bai Xue, Naijun Zhan, Lihong Zhi, Zhi-Hong Yang