Axiomatizing Extended Temporal Logic Fragments Via Instantiation. - Wanwei Liu; Ji Wang 001; Wei Dong 006; Huowang Chen (ICTAC, 2007)

Symbolic Model Checking APSL. - Wanwei Liu; Ji Wang 001; Huowang Chen; Xiaodong Ma (TASE, 2008)

Symbolic model checking APSL. - Wanwei Liu; Ji Wang 001; Huowang Chen; Xiaodong Ma; Zhaofei Wang (Frontiers Comput. Sci. China, 2009)

A tighter analysis of Piterman's Büchi determinization. - Wanwei Liu; Ji Wang 001 (Inf. Process. Lett., 2009)

Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis. - Ji Wang 001; Xiaodong Ma; Wei Dong 006; Hou-Feng Xu; Wanwei Liu (J. Comput. Sci. Technol., 2009)

Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow Analysis. - Jianjun Xu; Qingping Tan; Wanwei Liu (TASE, 2010)

Approximating Quantified SMT-Solving with SAT. - Xianjin Fu; Wanwei Liu; Jing Li (SSIRI (Companion), 2011)

Quantitative analysis for symbolic heap bounds of CPS software. - Renjian Li; Ji Wang 001; Liqian Chen; Wanwei Liu; Dengping Wei (Comput. Sci. Inf. Syst., 2011)

Translation validation of scheduling in high level synthesis. - Tun Li; Yang Guo 003; Wanwei Liu; Mingsheng Tang (ACM Great Lakes Symposium on VLSI, 2013)

Counterexample-Preserving Reduction for Symbolic Model Checking. - Wanwei Liu; Rui Wang 017; Xianjin Fu; Ji Wang 001; Wei Dong 006; Xiaoguang Mao (ICTAC, 2013)

Efficient translation validation of high-level synthesis. - Tun Li; Yang Guo 003; Wanwei Liu; Chiyuan Ma (ISQED, 2013)

Introduction to programming: science or art? - Tun Li; Wanwei Liu; Xiaoguang Mao; Huiping Zhou (ITiCSE, 2013)

Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives. - Rui Wang 019; Wanwei Liu; Tun Li; Xiaoguang Mao; Ji Wang 001 (J. Appl. Math., 2013)

Runtime Verification by Convergent Formula Progression. - Yan Shen; Jianwen Li; Zheng Wang 005; Ting Su 001; Bin Fang 004; Geguang Pu; Wanwei Liu; Mingsong Chen 001 (APSEC (1), 2014)

Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking. - Wanwei Liu; Xiaoguang Mao; Geguang Pu; Rui Wang 017 (TASE, 2014)

Counterexample-Preserving Reduction for Symbolic Model Checking. - Wanwei Liu; Rui Wang 019; Xianjin Fu; Ji Wang 001; Wei Dong 006; Xiaoguang Mao (J. Appl. Math., 2014)

A Simple Probabilistic Extension of Modal Mu-calculus. - Wanwei Liu; Lei Song 001; Ji Wang 001; Lijun Zhang 001 (IJCAI, 2015)

An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. - Yong Li 031; Wanwei Liu; Andrea Turrini; Ernst Moritz Hahn; Lijun Zhang 001 (SETTA, 2016)

A Short Note on Infinite Union/Intersection of Omega Regular Languages. - Wanwei Liu (CoRR, 2016)

Optimizing Monitor Code Based on Patterns in Runtime Verification. - Ge Zhou; Wei Dong 006; Wanwei Liu; Hao Shi 007; Chi Hu; Liangze Yin (QRS Companion, 2017)

Reasoning About Periodicity on Infinite Words. - Wanwei Liu; Fu Song; Ge Zhou (SETTA, 2017)

On the complexity of ω-pushdown automata. - Yusi Lei; Fu Song; Wanwei Liu; Min Zhang 007 (Sci. China Inf. Sci., 2017)

Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification. - Liangze Yin; Wei Dong 006; Wanwei Liu; Ji Wang 001 (CoRR, 2017)

无人驾驶汽车决策系统的规则正确性验证 (Correctness Verification of Rules for Unmanned Vehicles' Decision System). - Binbin Liu; Wanwei Liu; Xiaoguang Mao; Wei Dong 006 (计算机科学, 2017)

Scheduling constraint based abstraction refinement for weak memory models. - Liangze Yin; Wei Dong 006; Wanwei Liu; Ji Wang 001 (ASE, 2018)

YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution). - Liangze Yin; Wei Dong 006; Wanwei Liu; Yunchou Li; Ji Wang 001 (TACAS (2), 2018)

