default search action
Zhilin Wu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j11]Hao Wu, Yu-Fang Chen, Zhilin Wu, Bican Xia, Naijun Zhan:
A decision procedure for string constraints with string/integer conversion and flat regular constraints. Acta Informatica 61(1): 23-52 (2024) - [j10]Huiyu Tan, Pengfei Gao, Fu Song, Taolue Chen, Zhilin Wu:
SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2024(4): 1-39 (2024) - [c40]Weizhi Feng, Yicheng Liu, Jiaxiang Liu, David N. Jansen, Lijun Zhang, Zhilin Wu:
Formally Verifying Arithmetic Chisel Designs for All Bit Widths at Once. DAC 2024: 213:1-213:6 - [c39]Song Gao, Bohua Zhan, Zhilin Wu, Lijun Zhang:
Verifying Randomized Consensus Protocols with Common Coins. DSN 2024: 403-415 - [c38]Huiyu Tan, Xi Yang, Fu Song, Taolue Chen, Zhilin Wu:
Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks. FM (2) 2024: 189-207 - [i18]Wanyun Su, Zhilin Wu, Mihaela Sighireanu:
Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions. CoRR abs/2403.01867 (2024) - 2023
- [c37]Denghang Hu
, Zhilin Wu
String Constraints with Regex-Counting and String-Length Solved More Efficiently. SETTA 2023: 1-20 - [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
Solving string constraints with Regex-dependent functions through transducers with priorities and variables. Proc. ACM Program. Lang. 6(POPL): 1-31 (2022) - [c36]Shizhen Yu, Yifan Dong, Jiuyang Liu, Yong Li, Zhilin Wu, David N. Jansen, Lijun Zhang:
CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper). SEFM 2022: 324-331 - [e1]Ahmed Bouajjani
Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings. Lecture Notes in Computer Science 13505, Springer 2022, ISBN 978-3-031-19991-2 [contents] - 2021
- [c35]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Denghang Hu
Solving Not-Substring Constraint withFlat Abstraction. APLAS 2021: 305-320 - [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
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. ATVA 2020: 325-342 - [c33]Matthew Hague
Monadic Decomposition in Integer Linear Arithmetic. IJCAR (1) 2020: 122-140 - [c32]Xie Li, Taolue Chen
Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata. SETTA 2020: 89-107 - [i15]Matthew Hague, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu:
Monadic Decomposition in Integer Linear Arithmetic (Technical Report). CoRR abs/2004.12371 (2020) - [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)
2010 – 2019
- 2019
- [j8]Taolue Chen
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
Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps. APLAS 2019: 291-312 - [c30]Chong Gao, Taolue Chen
Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints. SOFSEM 2019: 206-220 - [c29]Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan
SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) 2019: 116-132 - 2018
- [j7]Taolue Chen
What is decidable about string constraints with the ReplaceAll function. Proc. ACM Program. Lang. 2(POPL): 3:1-3:29 (2018) - [c28]Taolue Chen
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
Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints. CADE 2017: 509-527 - [c26]Taolue Chen
Tractability of Separation Logic with Inductive Definitions: Beyond Lists. CONCUR 2017: 37:1-37:17 - [c25]Taolue Chen
Model Checking Pushdown Epistemic Game Structures. ICFEM 2017: 36-53 - [c24]Yu-Fang Chen
Register automata with linear arithmetic. LICS 2017: 1-12 - [c23]Ping Lu, Zhilin Wu, Haiming Chen:
The Complexity of SORE-definability Problems. MFCS 2017: 22:1-22:15 - [i11]Yu-Fang Chen, Ondrej Lengál, Tony Tan, Zhilin Wu:
Register automata with linear arithmetic. CoRR abs/1704.03972 (2017) - [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
- [j6]Fu Song, Zhilin Wu:
On temporal logics with data variable quantifications: Decidability and complexity. Inf. Comput. 251: 104-139 (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
A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints. IJCAR 2016: 532-549 - [c20]Yu-Fang Chen
The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach. CAV (2) 2016: 91-111 - [c19]Taolue Chen, Fu Song, Zhilin Wu:
Verifying Pushdown Multi-Agent Systems against Strategy Logics. IJCAI 2016: 180-186 - [c18]Taolue Chen
Formal Reasoning on Infinite Data Values: An Ongoing Quest. SETSS 2016: 195-257 - [c17]Zhilin Wu:
Semipositivity in Separation Logic with Two Variables. SETTA 2016: 179-196 - [i9]Yu-Fang Chen, Lei Song, Zhilin Wu:
The Commutativity Problem of the MapReduce Framework: A Transducer-based Approach. CoRR abs/1605.01497 (2016) - 2015
- [c16]Constantin Enea, Mihaela Sighireanu, Zhilin Wu:
On Automated Lemma Generation for Separation Logic with Inductive Definitions. ATVA 2015: 80-96 - [c15]Taolue Chen
On the Satisfiability of Indexed Linear Temporal Logics. CONCUR 2015: 254-267 - [i8]Constantin Enea, Mihaela Sighireanu, Zhilin Wu:
On Automated Lemma Generation for Separation Logic with Inductive Definitions. CoRR abs/1507.05581 (2015) - 2014
- [j5]Olivier Ly, Zhilin Wu:
On effective construction of the greatest solution of language inequality XA ⊆ BX. Theor. Comput. Sci. 528: 12-31 (2014) - [c14]Fu Song, Zhilin Wu:
Extending Temporal Logics with Data Variable Quantifications. FSTTCS 2014: 253-265 - [i7]Zhilin Wu:
Regular path queries on graphs with data: A rigid approach. CoRR abs/1402.6067 (2014) - 2013
- [c13]Serge Abiteboul, Pierre Bourhis, Anca Muscholl, Zhilin Wu:
Recursive queries on trees and data trees. ICDT 2013: 93-104 - 2012
- [c12]Zhilin Wu:
Commutative Data Automata. CSL 2012: 528-542 - [i6]Jakub Michaliszyn, Anca Muscholl, Slawek Staworko, Piotr Wieczorek, Zhilin Wu:
On Injective Embeddings of Tree Patterns. CoRR abs/1204.4948 (2012) - 2011
- [c11]Zhilin Wu:
A Decidable Extension of Data Automata. GandALF 2011: 116-130 - 2010
- [j4]Zhilin Wu, Stéphane Grumbach:
Feasibility of motion planning on acyclic and strongly connected directed graphs. Discret. Appl. Math. 158(9): 1017-1028 (2010) - [c10]Blaise Genest, Anca Muscholl, Zhilin Wu:
Verifying Recursive Active Documents with Positive Data Tree Rewriting. FSTTCS 2010: 469-480 - [c9]Stéphane Grumbach, Zhilin Wu:
Distributed tree decomposition of graphs and applications to verification. IPDPS Workshops 2010: 1-8 - [i5]Blaise Genest, Anca Muscholl, Zhilin Wu:
Verifying Recursive Active Documents with Positive Data Tree Rewriting. CoRR abs/1003.1010 (2010)
2000 – 2009
- 2009
- [c8]Zhilin Wu, Stéphane Grumbach:
Feasibility of Motion Planning on Directed Graphs. TAMC 2009: 430-439 - [c7]Stéphane Grumbach, Zhilin Wu:
Logical Locality Entails Frugal Distributed Computation over Graphs (Extended Abstract). WG 2009: 154-165 - [i4]Stéphane Grumbach, Zhilin Wu:
On Distributed Model Checking of MSO on Graphs. CoRR abs/0904.1902 (2009) - [i3]Stéphane Grumbach, Zhilin Wu:
Logical locality entails frugal distributed computation over graphs. CoRR abs/0904.1915 (2009) - [i2]Zhilin Wu, Stéphane Grumbach:
Feasibility of Motion Planning on Acyclic and Strongly Connected Directed Graphs. CoRR abs/0904.1920 (2009) - [i1]Stéphane Grumbach, Fang Wang, Zhilin Wu:
On the distributed evaluation of recursive queries over graphs. CoRR abs/0904.3157 (2009) - 2007
- [j3]Zhilin Wu:
A note on the characterization of TL[EF]. Inf. Process. Lett. 102(2-3): 48-54 (2007) - [c6]Zhilin Wu:
On the Expressive Power of QLTL. ICTAC 2007: 467-481 - 2005
- [j2]Zhilin Wu:
Quasi-star-free Languages on Infinite Words. Acta Cybern. 17(1): 75-93 (2005) - [c5]Zhilin Wu, Aggelos K. Katsaggelos
MPEG-4 outer-inner lip FAP interpolation. Electronic Imaging: Image and Video Communications and Processing 2005 - 2004
- [c4]Zhilin Wu, Petar S. Aleksic:
Inner lip feature extraction for MPEG-4 facial animation. ICASSP (3) 2004: 633-636 - [c3]Jin Zhou, Yinglong Ma, Wei Li, Zhilin Wu:
A Formal Framework of UML. Software Engineering Research and Practice 2004: 151-157 - 2002
- [j1]Petar S. Aleksic, Jay J. Williams, Zhilin Wu, Aggelos K. Katsaggelos
Audio-Visual Speech Recognition Using MPEG-4 Compliant Visual Features. EURASIP J. Adv. Signal Process. 2002(11): 1213-1227 (2002) - [c2]Petar S. Aleksic, Jay J. Williams, Zhilin Wu, Aggelos K. Katsaggelos:
Audio-visual continuous speech recognition using MPEG-4 compliant visual features. ICIP (1) 2002: 960-963 - [c1]Zhilin Wu, Petar S. Aleksic, Aggelos K. Katsaggelos
Lip Tracking for MPEG-4 Facial Animation. ICMI 2002: 293-298
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-11-14 00:52 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: