Qiuye Wang

20 papers A* 2C 1Misc 1Journal 14Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A* conf
Formally Verifying the State Machine of TLS 1.3 Handshake in OpenSSL.
INFOCOM
Jingjing Guan, Hui Li, Xiangdong Li, Xiaolei Wang, Binghan Wang, Qiuye Wang, Shengchao Qin, Mengda He, Md. Armanuzzaman, Ziming Zhao
2025 J jnl
PARF: An Adaptive Abstraction-Strategy Tuner for Static Analysis.
CoRR
Zhong-Yi Wang, Mingshuai Chen, Tengjie Lin, Linyu Yang, Junhao Zhuo, Qiuye Wang, Shengchao Qin, Xiao Yi, Jianwei Yin
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 A* conf
Parf: Adaptive Parameter Refining for Abstract Interpretation.
ASE
Zhongyi Wang, Linyu Yang, Mingshuai Chen, Yixuan Bu, Zhiyang Li, Qiuye Wang, Shengchao Qin, Xiao Yi, Jianwei Yin
2024 J jnl
Parf: Adaptive Parameter Refining for Abstract Interpretation.
CoRR
Zhongyi Wang, Linyu Yang, Mingshuai Chen, Yixuan Bu, Zhiyang Li, Qiuye Wang, Shengchao Qin, Xiao Yi, Jianwei Yin
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
2022 C conf
Differential Games Based on Invariant Sets Generation.
ACC
Bai Xue, Qiuye Wang, Naijun Zhan, Martin Fränzle, Shenghua Feng
2022 J jnl
Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming.
Inf. Comput.
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
2022 J jnl
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming.
CoRR
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
2021 J jnl
Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations.
IEEE Trans. Autom. Control.
Bai Xue, Qiuye Wang, Shenghua Feng, Naijun Zhan
2021 — conf
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming.
CAV (1)
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
2021 J jnl
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming.
CoRR
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
2021 J jnl
Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems.
SIAM J. Control. Optim.
Bai Xue, Qiuye Wang, Naijun Zhan, Shijie Wang, Zhikun She
2019 — conf
Robust invariant sets generation for state-constrained perturbed polynomial systems.
HSCC
Bai Xue, Qiuye Wang, Naijun Zhan, Martin Fränzle
2019 J jnl
Synthesizing More Expressive Invariants by Semidefinite Programming.
CoRR
Qiuye Wang, Lihong Zhi, Naijun Zhan, Bai Xue, Zhi-Hong Yang
2018 J jnl
Over- and Under-Approximating Reachable Sets for Perturbed Delay Differential Equations.
CoRR
Bai Xue, Qiuye Wang, Shenghua Feng, Naijun Zhan
2018 Misc conf
Robust Non-termination Analysis of Numerical Software.
SETTA
Bai Xue, Naijun Zhan, Yangjia Li, Qiuye Wang
2018 J jnl
Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems.
CoRR
Bai Xue, Qiuye Wang, Naijun Zhan, Shijie Wang, Zhikun She
2017 J jnl
Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems.
J. Syst. Sci. Complex.
Qiuye Wang, Yangjia Li, Bican Xia, Naijun Zhan
2015 J jnl
Compressed Sensing MRI Reconstruction Algorithm Based on Contourlet Transform and Alternating Direction Method.
J. Electr. Comput. Eng.
Zhenyu Hu, Qiuye Wang, Congcong Ming, Lai Wang, Yuanqing Hu