An Axiomatisation of the Probabilistic mu -Calculus. - Junnan Xu; Wanwei Liu; David N. Jansen; Lijun Zhang 001 (ICFEM, 2019)

Parallel refinement for multi-threaded program verification. - Liangze Yin; Wei Dong 006; Wanwei Liu; Ji Wang 001 (ICSE, 2019)

Toward a Clustering-Based Approach for Self-Adjusting Impact Factors in Robotic Control Model. - Yuhong Huang; Xinjun Mao; Wanwei Liu; Shuo Yang 005; Shuo Wang (IEEE Access, 2019)

Synthesizing Cooperative Controllers from Global Tasks of Multi-robot Systems. - Rui Li 050; Hao Shi 007; Wanwei Liu; Wei Dong 006 (APSEC, 2020)

On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach. - Renyan Feng; Erman Acar; Stefan Schlobach; Yisong Wang; Wanwei Liu (KR, 2020)

Controller Synthesis for ROS-based Multi-Robot Collaboration. - Xudong Zhao 006; Rui Li 050; Wanwei Liu; Hao Shi 007; Shaoxian Shu; Wei Dong 006 (SEKE, 2020)

Compiling FLres on Finite Words. - Wanwei Liu; Liangze Yin; Tun Li (SETTA, 2020)

Towards an Extended POMDP Planning Approach with Adjoint Action Model for Robotic Task. - Shuo Yang 005; Xinjun Mao; Wanwei Liu (SMC, 2020)

Controller Resynthesis for Multirobot System When Changes Happen. - Hao Shi 007; Wei Dong 006; Rui Li 050; Wanwei Liu (Computer, 2020)

Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models. - Yufeng Zhang 001; Wanwei Liu; Zhenbang Chen; Ji Wang 001; Zhiming Liu 001; Kenli Li 001; Hongmei Wei; Zuoning Chen (CoRR, 2020)

On Sufficient and Necessary Conditions in Bounded CTL. - Renyan Feng; Erman Acar; Stefan Schlobach; Yisong Wang; Wanwei Liu (CoRR, 2020)

Software testing without the oracle correctness assumption. - Tun Li; Wanwei Liu; Xinrui Guo; Ji Wang 001 (Frontiers Comput. Sci., 2020)

Verifying ReLU Neural Networks from a Model Checking Perspective. - Wan-Wei Liu; Fu Song; Tanghaoran Zhang; Ji Wang 001 (J. Comput. Sci. Technol., 2020)

Iterative Controller Synthesis for Multirobot System. - Hao Shi 007; Rui Li 050; Wanwei Liu; Wei Dong 006; Ge Zhou (IEEE Trans. Reliab., 2020)

On Scheduling Constraint Abstraction for Multi-Threaded Program Verification. - Liangze Yin; Wei Dong 006; Wanwei Liu; Ji Wang 001 (IEEE Trans. Software Eng., 2020)

Rectified Multi-class AdaBoost for Noisy Dataset Based on Weight Adjustment Standard. - Keke Hu; Wanwei Liu; Tun Li (ASSE, 2021)

On Enhancing Application-Ability Training in Discrete Mathematics. - Tun Li; Wanwei Liu; Liqian Chen; Xiaoguang Mao (FIE, 2021)

On the Properties of Kullback-Leibler Divergence Between Gaussians. - Yufeng Zhang 001; Wanwei Liu; Zhenbang Chen; Kenli Li 001; Ji Wang 001 (CoRR, 2021)

PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation. - Yuxin Fan; Fu Song; Taolue Chen 001; Liangfeng Zhang; Wanwei Liu (CAV (1), 2022)

Human-Cyber-Physical Automata and Their Synthesis. - Miaomiao Zhang 003; Wanwei Liu; Xiaochen Tang; Bowen Du 002; Zhiming Liu 001 (ICTAC, 2022)

Probabilistic synthesis against GR(1) winning condition. - Wei Zhao; Rui Li 050; Wanwei Liu; Wei Dong 006; Zhiming Liu 001 (Frontiers Comput. Sci., 2022)

Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach. - Renyan Feng; Erman Acar; Yisong Wang; Wanwei Liu; Stefan Schlobach; Weiping Ding 001 (Inf. Sci., 2022)

