Wanwei Liu

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 48

Top Topics

Multivariate Gaussian

Top Venues

Frontiers Comput. Sci.

Publications

Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu
Verifying safety of neural networks from topological perspectives. Sci. Comput. Program. 236 (2024)
Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu
Reach-Avoid Verification Based on Convex Optimization. IEEE Trans. Autom. Control. 69 (1) (2024)
Yufeng Zhang, Jialu Pan, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang, Zhiming Liu, Hongmei Wei
Kullback-Leibler Divergence-Based Out-of-Distribution Detection With Flow-Based Generative Models. IEEE Trans. Knowl. Data Eng. 36 (4) (2024)
Zhen Liang, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Zhengbin Pang
Credit assignment for trained neural networks based on Koopman operator theory. Frontiers Comput. Sci. 18 (1) (2024)
Zhen Liang, Taoran Wu, Ran Zhao, Bai Xue, Ji Wang, Wenjing Yang, Shaojun Deng, Wanwei Liu
UR4NNV: Neural Network Verification, Under-approximation Reachability Works! CoRR (2024)
Yufeng Zhang, Jialu Pan, Li Ken Li, Wanwei Liu, Zhenbang Chen, Xinwang Liu, Ji Wang
On the Properties of Kullback-Leibler Divergence Between Multivariate Gaussian Distributions. NeurIPS (2023)
Xiaochen Tang, Miaomiao Zhang, Wanwei Liu, Bowen Du, Zhiming Liu
Towards a model of human-cyber-physical automata and a synthesis framework for control policies. J. Syst. Archit. 144 (2023)
Zhen Liang, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang
A Geometrical Characterization on Feature Density of Image Datasets. ICME (2023)
Zhen Liang, Taoran Wu, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang
Repairing Deep Neural Networks Based on Behavior Imitation. CoRR (2023)
Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. CoRR (2023)
Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu
Verifying Safety of Neural Networks from Topological Perspectives. CoRR (2023)
Zhen Liang, Taoran Wu, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang, Zhengbin Pang
Towards robust neural networks via a global and monotonically decreasing robustness training strategy. Frontiers Inf. Technol. Electron. Eng. 24 (10) (2023)
Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. ATVA (1) (2023)
Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue
Safety Verification for Neural Networks Based on Set-Boundary Analysis. TASE (2023)
Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue
Safety Verification for Neural Networks Based on Set-boundary Analysis. CoRR (2022)
Yuxin Fan, Fu Song, Taolue Chen, Liangfeng Zhang, Wanwei Liu
PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation. CAV (1) (2022)
Zhen Liang, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Zhengbin Pang
Credit Assignment for Trained Neural Networks Based on Koopman Operator Theory. CoRR (2022)
Wei Zhao, Rui Li, Wanwei Liu, Wei Dong, Zhiming Liu
Probabilistic synthesis against GR(1) winning condition. Frontiers Comput. Sci. 16 (3) (2022)
Miaomiao Zhang, Wanwei Liu, Xiaochen Tang, Bowen Du, Zhiming Liu
Human-Cyber-Physical Automata and Their Synthesis. ICTAC (2022)
Renyan Feng, Erman Acar, Yisong Wang, Wanwei Liu, Stefan Schlobach, Weiping Ding
Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach. Inf. Sci. 616 (2022)
Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu
Reach-avoid Verification Based on Convex Optimization. CoRR (2022)
Tun Li, Wanwei Liu, Liqian Chen, Xiaoguang Mao
On Enhancing Application-Ability Training in Discrete Mathematics. FIE (2021)
Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang
On the Properties of Kullback-Leibler Divergence Between Gaussians. CoRR (2021)
Keke Hu, Wanwei Liu, Tun Li
Rectified Multi-class AdaBoost for Noisy Dataset Based on Weight Adjustment Standard. ASSE (2021)
Xudong Zhao, Rui Li, Wanwei Liu, Hao Shi, Shaoxian Shu, Wei Dong
Controller Synthesis for ROS-based Multi-Robot Collaboration. SEKE (2020)
Shuo Yang, Xinjun Mao, Wanwei Liu
Towards an Extended POMDP Planning Approach with Adjoint Action Model for Robotic Task. SMC (2020)
Hao Shi, Rui Li, Wanwei Liu, Wei Dong, Ge Zhou
Iterative Controller Synthesis for Multirobot System. IEEE Trans. Reliab. 69 (3) (2020)
Tun Li, Wanwei Liu, Xinrui Guo, Ji Wang
Software testing without the oracle correctness assumption. Frontiers Comput. Sci. 14 (3) (2020)
Rui Li, Hao Shi, Wanwei Liu, Wei Dong
Synthesizing Cooperative Controllers from Global Tasks of Multi-robot Systems. APSEC (2020)
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
On Scheduling Constraint Abstraction for Multi-Threaded Program Verification. IEEE Trans. Software Eng. 46 (5) (2020)
Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu
On Sufficient and Necessary Conditions in Bounded CTL. CoRR (2020)
Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Ji Wang, Zhiming Liu, Kenli Li, Hongmei Wei, Zuoning Chen
Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models. CoRR (2020)
Hao Shi, Wei Dong, Rui Li, Wanwei Liu
Controller Resynthesis for Multirobot System When Changes Happen. Computer 53 (12) (2020)
Wanwei Liu, Liangze Yin, Tun Li
on Finite Words. SETTA (2020)
Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu
On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach. KR (2020)
Junnan Xu, Wanwei Liu, David N. Jansen, Lijun Zhang
An Axiomatisation of the Probabilistic \mu -Calculus. ICFEM (2019)
Yuhong Huang, Xinjun Mao, Wanwei Liu, Shuo Yang, Shuo Wang
Toward a Clustering-Based Approach for Self-Adjusting Impact Factors in Robotic Control Model. IEEE Access 7 (2019)
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
Parallel refinement for multi-threaded program verification. ICSE (2019)
Liangze Yin, Wei Dong, Wanwei Liu, Yunchou Li, Ji Wang
YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution). TACAS (2) (2018)
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
Scheduling constraint based abstraction refinement for weak memory models. ASE (2018)
Ge Zhou, Wei Dong, Wanwei Liu, Hao Shi, Chi Hu, Liangze Yin
Optimizing Monitor Code Based on Patterns in Runtime Verification. QRS Companion (2017)
Wanwei Liu, Fu Song, Ge Zhou
Reasoning About Periodicity on Infinite Words. SETTA (2017)
Binbin Liu, Wanwei Liu, Xiaoguang Mao, Wei Dong
无人驾驶汽车决策系统的规则正确性验证 (Correctness Verification of Rules for Unmanned Vehicles' Decision System). 计算机科学 44 (4) (2017)
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification. CoRR (2017)
Yusi Lei, Fu Song, Wanwei Liu, Min Zhang
-pushdown automata. Sci. China Inf. Sci. 60 (11) (2017)
Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. SETTA (2016)
Wanwei Liu
A Short Note on Infinite Union/Intersection of Omega Regular Languages. CoRR (2016)
Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. CoRR (2016)
Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang
A Simple Probabilistic Extension of Modal Mu-calculus. IJCAI (2015)
Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang
A Simple Probabilistic Extension of Modal Mu-calculus. CoRR (2015)
Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
Counterexample-Preserving Reduction for Symbolic Model Checking. J. Appl. Math. 2014 (2014)
Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen
Runtime Verification by Convergent Formula Progression. APSEC (1) (2014)
Wanwei Liu, Xiaoguang Mao, Geguang Pu, Rui Wang
Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking. TASE (2014)
Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
Counterexample-Preserving Reduction for Symbolic Model Checking CoRR (2013)
Tun Li, Yang Guo, Wanwei Liu, Chiyuan Ma
Efficient translation validation of high-level synthesis. ISQED (2013)
Tun Li, Wanwei Liu, Xiaoguang Mao, Huiping Zhou
Introduction to programming: science or art? ITiCSE (2013)
Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
Counterexample-Preserving Reduction for Symbolic Model Checking. ICTAC (2013)
Rui Wang, Wanwei Liu, Tun Li, Xiaoguang Mao, Ji Wang
Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives. J. Appl. Math. 2013 (2013)
Tun Li, Yang Guo, Wanwei Liu, Mingsheng Tang
Translation validation of scheduling in high level synthesis. ACM Great Lakes Symposium on VLSI (2013)
Renjian Li, Ji Wang, Liqian Chen, Wanwei Liu, Dengping Wei
Quantitative analysis for symbolic heap bounds of CPS software. Comput. Sci. Inf. Syst. 8 (4) (2011)
Xianjin Fu, Wanwei Liu, Jing Li
Approximating Quantified SMT-Solving with SAT. SSIRI (Companion) (2011)
Jianjun Xu, Qingping Tan, Wanwei Liu
Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow Analysis. TASE (2010)
Wanwei Liu, Ji Wang
A tighter analysis of Piterman's Büchi determinization. Inf. Process. Lett. 109 (16) (2009)
Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, Zhaofei Wang
Symbolic model checking APSL. Frontiers Comput. Sci. China 3 (1) (2009)
Ji Wang, Xiaodong Ma, Wei Dong, Hou-Feng Xu, Wanwei Liu
Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis. J. Comput. Sci. Technol. 24 (2) (2009)
Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma
Symbolic Model Checking APSL. TASE (2008)
Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen
Axiomatizing Extended Temporal Logic Fragments Via Instantiation. ICTAC (2007)