Wanwei Liu

Orcid: 0000-0002-2315-1704

According to our database¹, Wanwei Liu authored at least 64 papers between 2007 and 2025.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

BIRDNN: Behavior-Imitation Based Repair for Deep Neural Networks.

[BibT_eX]

[DOI]

Neural Networks, 2025

2024

Qualitative and Quantitative Model Checking Against Recurrent Neural Networks.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., November, 2024

Kullback-Leibler Divergence-Based Out-of-Distribution Detection With Flow-Based Generative Models.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., April, 2024

Credit assignment for trained neural networks based on Koopman operator theory.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., February, 2024

Reach-Avoid Verification Based on Convex Optimization.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., January, 2024

Verifying safety of neural networks from topological perspectives.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2024

UR4NNV: Neural Network Verification, Under-approximation Reachability Works!

[BibT_eX]

[DOI]

CoRR, 2024

Runtime Verification of Neural-Symbolic Systems.

[BibT_eX]

[DOI]

Shaojun Deng

Wanwei Liu

Miaomiao Zhang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024

Synthesizing Boxes Preconditions for Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

Towards a model of human-cyber-physical automata and a synthesis framework for control policies.

[BibT_eX]

[DOI]

J. Syst. Archit., November, 2023

Towards robust neural networks via a global and monotonically decreasing robustness training strategy.

[BibT_eX]

[DOI]

Frontiers Inf. Technol. Electron. Eng., October, 2023

Repairing Deep Neural Networks Based on Behavior Imitation.

[BibT_eX]

[DOI]

CoRR, 2023

Safety Verification for Neural Networks Based on Set-Boundary Analysis.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Software Engineering, 2023

On the Properties of Kullback-Leibler Divergence Between Multivariate Gaussian Distributions.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

A Geometrical Characterization on Feature Density of Image Datasets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Multimedia and Expo, 2023

An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach.

[BibT_eX]

[DOI]

Inf. Sci., 2022

Probabilistic synthesis against GR(1) winning condition.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2022

Human-Cyber-Physical Automata and Their Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

On the Properties of Kullback-Leibler Divergence Between Gaussians.

[BibT_eX]

[DOI]

CoRR, 2021

On Enhancing Application-Ability Training in Discrete Mathematics.

[BibT_eX]

[DOI]

Proceedings of the IEEE Frontiers in Education Conference, 2021

Rectified Multi-class AdaBoost for Noisy Dataset Based on Weight Adjustment Standard.

[BibT_eX]

[DOI]

Keke Hu

Wanwei Liu

Tun Li

Proceedings of the ASSE 2021: 2nd Asia Service Sciences and Software Engineering Conference, 2021

2020

On Scheduling Constraint Abstraction for Multi-Threaded Program Verification.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2020

Iterative Controller Synthesis for Multirobot System.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2020

Verifying ReLU Neural Networks from a Model Checking Perspective.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2020

Software testing without the oracle correctness assumption.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2020

On Sufficient and Necessary Conditions in Bounded CTL.

[BibT_eX]

[DOI]

CoRR, 2020

Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models.

[BibT_eX]

[DOI]

CoRR, 2020

Controller Resynthesis for Multirobot System When Changes Happen.

[BibT_eX]

[DOI]

Computer, 2020

Towards an Extended POMDP Planning Approach with Adjoint Action Model for Robotic Task.

[BibT_eX]

[DOI]

Shuo Yang

Xinjun Mao

Wanwei Liu

Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

Compiling FL<sup>res</sup> on Finite Words.

[BibT_eX]

[DOI]

Wanwei Liu

Liangze Yin

Tun Li

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

Controller Synthesis for ROS-based Multi-Robot Collaboration.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Synthesizing Cooperative Controllers from Global Tasks of Multi-robot Systems.

[BibT_eX]

[DOI]

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

Toward a Clustering-Based Approach for Self-Adjusting Impact Factors in Robotic Control Model.

[BibT_eX]

[DOI]

IEEE Access, 2019

Parallel refinement for multi-threaded program verification.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering, 2019

An Axiomatisation of the Probabilistic \mu -Calculus.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2019

2018

YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Scheduling constraint based abstraction refinement for weak memory models.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017

无人驾驶汽车决策系统的规则正确性验证 (Correctness Verification of Rules for Unmanned Vehicles' Decision System).

[BibT_eX]

[DOI]

计算机科学, 2017

Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification.

[BibT_eX]

[DOI]

CoRR, 2017

On the complexity of <i>ω</i>-pushdown automata.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2017

Reasoning About Periodicity on Infinite Words.

[BibT_eX]

[DOI]

Wanwei Liu

Fu Song

Ge Zhou

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Optimizing Monitor Code Based on Patterns in Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

2016

A Short Note on Infinite Union/Intersection of Omega Regular Languages.

[BibT_eX]

[DOI]

Wanwei Liu

CoRR, 2016

An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2015

A Simple Probabilistic Extension of Modal Mu-calculus.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

Counterexample-Preserving Reduction for Symbolic Model Checking.

[BibT_eX]

[DOI]

J. Appl. Math., 2014

Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Runtime Verification by Convergent Formula Progression.

[BibT_eX]

[DOI]

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives.

[BibT_eX]

[DOI]

J. Appl. Math., 2013

Introduction to programming: science or art?

[BibT_eX]

[DOI]

Proceedings of the Innovation and Technology in Computer Science Education conference 2013, 2013

Efficient translation validation of high-level synthesis.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Quality Electronic Design, 2013

Counterexample-Preserving Reduction for Symbolic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

Translation validation of scheduling in high level synthesis.

[BibT_eX]

[DOI]

Proceedings of the Great Lakes Symposium on VLSI 2013 (part of ECRC), 2013

2011

Quantitative analysis for symbolic heap bounds of CPS software.

[BibT_eX]

[DOI]

Comput. Sci. Inf. Syst., 2011

Approximating Quantified SMT-Solving with SAT.

[BibT_eX]

[DOI]

Xianjin Fu

Wanwei Liu

Jing Li

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

2010

Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow Analysis.

[BibT_eX]

[DOI]

Jianjun Xu

Qingping Tan

Wanwei Liu

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

2009

Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2009

A tighter analysis of Piterman's Büchi determinization.

[BibT_eX]

[DOI]

Wanwei Liu

Ji Wang

Inf. Process. Lett., 2009

Symbolic model checking APSL.

[BibT_eX]

[DOI]

Frontiers Comput. Sci. China, 2009

2008

Symbolic Model Checking APSL.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

2007

Axiomatizing Extended Temporal Logic Fragments Via Instantiation.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2007

Wanwei Liu

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...