Wanwei Liu

78 papers A* 6A 2B 3C 8Misc 8Journal 40Unranked 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
AutoRIC: Automated Neural Network Repairing Based on Constrained Optimization.
ACM Trans. Softw. Eng. Methodol.
Xinyu Sun, Wanwei Liu, Shangwen Wang, Tingyu Chen, Ye Tao, Xiaoguang Mao
2025 J jnl
BDiff: Block-aware and Accurate Text-based Code Differencing.
CoRR
Yao Lu, Wanwei Liu, Tanghaoran Zhang, Kang Yang, Yang Zhang, Wenyu Xu, Longfei Sun, Xinjun Mao, Shuzheng Gao, Michael R. Lyu
2025 J jnl
BIRDNN: Behavior-Imitation Based Repair for Deep Neural Networks.
Neural Networks
Zhen Liang, Taoran Wu, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang, Wanrong Huang
2025 — conf
Learning Subject to Constraints via Abstract Gradient Descent.
NeuS
Shiwen Yu, Wanwei Liu, Zengyu Liu, Liqian Chen, Ting Wang, Naijun Zhan, Ji Wang
2025 C conf
Neural-Symbolic System Control Adjustment Based on Runtime Verification.
ICFEM
Hongxu Zhu, Wanwei Liu, Ji Wang
2025 A* conf
SALVG: Latent Variable Gene Augmented Graph Learning for Multi-View Clustering in Spatial Transcriptomics.
ACM Multimedia
Zeyu Zhu, Ke Liang, Lingyuan Meng, Xingchen Hu, Xinwang Liu, Wanwei Liu, Kunlun He
2025 — conf
Statistically Optimized SGNS Model: Enhancing Word Vector Representation with Global Semantic Weight.
CCL
Yulin Liu, Feng Xiong, Minghui Wu, Wanwei Liu
2025 B conf
UR4NNV: Neural Network Verification, Under-approximation Reachability Works!
IJCNN
Zhen Liang, Taoran Wu, Ran Zhao, Bai Xue, Ji Wang, Wenjing Yang, Shaojun Deng, Wanwei Liu
2024 J jnl
Credit assignment for trained neural networks based on Koopman operator theory.
Frontiers Comput. Sci.
Zhen Liang, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Zhengbin Pang
2024 J jnl
Kullback-Leibler Divergence-Based Out-of-Distribution Detection With Flow-Based Generative Models.
IEEE Trans. Knowl. Data Eng.
Yufeng Zhang, Jialu Pan, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang, Zhiming Liu, Hongmei Wei
2024 J jnl
Reach-Avoid Verification Based on Convex Optimization.
IEEE Trans. Autom. Control.
Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu
2024 Misc conf
Runtime Verification of Neural-Symbolic Systems.
SETTA
Shaojun Deng, Wanwei Liu, Miaomiao Zhang
2024 A conf
Synthesizing Boxes Preconditions for Deep Neural Networks.
ISSTA
Zengyu Liu, Liqian Chen, Wanwei Liu, Ji Wang
2024 J jnl
UR4NNV: Neural Network Verification, Under-approximation Reachability Works!
CoRR
Zhen Liang, Taoran Wu, Ran Zhao, Bai Xue, Ji Wang, Wenjing Yang, Shaojun Deng, Wanwei Liu
2024 J jnl
Verifying safety of neural networks from topological perspectives.
Sci. Comput. Program.
Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu
2023 A conf
A Geometrical Characterization on Feature Density of Image Datasets.
ICME
Zhen Liang, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang
2023 — conf
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks.
ATVA (1)
Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu
2023 J jnl
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks.
CoRR
Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu
2023 A* conf
On the Properties of Kullback-Leibler Divergence Between Multivariate Gaussian Distributions.
NeurIPS
Yufeng Zhang, Jialu Pan, Li Ken Li, Wanwei Liu, Zhenbang Chen, Xinwang Liu, Ji Wang
2023 J jnl
Repairing Deep Neural Networks Based on Behavior Imitation.
CoRR
Zhen Liang, Taoran Wu, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang
2023 Misc conf
Safety Verification for Neural Networks Based on Set-Boundary Analysis.
TASE
Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue
2023 J jnl
Towards a model of human-cyber-physical automata and a synthesis framework for control policies.
J. Syst. Archit.
Xiaochen Tang, Miaomiao Zhang, Wanwei Liu, Bowen Du, Zhiming Liu
2023 J jnl
Towards robust neural networks via a global and monotonically decreasing robustness training strategy.
Frontiers Inf. Technol. Electron. Eng.
Zhen Liang, Taoran Wu, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang, Zhengbin Pang
2023 J jnl
Verifying Safety of Neural Networks from Topological Perspectives.
CoRR
Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu
2022 J jnl
Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach.
Inf. Sci.
Renyan Feng, Erman Acar, Yisong Wang, Wanwei Liu, Stefan Schlobach, Weiping Ding
2022 J jnl
Credit Assignment for Trained Neural Networks Based on Koopman Operator Theory.
CoRR
Zhen Liang, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Zhengbin Pang
2022 C conf
Human-Cyber-Physical Automata and Their Synthesis.
ICTAC
Miaomiao Zhang, Wanwei Liu, Xiaochen Tang, Bowen Du, Zhiming Liu
2022 — conf
PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation.
CAV (1)
Yuxin Fan, Fu Song, Taolue Chen, Liangfeng Zhang, Wanwei Liu
2022 J jnl
Probabilistic synthesis against GR(1) winning condition.
Frontiers Comput. Sci.
Wei Zhao, Rui Li, Wanwei Liu, Wei Dong, Zhiming Liu
2022 J jnl
Reach-avoid Verification Based on Convex Optimization.
CoRR
Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu
2022 J jnl
Safety Verification for Neural Networks Based on Set-boundary Analysis.
CoRR
Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue
2021 C conf
On Enhancing Application-Ability Training in Discrete Mathematics.
FIE
Tun Li, Wanwei Liu, Liqian Chen, Xiaoguang Mao
2021 J jnl
On the Properties of Kullback-Leibler Divergence Between Gaussians.
CoRR
Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang
2021 J jnl
Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features.
ACM Trans. Quantum Comput.
Xiang Fu, Jintao Yu, Xing Su, Hanru Jiang, Hua Wu, Fucheng Cheng, Xi Deng, Jinrong Zhang, Lei Jin, Yihang Yang, Le Xu, Chunchao Hu, Anqi Huang, Guangyao Huang, Xiaogang Qiang, Mingtang Deng, Ping Xu, Weixia Xu, Wanwei Liu, Yu Zhang, Yuxin Deng, Junjie Wu, Yuan Feng
2021 — conf
Rectified Multi-class AdaBoost for Noisy Dataset Based on Weight Adjustment Standard.
ASSE
Keke Hu, Wanwei Liu, Tun Li
2020 Misc conf
Compiling FL
SETTA
Wanwei Liu, Liangze Yin, Tun Li
2020 J jnl
Controller Resynthesis for Multirobot System When Changes Happen.
Computer
Hao Shi, Wei Dong, Rui Li, Wanwei Liu
2020 C conf
Controller Synthesis for ROS-based Multi-Robot Collaboration.
SEKE
Xudong Zhao, Rui Li, Wanwei Liu, Hao Shi, Shaoxian Shu, Wei Dong
2020 J jnl
Iterative Controller Synthesis for Multirobot System.
IEEE Trans. Reliab.
Hao Shi, Rui Li, Wanwei Liu, Wei Dong, Ge Zhou
2020 J jnl
On Scheduling Constraint Abstraction for Multi-Threaded Program Verification.
IEEE Trans. Software Eng.
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
2020 J jnl
On Sufficient and Necessary Conditions in Bounded CTL.
CoRR
Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu
2020 A* conf
On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach.
KR
Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu
2020 J jnl
Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models.
CoRR
Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Ji Wang, Zhiming Liu, Kenli Li, Hongmei Wei, Zuoning Chen
2020 J jnl
Software testing without the oracle correctness assumption.
Frontiers Comput. Sci.
Tun Li, Wanwei Liu, Xinrui Guo, Ji Wang
2020 C conf
Synthesizing Cooperative Controllers from Global Tasks of Multi-robot Systems.
APSEC
Rui Li, Hao Shi, Wanwei Liu, Wei Dong
2020 B conf
Towards an Extended POMDP Planning Approach with Adjoint Action Model for Robotic Task.
SMC
Shuo Yang, Xinjun Mao, Wanwei Liu
2019 C conf
An Axiomatisation of the Probabilistic \mu -Calculus.
ICFEM
Junnan Xu, Wanwei Liu, David N. Jansen, Lijun Zhang
2019 A* conf
Parallel refinement for multi-threaded program verification.
ICSE
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
2019 J jnl
Toward a Clustering-Based Approach for Self-Adjusting Impact Factors in Robotic Control Model.
IEEE Access
Yuhong Huang, Xinjun Mao, Wanwei Liu, Shuo Yang, Shuo Wang
2018 A* conf
Scheduling constraint based abstraction refinement for weak memory models.
ASE
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
2018 — conf
YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution).
TACAS (2)
Liangze Yin, Wei Dong, Wanwei Liu, Yunchou Li, Ji Wang
2017 J jnl
On the complexity of
Sci. China Inf. Sci.
Yusi Lei, Fu Song, Wanwei Liu, Min Zhang
2017 — conf
Optimizing Monitor Code Based on Patterns in Runtime Verification.
QRS Companion
Ge Zhou, Wei Dong, Wanwei Liu, Hao Shi, Chi Hu, Liangze Yin
2017 Misc conf
Reasoning About Periodicity on Infinite Words.
SETTA
Wanwei Liu, Fu Song, Ge Zhou
2017 J jnl
Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification.
CoRR
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
2017 J jnl
无人驾驶汽车决策系统的规则正确性验证 (Correctness Verification of Rules for Unmanned Vehicles' Decision System).
计算机科学
Binbin Liu, Wanwei Liu, Xiaoguang Mao, Wei Dong
2016 J jnl
A Short Note on Infinite Union/Intersection of Omega Regular Languages.
CoRR
Wanwei Liu
2016 Misc conf
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties.
SETTA
Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang
2016 J jnl
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties.
CoRR
Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang
2015 A* conf
A Simple Probabilistic Extension of Modal Mu-calculus.
IJCAI
Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang
2015 J jnl
A Simple Probabilistic Extension of Modal Mu-calculus.
CoRR
Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang
2014 Misc conf
Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking.
TASE
Wanwei Liu, Xiaoguang Mao, Geguang Pu, Rui Wang
2014 J jnl
Counterexample-Preserving Reduction for Symbolic Model Checking.
J. Appl. Math.
Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
2014 — conf
Runtime Verification by Convergent Formula Progression.
APSEC (1)
Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen
2013 J jnl
Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives.
J. Appl. Math.
Rui Wang, Wanwei Liu, Tun Li, Xiaoguang Mao, Ji Wang
2013 J jnl
Counterexample-Preserving Reduction for Symbolic Model Checking
CoRR
Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
2013 C conf
Counterexample-Preserving Reduction for Symbolic Model Checking.
ICTAC
Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
2013 — conf
Efficient translation validation of high-level synthesis.
ISQED
Tun Li, Yang Guo, Wanwei Liu, Chiyuan Ma
2013 B conf
Introduction to programming: science or art?
ITiCSE
Tun Li, Wanwei Liu, Xiaoguang Mao, Huiping Zhou
2013 — conf
Translation validation of scheduling in high level synthesis.
ACM Great Lakes Symposium on VLSI
Tun Li, Yang Guo, Wanwei Liu, Mingsheng Tang
2011 — conf
Approximating Quantified SMT-Solving with SAT.
SSIRI (Companion)
Xianjin Fu, Wanwei Liu, Jing Li
2011 J jnl
Quantitative analysis for symbolic heap bounds of CPS software.
Comput. Sci. Inf. Syst.
Renjian Li, Ji Wang, Liqian Chen, Wanwei Liu, Dengping Wei
2010 Misc conf
Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow Analysis.
TASE
Jianjun Xu, Qingping Tan, Wanwei Liu
2009 J jnl
A tighter analysis of Piterman's Büchi determinization.
Inf. Process. Lett.
Wanwei Liu, Ji Wang
2009 J jnl
Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis.
J. Comput. Sci. Technol.
Ji Wang, Xiaodong Ma, Wei Dong, Hou-Feng Xu, Wanwei Liu
2009 J jnl
Symbolic model checking APSL.
Frontiers Comput. Sci. China
Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, Zhaofei Wang
2008 Misc conf
Symbolic Model Checking APSL.
TASE
Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma
2007 C conf
Axiomatizing Extended Temporal Logic Fragments Via Instantiation.
ICTAC
Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen