Zhilin Wu

According to our database, Zhilin Wu authored at least 59 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A decision procedure for string constraints with string/integer conversion and flat regular constraints.

Hao Wu, Yu-Fang Chen, Zhilin Wu, Bican Xia, Naijun Zhan

Acta Informatica, March, 2024

SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits.

Huiyu Tan, Pengfei Gao, Fu Song, Taolue Chen, Zhilin Wu

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions.

Wanyun Su, Zhilin Wu, Mihaela Sighireanu

CoRR, 2024

Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks.

Huiyu Tan, Xi Yang, Fu Song, Taolue Chen, Zhilin Wu

Proceedings of the Formal Methods - 26th International Symposium, 2024

Verifying Randomized Consensus Protocols with Common Coins.

Song Gao, Bohua Zhan, Zhilin Wu, Lijun Zhang

Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024

Formally Verifying Arithmetic Chisel Designs for All Bit Widths at Once.

Weizhi Feng, Yicheng Liu, Jiaxiang Liu, David N. Jansen, Lijun Zhang, Zhilin Wu

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2023

SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits.

Huiyu Tan, Pengfei Gao, Taolue Chen, Fu Song, Zhilin Wu

CoRR, 2023

String Constraints with Regex-Counting and String-Length Solved More Efficiently.

Denghang Hu, Zhilin Wu

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

2022

Solving string constraints with Regex-dependent functions through transducers with priorities and variables.

Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu

Proc. ACM Program. Lang., 2022

CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper).

Shizhen Yu, Yifan Dong, Jiuyang Liu, Yong Li, Zhilin Wu, David N. Jansen, Lijun Zhang

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

2021

Solving Not-Substring Constraint withFlat Abstraction.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Denghang Hu, Wei-Lun Tsai, Zhilin Wu, Di-De Yen

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020

Monadic Decomposition in Integer Linear Arithmetic (Technical Report).

Matthew Hague, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu

CoRR, 2020

Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata.

Xie Li, Taolue Chen, Zhilin Wu, Mingji Xia

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

Monadic Decomposition in Integer Linear Arithmetic.

Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type.

Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Decision procedures for path feasibility of string-manipulating programs with complex operations.

Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu

Proc. ACM Program. Lang., 2019

SL-COMP: Competition of Solvers for Separation Logic.

Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu

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

Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints.

Chong Gao, Taolue Chen, Zhilin Wu

Proceedings of the SOFSEM 2019: Theory and Practice of Computer Science, 2019

Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps.

Jinlong He, Taolue Chen, Ping Wang, Zhilin Wu, Jun Yan

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

What is decidable about string constraints with the ReplaceAll function.

Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu

Proc. ACM Program. Lang., 2018

Android Stack Machine.

Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu, Jun Yan

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

The Complexity of SORE-definability Problems.

Ping Lu, Zhilin Wu, Haiming Chen

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

Register automata with linear arithmetic.

Yu-Fang Chen, Ondrej Lengál, Tony Tan, Zhilin Wu

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Model Checking Pushdown Epistemic Game Structures.

Taolue Chen, Fu Song, Zhilin Wu

Proceedings of the Formal Methods and Software Engineering, 2017

Tractability of Separation Logic with Inductive Definitions: Beyond Lists.

Taolue Chen, Fu Song, Zhilin Wu

Proceedings of the 28th International Conference on Concurrency Theory, 2017

Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints.

Zhaowei Xu, Taolue Chen, Zhilin Wu

Proceedings of the Automated Deduction - CADE 26, 2017

2016

On temporal logics with data variable quantifications: Decidability and complexity.

Fu Song, Zhilin Wu

Inf. Comput., 2016

Semipositivity in Separation Logic with Two Variables.

Zhilin Wu

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

Formal Reasoning on Infinite Data Values: An Ongoing Quest.

Taolue Chen, Fu Song, Zhilin Wu

Proceedings of the Engineering Trustworthy Software Systems - Second International School, 2016

Verifying Pushdown Multi-Agent Systems against Strategy Logics.

Taolue Chen, Fu Song, Zhilin Wu

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach.

Yu-Fang Chen, Lei Song, Zhilin Wu

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints.

Xincai Gu, Taolue Chen, Zhilin Wu

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

Global Model Checking on Pushdown Multi-Agent Systems.

