Остановите войну!
for scientists:
default search action
Zhilin Wu
Publications
- 2023
- [i17]Huiyu Tan, Pengfei Gao, Taolue Chen, Fu Song, Zhilin Wu:
SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits. CoRR abs/2307.00561 (2023) - 2022
- [j9]Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu:
Solving string constraints with Regex-dependent functions through transducers with priorities and variables. Proc. ACM Program. Lang. 6(POPL): 1-31 (2022) - 2021
- [i16]Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu:
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables. CoRR abs/2111.04298 (2021) - 2020
- [c34]Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu:
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. ATVA 2020: 325-342 - [c32]Xie Li, Taolue Chen, Zhilin Wu, Mingji Xia:
Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata. SETTA 2020: 89-107 - [i14]Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu:
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. CoRR abs/2007.06913 (2020) - 2019
- [j8]Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu:
Decision procedures for path feasibility of string-manipulating programs with complex operations. Proc. ACM Program. Lang. 3(POPL): 49:1-49:30 (2019) - [c31]Jinlong He, Taolue Chen, Ping Wang, Zhilin Wu, Jun Yan:
Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps. APLAS 2019: 291-312 - [c30]Chong Gao, Taolue Chen, Zhilin Wu:
Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints. SOFSEM 2019: 206-220 - 2018
- [j7]Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu:
What is decidable about string constraints with the ReplaceAll function. Proc. ACM Program. Lang. 2(POPL): 3:1-3:29 (2018) - [c28]Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu, Jun Yan:
Android Stack Machine. CAV (2) 2018: 487-504 - [i13]Chong Gao, Taolue Chen, Zhilin Wu:
Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints. CoRR abs/1811.00699 (2018) - [i12]Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu:
Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations. CoRR abs/1811.03167 (2018) - 2017
- [c27]Zhaowei Xu, Taolue Chen, Zhilin Wu:
Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints. CADE 2017: 509-527 - [c26]Taolue Chen, Fu Song, Zhilin Wu:
Tractability of Separation Logic with Inductive Definitions: Beyond Lists. CONCUR 2017: 37:1-37:17 - [c25]Taolue Chen, Fu Song, Zhilin Wu:
Model Checking Pushdown Epistemic Game Structures. ICFEM 2017: 36-53 - [i10]Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu:
What Is Decidable about String Constraints with the ReplaceAll Function. CoRR abs/1711.03363 (2017) - 2016
- [c22]Taolue Chen, Fu Song, Zhilin Wu:
Global Model Checking on Pushdown Multi-Agent Systems. AAAI 2016: 2459-2465 - [c21]Xincai Gu, Taolue Chen, Zhilin Wu:
A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints. IJCAR 2016: 532-549 - [c19]Taolue Chen, Fu Song, Zhilin Wu:
Verifying Pushdown Multi-Agent Systems against Strategy Logics. IJCAI 2016: 180-186 - [c18]Taolue Chen, Fu Song, Zhilin Wu:
Formal Reasoning on Infinite Data Values: An Ongoing Quest. SETSS 2016: 195-257 - 2015
- [c15]Taolue Chen, Fu Song, Zhilin Wu:
On the Satisfiability of Indexed Linear Temporal Logics. CONCUR 2015: 254-267
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-04-25 01:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint