Xiwei Wu

According to our database, Xiwei Wu authored at least 24 papers between 2003 and 2026.

Collaborative distances:

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

2026

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications.

Liao Zhang, Tong Chen, Xiwei Wu, Qi Liu, Xiyu Zhai, Xinqi Wang, Qinxiang Cao

CoRR, March, 2026

2025

A Predefined-Time and Angular Velocity-Free Attitude-Tolerant Control Approach for Spacecraft.

Xueyi Liu, Xiwei Wu, Shijie Zhao, Bing Xiao, Huijun Li

IEEE Trans. Aerosp. Electron. Syst., December, 2025

Stellis: A Strategy Language for Purifying Separation Logic Entailments.

Zhiyi Wang, Xiwei Wu, Yi Fang, Chengtao Li, Hongyi Zhong, Lihan Xie, Qinxiang Cao, Zhenjiang Hu

CoRR, December, 2025

Concurrent Learning Critic-Only NN-Based Robust Approximate Optimal Control of Nonlinear Systems With Experimental Verification.

Haichao Zhang, Xin Wang, Bing Xiao, Xiwei Wu, Bo Li

IEEE Trans. Ind. Electron., August, 2025

NEAT: QCP: A Practical Separation Logic-based C Program Verification Tool.

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

CoRR, May, 2025

Optimal control of strength allocation strategies generation with complex constraints.

Lingwei Li, Bing Xiao, Xiwei Wu

Trans. Inst. Meas. Control, 2025

Encode the ∀∃ Relational Hoare Logic into Standard Hoare Logic.

Shushu Wu, Xiwei Wu, Qinxiang Cao

Proc. ACM Program. Lang., 2025

Accelerating CAR-Based Model-Checking with Multiple Unsatisfiable Cores.

Yibo Dong, Xiwei Wu, Jianwen Li, Geguang Pu, Ofer Strichman

Proceedings of the Model Checking Software - 31st International Symposium, 2025

VEP: A Two-stage Verification Toolchain for Full eBPF Programmability.

Xiwei Wu, Yueyang Feng, Tianyi Huang, Xiaoyang Lu, Shengkai Lin, Lihan Xie, Shizhen Zhao, Qinxiang Cao

Proceedings of the 22nd USENIX Symposium on Networked Systems Design and Implementation, 2025

2024

Optimal Transport and Model Predictive Control-based Simultaneous Task Assignment and Trajectory Planning for Unmanned System Swarm.

Xiwei Wu, Bing Xiao, Lu Cao, Haibin Huang

J. Intell. Robotic Syst., March, 2024

Robust Macroscopic Density Control of Microsatellite Swarm Via Local Measurement.

Xiwei Wu, Bing Xiao, Lu Cao, Xiaoxiang Hu

IEEE Trans. Aerosp. Electron. Syst., February, 2024

Safe path planning and adjustable zonotope-tube model predictive tracking control for autonomous vehicle.

Xiwei Wu, Bing Xiao

J. Frankl. Inst., 2024

Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation.

Chang Liu, Xiwei Wu, Yuan Feng, Qinxiang Cao, Junchi Yan

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

2023

Author Correction: Supervised learning of high-confidence phenotypic subpopulations from single-cell data.

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

Nat. Mac. Intell., June, 2023

Supervised learning of high-confidence phenotypic subpopulations from single-cell data.

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

Nat. Mac. Intell., May, 2023

A Coq Library of Sets for Teaching Denotational Semantics.

Qinxiang Cao, Xiwei Wu, Yalun Liang

Proceedings of the Proceedings 12th International Workshop on Theorem proving components for Educational software, 2023

Towards General Loop Invariant Generation via Coordinating Symbolic Execution and Large Language Models.

Chang Liu, Xiwei Wu, Yuan Feng, Qinxiang Cao, Junchi Yan

CoRR, 2023

2022

Predefined-time sliding manifold-based fixed-time attitude stabilization control of receiver aircraft with measurement noises.

Cihang Wu, Jianguo Yan, Xiwei Wu, Yiming Guo, Peng Mou, Bing Xiao

Trans. Inst. Meas. Control, 2022

Prescribed Time Attitude Tracking Control of Spacecraft With Arbitrary Disturbance.

Bing Xiao, Xiwei Wu, Lu Cao, Xiaoxiang Hu

IEEE Trans. Aerosp. Electron. Syst., 2022

2021

Predefined-Time Attitude Stabilization of Receiver Aircraft in Aerial Refueling.

Cihang Wu, Jianguo Yan, Jiahe Shen, Xiwei Wu, Bing Xiao

IEEE Trans. Circuits Syst. II Express Briefs, 2021

Autonomous Homing Design and Following for Parafoil/Rocket System with High-altitude.

Yiming Guo, Jianguo Yan, Cihang Wu, Xiwei Wu, Mengping Chen, Xiaojun Xing

J. Intell. Robotic Syst., 2021

Countability of Inductive Types Formalized in the Object-Logic Level.

Qinxiang Cao, Xiwei Wu

Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2021

2019

Cooperative geometric localization for a ground target based on the relative distances by multiple UAVs.

Yaohong Qu, Feng Zhang, Xiwei Wu, Bing Xiao

Sci. China Inf. Sci., 2019

2003

Cluster Analysis of Dynamic Parameters of Gene Expression.

Xiwei Wu, T. Gregory Dewey

J. Bioinform. Comput. Biol., 2003