Qiuye Wang

According to our database, Qiuye Wang authored at least 13 papers between 2015 and 2024.

Collaborative distances:

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

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

CoRR, 2024

2023

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.

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

CoRR, 2023

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