Zhilin Wu - RankMe

88 papers A* 4A 5B 15C 3Misc 5Journal 41Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	A Formally Verified Procedure for Width Inference in FIRRTL. ESOP (2) Keyin Wang, Xiaomu Shi, Jiaxiang Liu, Zhilin Wu, Fu Song, Taolue Chen, David N. Jansen
2026	J	`jnl`	A Formally Verified Procedure for Width Inference in FIRRTL. CoRR Keyin Wang, Xiaomu Shi, Jiaxiang Liu, Zhilin Wu, Taolue Chen, Fu Song, David N. Jansen
2026	J	`jnl`	Can LLM Aid in Solving Constraints with Inductive Definitions? CoRR Weizhi Feng, Shidong Shen, Jiaxiang Liu, Taolue Chen, Fu Song, Zhilin Wu
2026	Misc	`ed.`	Theoretical Aspects of Software Engineering - 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings TASE Philipp Rümmer, Zhilin Wu
2026	J	`jnl`	χ RVFormal: Formal verification of RISC-V processor Chisel designs. J. Syst. Archit. Shidong Shen, Shijie Chen, Yicheng Liu, Lijun Zhang, Fu Song, Zhilin Wu
2025	J	`jnl`	An efficient string solver for string constraints with regex-counting and string-length. J. Syst. Archit. Denghang Hu, Zhilin Wu
2025	A	`conf`	BMCFuzz: Hybrid Verification of Processors by Synergistic Integration of Bound Model Checking and Fuzzing. ICCAD Shidong Shen, Jinyu Liu, Weizhi Feng, Fu Song, Zhilin Wu
2025	J	`jnl`	Decision Procedure for A Theory of String Sequences. CoRR Denghang Hu, Taolue Chen, Philipp Rümmer, Fu Song, Zhilin Wu
2025	B	`conf`	Decision Procedure for a Theory of String Sequences. APLAS Denghang Hu, Taolue Chen, Philipp Rümmer, Fu Song, Zhilin Wu
2025	J	`jnl`	Formalization of Android Activity-Fragment Multitasking Mechanism and Static Analysis of Mobile Apps. Formal Aspects Comput. Jinlong He, Zhilin Wu, Taolue Chen
2025	J	`jnl`	HKSCSO: A Novel Enhanced Sand Cat Swarm Optimization Algorithm for UAV Three-Dimensional Path Planning. Concurr. Comput. Pract. Exp. Kang Wang, Xin Zeng, Sujie Xian, Zhongxin Li, Zhilin Wu
2025	J	`jnl`	Nonlinear Influence of Chamber Pressure on the Asymmetric Dynamic Response of a Rifle Muzzle Under Continuous Firing Conditions. Symmetry Li Chen, Jiayi Xu, Jie Song, Zhilin Wu
2025	J	`jnl`	ODE-DSN: A surrogate model for dynamic stiffness in microscopic RVE problems under nonuniform time-step strain inputs. J. Comput. Des. Eng. Kai Xie, Yongqing Huo, Zhongxin Li, Zhilin Wu
2025	B	`conf`	OSTRICH2: Solver for Complex String Constraints. FMCAD Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
2025	J	`jnl`	OSTRICH2: Solver for Complex String Constraints. CoRR Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
2025	J	`jnl`	Towards Large Language Model-Friendly APls. ACM SIGOPS Oper. Syst. Rev. Yuan Wang, Zhenyuan Yang, Zhanbo Wang, Mingyu Li, Zhilin Wu, Haibo Chen
2024	J	`jnl`	A decision procedure for string constraints with string/integer conversion and flat regular constraints. Acta Informatica Hao Wu, Yu-Fang Chen, Zhilin Wu, Bican Xia, Naijun Zhan
2024	—	`conf`	Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks. FM (2) Huiyu Tan, Xi Yang, Fu Song, Taolue Chen, Zhilin Wu
2024	J	`jnl`	Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions. CoRR Wanyun Su, Zhilin Wu, Mihaela Sighireanu
2024	Misc	`conf`	Formal Verification of RISC-V Processor Chisel Designs. SETTA Shidong Shen, Yicheng Liu, Lijun Zhang, Fu Song, Zhilin Wu
2024	A*	`conf`	Formally Verifying Arithmetic Chisel Designs for All Bit Widths at Once. DAC Weizhi Feng, Yicheng Liu, Jiaxiang Liu, David N. Jansen, Lijun Zhang, Zhilin Wu
2024	J	`jnl`	SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits. IACR Trans. Cryptogr. Hardw. Embed. Syst. Huiyu Tan, Pengfei Gao, Fu Song, Taolue Chen, Zhilin Wu
2024	A	`conf`	Verifying Randomized Consensus Protocols with Common Coins. DSN Song Gao, Bohua Zhan, Zhilin Wu, Lijun Zhang
2024	J	`jnl`	Verifying Randomized Consensus Protocols with Common Coins. CoRR Song Gao, Bohua Zhan, Zhilin Wu, Lijun Zhang
2023	J	`jnl`	SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits. CoRR Huiyu Tan, Pengfei Gao, Taolue Chen, Fu Song, Zhilin Wu
2023	Misc	`conf`	String Constraints with Regex-Counting and String-Length Solved More Efficiently. SETTA Denghang Hu, Zhilin Wu
2022	B	`ed.`	Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings ATVA Ahmed Bouajjani, Lukás Holík, Zhilin Wu
2022	B	`conf`	CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper). SEFM Shizhen Yu, Yifan Dong, Jiuyang Liu, Yong Li, Zhilin Wu, David N. Jansen, Lijun Zhang
2022	J	`jnl`	Solving string constraints with Regex-dependent functions through transducers with priorities and variables. Proc. ACM Program. Lang. Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
2021	B	`conf`	Solving Not-Substring Constraint withFlat Abstraction. APLAS 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
2021	J	`jnl`	Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables. CoRR Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
2020	B	`conf`	A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. ATVA Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
2020	J	`jnl`	A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. CoRR Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
2020	Misc	`conf`	Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata. SETTA Xie Li, Taolue Chen, Zhilin Wu, Mingji Xia
2020	J	`jnl`	Monadic Decomposition in Integer Linear Arithmetic (Technical Report). CoRR Matthew Hague, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
2020	—	`conf`	Monadic Decomposition in Integer Linear Arithmetic. IJCAR (1) Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
2019	B	`conf`	Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps. APLAS Jinlong He, Taolue Chen, Ping Wang, Zhilin Wu, Jun Yan
2019	J	`jnl`	Decision procedures for path feasibility of string-manipulating programs with complex operations. Proc. ACM Program. Lang. Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
2019	—	`conf`	SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) 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
2019	B	`conf`	Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints. SOFSEM Chong Gao, Taolue Chen, Zhilin Wu
2018	—	`conf`	Android Stack Machine. CAV (2) Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu, Jun Yan
2018	J	`jnl`	Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations. CoRR Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
2018	J	`jnl`	Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints. CoRR Chong Gao, Taolue Chen, Zhilin Wu
2018	J	`jnl`	What is decidable about string constraints with the ReplaceAll function. Proc. ACM Program. Lang. Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu
2017	C	`conf`	Model Checking Pushdown Epistemic Game Structures. ICFEM Taolue Chen, Fu Song, Zhilin Wu
2017	A*	`conf`	Register automata with linear arithmetic. LICS Yu-Fang Chen, Ondrej Lengál, Tony Tan, Zhilin Wu
2017	J	`jnl`	Register automata with linear arithmetic. CoRR Yu-Fang Chen, Ondrej Lengál, Tony Tan, Zhilin Wu
2017	A	`conf`	Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints. CADE Zhaowei Xu, Taolue Chen, Zhilin Wu
2017	B	`conf`	The Complexity of SORE-definability Problems. MFCS Ping Lu, Zhilin Wu, Haiming Chen
2017	B	`conf`	Tractability of Separation Logic with Inductive Definitions: Beyond Lists. CONCUR Taolue Chen, Fu Song, Zhilin Wu
2017	J	`jnl`	What Is Decidable about String Constraints with the ReplaceAll Function. CoRR Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu
2016	A	`conf`	A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints. IJCAR Xincai Gu, Taolue Chen, Zhilin Wu
2016	—	`conf`	Formal Reasoning on Infinite Data Values: An Ongoing Quest. SETSS Taolue Chen, Fu Song, Zhilin Wu
2016	A*	`conf`	Global Model Checking on Pushdown Multi-Agent Systems. AAAI Taolue Chen, Fu Song, Zhilin Wu
2016	J	`jnl`	On temporal logics with data variable quantifications: Decidability and complexity. Inf. Comput. Fu Song, Zhilin Wu
2016	Misc	`conf`	Semipositivity in Separation Logic with Two Variables. SETTA Zhilin Wu
2016	—	`conf`	The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach. CAV (2) Yu-Fang Chen, Lei Song, Zhilin Wu
2016	J	`jnl`	The Commutativity Problem of the MapReduce Framework: A Transducer-based Approach. CoRR Yu-Fang Chen, Lei Song, Zhilin Wu
2016	A*	`conf`	Verifying Pushdown Multi-Agent Systems against Strategy Logics. IJCAI Taolue Chen, Fu Song, Zhilin Wu
2015	B	`conf`	On Automated Lemma Generation for Separation Logic with Inductive Definitions. ATVA Constantin Enea, Mihaela Sighireanu, Zhilin Wu
2015	J	`jnl`	On Automated Lemma Generation for Separation Logic with Inductive Definitions. CoRR Constantin Enea, Mihaela Sighireanu, Zhilin Wu
2015	B	`conf`	On the Satisfiability of Indexed Linear Temporal Logics. CONCUR Taolue Chen, Fu Song, Zhilin Wu
2014	—	`conf`	Extending Temporal Logics with Data Variable Quantifications. FSTTCS Fu Song, Zhilin Wu
2014	J	`jnl`	On effective construction of the greatest solution of language inequality XA ⊆ BX. Theor. Comput. Sci. Olivier Ly, Zhilin Wu
2014	J	`jnl`	Regular path queries on graphs with data: A rigid approach. CoRR Zhilin Wu
2013	A	`conf`	Recursive queries on trees and data trees. ICDT Serge Abiteboul, Pierre Bourhis, Anca Muscholl, Zhilin Wu
2012	B	`conf`	Commutative Data Automata. CSL Zhilin Wu
2012	J	`jnl`	On Injective Embeddings of Tree Patterns CoRR Jakub Michaliszyn, Anca Muscholl, Slawek Staworko, Piotr Wieczorek, Zhilin Wu
2011	—	`conf`	A Decidable Extension of Data Automata GandALF Zhilin Wu
2010	—	`conf`	Distributed tree decomposition of graphs and applications to verification. IPDPS Workshops Stéphane Grumbach, Zhilin Wu
2010	J	`jnl`	Feasibility of motion planning on acyclic and strongly connected directed graphs. Discret. Appl. Math. Zhilin Wu, Stéphane Grumbach
2010	J	`jnl`	Verifying Recursive Active Documents with Positive Data Tree Rewriting CoRR Blaise Genest, Anca Muscholl, Zhilin Wu
2010	—	`conf`	Verifying Recursive Active Documents with Positive Data Tree Rewriting. FSTTCS Blaise Genest, Anca Muscholl, Zhilin Wu
2009	J	`jnl`	Feasibility of Motion Planning on Acyclic and Strongly Connected Directed Graphs CoRR Zhilin Wu, Stéphane Grumbach
2009	C	`conf`	Feasibility of Motion Planning on Directed Graphs. TAMC Zhilin Wu, Stéphane Grumbach
2009	B	`conf`	Logical Locality Entails Frugal Distributed Computation over Graphs (Extended Abstract). WG Stéphane Grumbach, Zhilin Wu
2009	J	`jnl`	Logical locality entails frugal distributed computation over graphs CoRR Stéphane Grumbach, Zhilin Wu
2009	J	`jnl`	On Distributed Model Checking of MSO on Graphs CoRR Stéphane Grumbach, Zhilin Wu
2009	J	`jnl`	On the distributed evaluation of recursive queries over graphs CoRR Stéphane Grumbach, Fang Wang, Zhilin Wu
2007	J	`jnl`	A note on the characterization of TL[EF]. Inf. Process. Lett. Zhilin Wu
2007	C	`conf`	On the Expressive Power of QLTL. ICTAC Zhilin Wu
2005	—	`conf`	MPEG-4 outer-inner lip FAP interpolation. Electronic Imaging: Image and Video Communications and Processing Zhilin Wu, Aggelos K. Katsaggelos, Thrasyvoulos N. Pappas
2005	J	`jnl`	Quasi-star-free Languages on Infinite Words. Acta Cybern. Zhilin Wu
2004	—	`conf`	A Formal Framework of UML. Software Engineering Research and Practice Jin Zhou, Yinglong Ma, Wei Li, Zhilin Wu
2004	—	`conf`	Inner lip feature extraction for MPEG-4 facial animation. ICASSP (3) Zhilin Wu, Petar S. Aleksic
2002	J	`jnl`	Audio-Visual Speech Recognition Using MPEG-4 Compliant Visual Features. EURASIP J. Adv. Signal Process. Petar S. Aleksic, Jay J. Williams, Zhilin Wu, Aggelos K. Katsaggelos
2002	—	`conf`	Audio-visual continuous speech recognition using MPEG-4 compliant visual features. ICIP (1) Petar S. Aleksic, Jay J. Williams, Zhilin Wu, Aggelos K. Katsaggelos
2002	B	`conf`	Lip Tracking for MPEG-4 Facial Animation. ICMI Zhilin Wu, Petar S. Aleksic, Aggelos K. Katsaggelos