Taolue Chen, Fu Song, Zhilin Wu

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

On the Satisfiability of Indexed Linear Temporal Logics.

Taolue Chen, Fu Song, Zhilin Wu

Proceedings of the 26th International Conference on Concurrency Theory, 2015

On Automated Lemma Generation for Separation Logic with Inductive Definitions.

Constantin Enea, Mihaela Sighireanu, Zhilin Wu

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

On effective construction of the greatest solution of language inequality XA ⊆ BX.

Olivier Ly, Zhilin Wu

Theor. Comput. Sci., 2014

Regular path queries on graphs with data: A rigid approach.

Zhilin Wu

CoRR, 2014

Extending Temporal Logics with Data Variable Quantifications.

Fu Song, Zhilin Wu

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

2013

Recursive queries on trees and data trees.

Serge Abiteboul, Pierre Bourhis, Anca Muscholl, Zhilin Wu

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

2012

On Injective Embeddings of Tree Patterns

Jakub Michaliszyn, Anca Muscholl, Slawek Staworko, Piotr Wieczorek, Zhilin Wu

CoRR, 2012

Commutative Data Automata.

Zhilin Wu

Proceedings of the Computer Science Logic (CSL'12), 2012

2011

A Decidable Extension of Data Automata

Zhilin Wu

Proceedings of Second International Symposium on Games, 2011

2010

Feasibility of motion planning on acyclic and strongly connected directed graphs.

Zhilin Wu, Stéphane Grumbach

Discret. Appl. Math., 2010

Distributed tree decomposition of graphs and applications to verification.

Stéphane Grumbach, Zhilin Wu

Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

Verifying Recursive Active Documents with Positive Data Tree Rewriting.

Blaise Genest, Anca Muscholl, Zhilin Wu

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

2009

On the distributed evaluation of recursive queries over graphs

Stéphane Grumbach, Fang Wang, Zhilin Wu

CoRR, 2009

Logical locality entails frugal distributed computation over graphs

Stéphane Grumbach, Zhilin Wu

CoRR, 2009

On Distributed Model Checking of MSO on Graphs

Stéphane Grumbach, Zhilin Wu

CoRR, 2009

Logical Locality Entails Frugal Distributed Computation over Graphs (Extended Abstract).

Stéphane Grumbach, Zhilin Wu

Proceedings of the Graph-Theoretic Concepts in Computer Science, 2009

Feasibility of Motion Planning on Directed Graphs.

Zhilin Wu, Stéphane Grumbach

Proceedings of the Theory and Applications of Models of Computation, 6th Annual Conference, 2009

2007

A note on the characterization of TL[EF].

Zhilin Wu

Inf. Process. Lett., 2007

On the Expressive Power of QLTL.

Zhilin Wu

Proceedings of the Theoretical Aspects of Computing, 2007

2005

Quasi-star-free Languages on Infinite Words.

Zhilin Wu

Acta Cybern., 2005

MPEG-4 outer-inner lip FAP interpolation.

Zhilin Wu, Aggelos K. Katsaggelos, Thrasyvoulos N. Pappas

Proceedings of the Electronic Imaging: Image and Video Communications and Processing 2005, 2005

2004

A Formal Framework of UML.

Jin Zhou, Yinglong Ma, Wei Li, Zhilin Wu

Proceedings of the International Conference on Software Engineering Research and Practice, 2004

Inner lip feature extraction for MPEG-4 facial animation.

Zhilin Wu, Petar S. Aleksic

Proceedings of the 2004 IEEE International Conference on Acoustics, 2004

2002

Audio-Visual Speech Recognition Using MPEG-4 Compliant Visual Features.

Petar S. Aleksic, Jay J. Williams, Zhilin Wu, Aggelos K. Katsaggelos

EURASIP J. Adv. Signal Process., 2002

Lip Tracking for MPEG-4 Facial Animation.

Zhilin Wu, Petar S. Aleksic, Aggelos K. Katsaggelos

Proceedings of the 4th IEEE International Conference on Multimodal Interfaces (ICMI 2002), 2002

Audio-visual continuous speech recognition using MPEG-4 compliant visual features.

Petar S. Aleksic, Jay J. Williams, Zhilin Wu, Aggelos K. Katsaggelos

Proceedings of the 2002 International Conference on Image Processing, 2002