Compressed Sensing MRI Reconstruction Algorithm Based on Contourlet Transform and Alternating Direction Method. - Zhenyu Hu; Qiuye Wang; Congcong Ming; Lai Wang; Yuanqing Hu (J. Electr. Comput. Eng., 2015)

Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems. - Qiuye Wang; Yangjia Li; Bican Xia; Naijun Zhan (J. Syst. Sci. Complex., 2017)

Robust Non-termination Analysis of Numerical Software. - Bai Xue 001; Naijun Zhan; Yangjia Li; Qiuye Wang (SETTA, 2018)

Over- and Under-Approximating Reachable Sets for Perturbed Delay Differential Equations. - Bai Xue 001; Qiuye Wang; Shenghua Feng; Naijun Zhan (CoRR, 2018)

Robust invariant sets generation for state-constrained perturbed polynomial systems. - Bai Xue 001; Qiuye Wang; Naijun Zhan; Martin Fränzle (HSCC, 2019)

Synthesizing More Expressive Invariants by Semidefinite Programming. - Qiuye Wang; Lihong Zhi; Naijun Zhan; Bai Xue 001; Zhi-Hong Yang (CoRR, 2019)

Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming. - Qiuye Wang; Mingshuai Chen; Bai Xue 001; Naijun Zhan; Joost-Pieter Katoen (CAV (1), 2021)

Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems. - Bai Xue 001; Qiuye Wang; Naijun Zhan; Shijie Wang; Zhikun She (SIAM J. Control. Optim., 2021)

Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations. - Bai Xue 001; Qiuye Wang; Shenghua Feng; Naijun Zhan (IEEE Trans. Autom. Control., 2021)

Differential Games Based on Invariant Sets Generation. - Bai Xue 001; Qiuye Wang; Naijun Zhan; Martin Fränzle; Shenghua Feng (ACC, 2022)

Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming. - Qiuye Wang; Mingshuai Chen; Bai Xue 001; Naijun Zhan; Joost-Pieter Katoen (Inf. Comput., 2022)

Parf: Adaptive Parameter Refining for Abstract Interpretation. - Zhongyi Wang 004; Linyu Yang; Mingshuai Chen; Yixuan Bu; Zhiyang Li; Qiuye Wang; Shengchao Qin; Xiao Yi; Jianwei Yin (ASE, 2024)

Formally Verifying the State Machine of TLS 1.3 Handshake in OpenSSL. - Jingjing Guan; Hui Li 070; Xiangdong Li; Xiaolei Wang; Binghan Wang; Qiuye Wang; Shengchao Qin; Mengda He; Md. Armanuzzaman; Ziming Zhao 001 (INFOCOM, 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)

PARF: An Adaptive Abstraction-Strategy Tuner for Static Analysis. - Zhong-Yi Wang 004; Mingshuai Chen; Tengjie Lin; Linyu Yang; Junhao Zhuo; Qiuye Wang; Shengchao Qin; Xiao Yi; Jianwei Yin (CoRR, 2025)