Xiwei Wu

25 papers A* 1Misc 1Journal 20Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications.
CoRR
Liao Zhang, Tong Chen, Xiwei Wu, Qi Liu, Xiyu Zhai, Xinqi Wang, Qinxiang Cao
2025 J jnl
A Predefined-Time and Angular Velocity-Free Attitude-Tolerant Control Approach for Spacecraft.
IEEE Trans. Aerosp. Electron. Syst.
Xueyi Liu, Xiwei Wu, Shijie Zhao, Bing Xiao, Huijun Li
2025 — conf
Accelerating CAR-Based Model-Checking with Multiple Unsatisfiable Cores.
SPIN
Yibo Dong, Xiwei Wu, Jianwen Li, Geguang Pu, Ofer Strichman
2025 J jnl
Concurrent Learning Critic-Only NN-Based Robust Approximate Optimal Control of Nonlinear Systems With Experimental Verification.
IEEE Trans. Ind. Electron.
Haichao Zhang, Xin Wang, Bing Xiao, Xiwei Wu, Bo Li
2025 J jnl
Encode the ∀∃ Relational Hoare Logic into Standard Hoare Logic.
CoRR
Shushu Wu, Xiwei Wu, Qinxiang Cao
2025 J jnl
Encode the ∀∃ Relational Hoare Logic into Standard Hoare Logic.
Proc. ACM Program. Lang.
Shushu Wu, Xiwei Wu, Qinxiang Cao
2025 J jnl
NEAT: QCP: A Practical Separation Logic-based C Program Verification Tool.
CoRR
Xiwei Wu, Yueyang Feng, Xiaoyang Lu, Tianchuan Lin, Kan Liu, Zhiyi Wang, Shushu Wu, Lihan Xie, Chengxi Yang, Hongyi Zhong, Naijun Zhan, Zhenjiang Hu, Qinxiang Cao
2025 J jnl
Optimal control of strength allocation strategies generation with complex constraints.
Trans. Inst. Meas. Control
Lingwei Li, Bing Xiao, Xiwei Wu
2025 J jnl
Stellis: A Strategy Language for Purifying Separation Logic Entailments.
CoRR
Zhiyi Wang, Xiwei Wu, Yi Fang, Chengtao Li, Hongyi Zhong, Lihan Xie, Qinxiang Cao, Zhenjiang Hu
2025 Misc conf
VEP: A Two-stage Verification Toolchain for Full eBPF Programmability.
NSDI
Xiwei Wu, Yueyang Feng, Tianyi Huang, Xiaoyang Lu, Shengkai Lin, Lihan Xie, Shizhen Zhao, Qinxiang Cao
2024 J jnl
Optimal Transport and Model Predictive Control-based Simultaneous Task Assignment and Trajectory Planning for Unmanned System Swarm.
J. Intell. Robotic Syst.
Xiwei Wu, Bing Xiao, Lu Cao, Haibin Huang
2024 J jnl
Robust Macroscopic Density Control of Microsatellite Swarm Via Local Measurement.
IEEE Trans. Aerosp. Electron. Syst.
Xiwei Wu, Bing Xiao, Lu Cao, Xiaoxiang Hu
2024 J jnl
Safe path planning and adjustable zonotope-tube model predictive tracking control for autonomous vehicle.
J. Frankl. Inst.
Xiwei Wu, Bing Xiao
2024 A* conf
Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation.
NeurIPS
Chang Liu, Xiwei Wu, Yuan Feng, Qinxiang Cao, Junchi Yan
2023 — conf
A Coq Library of Sets for Teaching Denotational Semantics.
ThEdu@CADE
Qinxiang Cao, Xiwei Wu, Yalun Liang
2023 J jnl
Author Correction: Supervised learning of high-confidence phenotypic subpopulations from single-cell data.
Nat. Mac. Intell.
Tao Ren, Canping Chen, Alexey V. Danilov, Susan Liu, Xiangnan Guan, Shunyi Du, Xiwei Wu, Mara H. Sherman, Paul T. Spellman, Lisa M. Coussens, Andrew C. Adey, Gordon B. Mills, Ling-Yun Wu, Zheng Xia
2023 J jnl
Supervised learning of high-confidence phenotypic subpopulations from single-cell data.
Nat. Mac. Intell.
Tao Ren, Canping Chen, Alexey V. Danilov, Susan Liu, Xiangnan Guan, Shunyi Du, Xiwei Wu, Mara H. Sherman, Paul T. Spellman, Lisa M. Coussens, Andrew C. Adey, Gordon B. Mills, Ling-Yun Wu, Zheng Xia
2023 J jnl
Towards General Loop Invariant Generation via Coordinating Symbolic Execution and Large Language Models.
CoRR
Chang Liu, Xiwei Wu, Yuan Feng, Qinxiang Cao, Junchi Yan
2022 J jnl
Predefined-time sliding manifold-based fixed-time attitude stabilization control of receiver aircraft with measurement noises.
Trans. Inst. Meas. Control
Cihang Wu, Jianguo Yan, Xiwei Wu, Yiming Guo, Peng Mou, Bing Xiao
2022 J jnl
Prescribed Time Attitude Tracking Control of Spacecraft With Arbitrary Disturbance.
IEEE Trans. Aerosp. Electron. Syst.
Bing Xiao, Xiwei Wu, Lu Cao, Xiaoxiang Hu
2021 J jnl
Autonomous Homing Design and Following for Parafoil/Rocket System with High-altitude.
J. Intell. Robotic Syst.
Yiming Guo, Jianguo Yan, Cihang Wu, Xiwei Wu, Mengping Chen, Xiaojun Xing
2021 — conf
Countability of Inductive Types Formalized in the Object-Logic Level.
LFMTP
Qinxiang Cao, Xiwei Wu
2021 J jnl
Predefined-Time Attitude Stabilization of Receiver Aircraft in Aerial Refueling.
IEEE Trans. Circuits Syst. II Express Briefs
Cihang Wu, Jianguo Yan, Jiahe Shen, Xiwei Wu, Bing Xiao
2019 J jnl
Cooperative geometric localization for a ground target based on the relative distances by multiple UAVs.
Sci. China Inf. Sci.
Yaohong Qu, Feng Zhang, Xiwei Wu, Bing Xiao
2003 J jnl
Cluster Analysis of Dynamic Parameters of Gene Expression.
J. Bioinform. Comput. Biol.
Xiwei Wu, T. Gregory Dewey