default search action
Wanwei Liu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j22]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): 181324 (2024) - [j21]Zhen Liang
, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu:
Verifying safety of neural networks from topological perspectives. Sci. Comput. Program. 236: 103121 (2024) - [j20]Bai Xue
Reach-Avoid Verification Based on Convex Optimization. IEEE Trans. Autom. Control. 69(1): 598-605 (2024) - [j19]Yufeng Zhang
Kullback-Leibler Divergence-Based Out-of-Distribution Detection With Flow-Based Generative Models. IEEE Trans. Knowl. Data Eng. 36(4): 1683-1697 (2024) - [c33]Zengyu Liu
Synthesizing Boxes Preconditions for Deep Neural Networks. ISSTA 2024: 1708-1719 - [c32]Shaojun Deng, Wanwei Liu, Miaomiao Zhang:
Runtime Verification of Neural-Symbolic Systems. SETTA 2024: 293-309 - [i15]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 abs/2401.12550 (2024) - 2023
- [j18]Xiaochen Tang
Towards a model of human-cyber-physical automata and a synthesis framework for control policies. J. Syst. Archit. 144: 102989 (2023) - [j17]Zhen Liang
Towards robust neural networks via a global and monotonically decreasing robustness training strategy. Frontiers Inf. Technol. Electron. Eng. 24(10): 1375-1389 (2023) - [c31]Ye Tao
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. ATVA (1) 2023: 380-400 - [c30]Zhen Liang
A Geometrical Characterization on Feature Density of Image Datasets. ICME 2023: 1823-1828 - [c29]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 - [c28]Zhen Liang
Safety Verification for Neural Networks Based on Set-Boundary Analysis. TASE 2023: 248-267 - [i14]Zhen Liang, Taoran Wu, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang:
Repairing Deep Neural Networks Based on Behavior Imitation. CoRR abs/2305.03365 (2023) - [i13]Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu:
Verifying Safety of Neural Networks from Topological Perspectives. CoRR abs/2306.15403 (2023) - [i12]Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu:
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. CoRR abs/2307.15907 (2023) - 2022
- [j16]Wei Zhao, Rui Li, Wanwei Liu, Wei Dong, Zhiming Liu:
Probabilistic synthesis against GR(1) winning condition. Frontiers Comput. Sci. 16(3): 162203 (2022) - [j15]Renyan Feng, Erman Acar
Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach. Inf. Sci. 616: 474-504 (2022) - [c27]Yuxin Fan, Fu Song, Taolue Chen
PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation. CAV (1) 2022: 385-406 - [c26]Miaomiao Zhang, Wanwei Liu, Xiaochen Tang, Bowen Du, Zhiming Liu:
Human-Cyber-Physical Automata and Their Synthesis. ICTAC 2022: 36-41 - [i11]Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu:
Reach-avoid Verification Based on Convex Optimization. CoRR abs/2208.08105 (2022) - [i10]Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue:
Safety Verification for Neural Networks Based on Set-boundary Analysis. CoRR abs/2210.04175 (2022) - [i9]Zhen Liang, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Zhengbin Pang:
Credit Assignment for Trained Neural Networks Based on Koopman Operator Theory. CoRR abs/2212.00998 (2022) - 2021
- [c25]Keke Hu, Wanwei Liu, Tun Li:
Rectified Multi-class AdaBoost for Noisy Dataset Based on Weight Adjustment Standard. ASSE 2021: 84-88 - [c24]Tun Li, Wanwei Liu, Liqian Chen, Xiaoguang Mao:
On Enhancing Application-Ability Training in Discrete Mathematics. FIE 2021: 1-5 - [i8]Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang:
On the Properties of Kullback-Leibler Divergence Between Gaussians. CoRR abs/2102.05485 (2021) - 2020
- [j14]Hao Shi
Controller Resynthesis for Multirobot System When Changes Happen. Computer 53(12): 69-79 (2020) - [j13]Tun Li, Wanwei Liu, Xinrui Guo, Ji Wang:
Software testing without the oracle correctness assumption. Frontiers Comput. Sci. 14(3): 143203 (2020) - [j12]Wan-Wei Liu, Fu Song, Tang-Hao-Ran Zhang, Ji Wang:
Verifying ReLU Neural Networks from a Model Checking Perspective. J. Comput. Sci. Technol. 35(6): 1365-1381 (2020) - [j11]Hao Shi
Iterative Controller Synthesis for Multirobot System. IEEE Trans. Reliab. 69(3): 851-862 (2020) - [j10]Liangze Yin
On Scheduling Constraint Abstraction for Multi-Threaded Program Verification. IEEE Trans. Software Eng. 46(5): 549-565 (2020) - [c23]Rui Li, Hao Shi, Wanwei Liu, Wei Dong:
Synthesizing Cooperative Controllers from Global Tasks of Multi-robot Systems. APSEC 2020: 109-118 - [c22]Renyan Feng, Erman Acar, Stefan Schlobach
On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach. KR 2020: 361-370 - [c21]Xudong Zhao, Rui Li, Wanwei Liu, Hao Shi, Shaoxian Shu, Wei Dong:
Controller Synthesis for ROS-based Multi-Robot Collaboration. SEKE 2020: 37-42 - [c20]Wanwei Liu, Liangze Yin, Tun Li:
Compiling FLres on Finite Words. SETTA 2020: 108-123 - [c19]Shuo Yang, Xinjun Mao, Wanwei Liu:
Towards an Extended POMDP Planning Approach with Adjoint Action Model for Robotic Task. SMC 2020: 1412-1419 - [i7]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 abs/2002.03328 (2020) - [i6]Renyan Feng, Erman Acar, Stefan Schlobach
On Sufficient and Necessary Conditions in Bounded CTL. CoRR abs/2003.06492 (2020)
2010 – 2019
- 2019
- [j9]Yuhong Huang
Toward a Clustering-Based Approach for Self-Adjusting Impact Factors in Robotic Control Model. IEEE Access 7: 127987-127998 (2019) - [c18]Junnan Xu, Wanwei Liu, David N. Jansen
An Axiomatisation of the Probabilistic \mu -Calculus. ICFEM 2019: 420-437 - [c17]Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang:
Parallel refinement for multi-threaded program verification. ICSE 2019: 643-653 - 2018
- [c16]Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang:
Scheduling constraint based abstraction refinement for weak memory models. ASE 2018: 645-655 - [c15]Liangze Yin
YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution). TACAS (2) 2018: 422-426 - 2017
- [j8]Yusi Lei, Fu Song, Wanwei Liu, Min Zhang:
On the complexity of ω-pushdown automata. Sci. China Inf. Sci. 60(11): 112102:1-112102:15 (2017) - [j7]Binbin Liu, Wanwei Liu, Xiaoguang Mao, Wei Dong:
无人驾驶汽车决策系统的规则正确性验证 (Correctness Verification of Rules for Unmanned Vehicles' Decision System). 计算机科学 44(4): 72-74 (2017) - [c14]Ge Zhou, Wei Dong, Wanwei Liu, Hao Shi, Chi Hu, Liangze Yin:
Optimizing Monitor Code Based on Patterns in Runtime Verification. QRS Companion 2017: 348-354 - [c13]Wanwei Liu, Fu Song, Ge Zhou:
Reasoning About Periodicity on Infinite Words. SETTA 2017: 200-215 - [i5]Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang:
Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification. CoRR abs/1708.08323 (2017) - 2016
- [c12]Yong Li
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. SETTA 2016: 280-296 - [i4]Wanwei Liu:
A Short Note on Infinite Union/Intersection of Omega Regular Languages. CoRR abs/1603.05426 (2016) - [i3]Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang:
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. CoRR abs/1605.04400 (2016) - 2015
- [c11]Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang:
A Simple Probabilistic Extension of Modal Mu-calculus. IJCAI 2015: 882-888 - [i2]Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang:
A Simple Probabilistic Extension of Modal Mu-calculus. CoRR abs/1504.07737 (2015) - 2014
- [j6]Wanwei Liu
Counterexample-Preserving Reduction for Symbolic Model Checking. J. Appl. Math. 2014: 702165:1-702165:13 (2014) - [c10]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: 255-262 - [c9]Wanwei Liu, Xiaoguang Mao, Geguang Pu, Rui Wang
Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking. TASE 2014: 82-89 - 2013
- [j5]Rui Wang
Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives. J. Appl. Math. 2013: 462532:1-462532:12 (2013) - [c8]Tun Li, Yang Guo, Wanwei Liu, Mingsheng Tang
Translation validation of scheduling in high level synthesis. ACM Great Lakes Symposium on VLSI 2013: 101-106 - [c7]Wanwei Liu, Rui Wang
Counterexample-Preserving Reduction for Symbolic Model Checking. ICTAC 2013: 249-266 - [c6]Tun Li, Yang Guo, Wanwei Liu, Chiyuan Ma:
Efficient translation validation of high-level synthesis. ISQED 2013: 516-523 - [c5]Tun Li, Wanwei Liu, Xiaoguang Mao, Huiping Zhou:
Introduction to programming: science or art? ITiCSE 2013: 324 - [i1]Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao:
Counterexample-Preserving Reduction for Symbolic Model Checking. CoRR abs/1301.3299 (2013) - 2011
- [j4]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): 1251-1276 (2011) - [c4]Xianjin Fu
Approximating Quantified SMT-Solving with SAT. SSIRI (Companion) 2011: 114-119 - 2010
- [c3]Jianjun Xu, Qingping Tan, Wanwei Liu:
Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow Analysis. TASE 2010: 201-208
2000 – 2009
- 2009
- [j3]Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, Zhaofei Wang:
Symbolic model checking APSL. Frontiers Comput. Sci. China 3(1): 130-141 (2009) - [j2]Wanwei Liu, Ji Wang:
A tighter analysis of Piterman's Büchi determinization. Inf. Process. Lett. 109(16): 941-945 (2009) - [j1]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): 347-356 (2009) - 2008
- [c2]Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma:
Symbolic Model Checking APSL. TASE 2008: 39-46 - 2007
- [c1]Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen:
Axiomatizing Extended Temporal Logic Fragments Via Instantiation. ICTAC 2007: 322-336
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-13 20:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: