Qiuye Wang

According to our database, Qiuye Wang authored at least 15 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

PARF: An Adaptive Abstraction-Strategy Tuner for Static Analysis.

Zhong-Yi Wang, Mingshuai Chen, Tengjie Lin, Linyu Yang, Junhao Zhuo, Qiuye Wang, Shengchao Qin, Xiao Yi, Jianwei Yin

CoRR, May, 2025

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.

Hao Wu, Qiuye Wang, Bai Xue, Naijun Zhan, Lihong Zhi, Zhi-Hong Yang

ACM Trans. Program. Lang. Syst., March, 2025

Formally Verifying the State Machine of TLS 1.3 Handshake in OpenSSL.

Jingjing Guan, Hui Li, Xiangdong Li, Xiaolei Wang, Binghan Wang, Qiuye Wang, Shengchao Qin, Mengda He, Md. Armanuzzaman, Ziming Zhao

Proceedings of the IEEE INFOCOM 2025, 2025

2024

Parf: Adaptive Parameter Refining for Abstract Interpretation.

Zhongyi Wang, Linyu Yang, Mingshuai Chen, Yixuan Bu, Zhiyang Li, Qiuye Wang, Shengchao Qin, Xiao Yi, Jianwei Yin

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

2022

Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming.

Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen

Inf. Comput., 2022

Differential Games Based on Invariant Sets Generation.

Bai Xue, Qiuye Wang, Naijun Zhan, Martin Fränzle, Shenghua Feng

Proceedings of the American Control Conference, 2022

2021

Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations.

Bai Xue, Qiuye Wang, Shenghua Feng, Naijun Zhan

IEEE Trans. Autom. Control., 2021

Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems.

Bai Xue, Qiuye Wang, Naijun Zhan, Shijie Wang, Zhikun She

SIAM J. Control. Optim., 2021

Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming.

Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2019

Synthesizing More Expressive Invariants by Semidefinite Programming.

Qiuye Wang, Lihong Zhi, Naijun Zhan, Bai Xue, Zhi-Hong Yang

CoRR, 2019

Robust invariant sets generation for state-constrained perturbed polynomial systems.

Bai Xue, Qiuye Wang, Naijun Zhan, Martin Fränzle

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

2018

Over- and Under-Approximating Reachable Sets for Perturbed Delay Differential Equations.

Bai Xue, Qiuye Wang, Shenghua Feng, Naijun Zhan

CoRR, 2018

Robust Non-termination Analysis of Numerical Software.

Bai Xue, Naijun Zhan, Yangjia Li, Qiuye Wang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

2017

Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems.

Qiuye Wang, Yangjia Li, Bican Xia, Naijun Zhan

J. Syst. Sci. Complex., 2017

2015

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