An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. - Ye Tao 008; Wanwei Liu; Fu Song; Zhen Liang; Ji Wang 001; Hongxu Zhu (ATVA (1), 2023)

A Geometrical Characterization on Feature Density of Image Datasets. - Zhen Liang; Changyuan Zhao; Wanwei Liu; Bai Xue 001; Wenjing Yang 002 (ICME, 2023)

On the Properties of Kullback-Leibler Divergence Between Multivariate Gaussian Distributions. - Yufeng Zhang 001; Jialu Pan; Li Ken Li; Wanwei Liu; Zhenbang Chen; Xinwang Liu; Ji Wang 001 (NeurIPS, 2023)

Safety Verification for Neural Networks Based on Set-Boundary Analysis. - Zhen Liang; Dejin Ren; Wanwei Liu; Ji Wang 001; Wenjing Yang 002; Bai Xue 001 (TASE, 2023)

Repairing Deep Neural Networks Based on Behavior Imitation. - Zhen Liang; Taoran Wu; Changyuan Zhao; Wanwei Liu; Bai Xue 001; Wenjing Yang 002; Ji Wang 001 (CoRR, 2023)

Towards robust neural networks via a global and monotonically decreasing robustness training strategy. - Zhen Liang; Taoran Wu; Wanwei Liu; Bai Xue 001; Wenjing Yang 002; Ji Wang 001; Zhengbin Pang (Frontiers Inf. Technol. Electron. Eng., 2023)

Towards a model of human-cyber-physical automata and a synthesis framework for control policies. - Xiaochen Tang; Miaomiao Zhang 003; Wanwei Liu; Bowen Du 002; Zhiming Liu 001 (J. Syst. Archit., 2023)

Synthesizing Boxes Preconditions for Deep Neural Networks. - Zengyu Liu; Liqian Chen; Wanwei Liu; Ji Wang 001 (ISSTA, 2024)

Runtime Verification of Neural-Symbolic Systems. - Shaojun Deng; Wanwei Liu; Miaomiao Zhang 003 (SETTA, 2024)

UR4NNV: Neural Network Verification, Under-approximation Reachability Works! - Zhen Liang; Taoran Wu; Ran Zhao; Bai Xue 001; Ji Wang 001; Wenjing Yang 002; Shaojun Deng; Wanwei Liu (CoRR, 2024)

Verifying safety of neural networks from topological perspectives. - Zhen Liang; Dejin Ren; Bai Xue 001; Ji Wang 001; Wenjing Yang 002; Wanwei Liu (Sci. Comput. Program., 2024)

Reach-Avoid Verification Based on Convex Optimization. - Bai Xue 001; Naijun Zhan; Martin Fränzle; Ji Wang 001; Wanwei Liu (IEEE Trans. Autom. Control., 2024)

Credit assignment for trained neural networks based on Koopman operator theory. - Zhen Liang; Changyuan Zhao; Wanwei Liu; Bai Xue 001; Wenjing Yang 002; Zhengbin Pang (Frontiers Comput. Sci., 2024)

Kullback-Leibler Divergence-Based Out-of-Distribution Detection With Flow-Based Generative Models. - Yufeng Zhang 001; Jialu Pan; Wanwei Liu; Zhenbang Chen; Kenli Li 001; Ji Wang 001; Zhiming Liu 001; Hongmei Wei (IEEE Trans. Knowl. Data Eng., 2024)

Qualitative and Quantitative Model Checking Against Recurrent Neural Networks. - Zhen Liang; Wan-Wei Liu; Fu Song; Bai Xue 001; Wenjing Yang 002; Ji Wang 001; Zhengbin Pang (J. Comput. Sci. Technol., 2024)

Learning Subject to Constraints via Abstract Gradient Descent. - Shiwen Yu; Wanwei Liu; Zengyu Liu; Liqian Chen; Ting Wang 009; Naijun Zhan; Ji Wang 001 (NeuS, 2025)

BIRDNN: Behavior-Imitation Based Repair for Deep Neural Networks. - Zhen Liang; Taoran Wu; Changyuan Zhao; Wanwei Liu; Bai Xue 001; Wenjing Yang 002; Ji Wang 001; Wanrong Huang (Neural Networks, 2025)

AutoRIC: Automated Neural Network Repairing Based on Constrained Optimization. - Xinyu Sun; Wanwei Liu; Shangwen Wang; Tingyu Chen; Ye Tao 008; Xiaoguang Mao (ACM Trans. Softw. Eng. Methodol., 2025)