| 2025 | ICFEM | Formalizing Requirements into Dafny Specifications with LLMs. | Yi-Han Lu, Xue-Yang Zhu, Wenhui Zhang, Rongjie Yan |
| 2024 | ICECCS | Template-Based Smart Contract Verification: A Case Study on Maritime Transportation Domain. | Xufeng Zhao, Qiuyang Wei, Xue-Yang Zhu, Wenhui Zhang |
| 2023 | ICNP | Formal Analysis of IBC Protocol. | Qiuyang Wei, Xufeng Zhao, Xue-Yang Zhu, Wenhui Zhang |
| 2023 | QRS | A Smart Contract Development Framework for Maritime Transportation Systems. | Xufeng Zhao, Qiuyang Wei, Xue-Yang Zhu, Wenhui Zhang |
| 2022 | TASE | On Verification of Smart Contracts via Model Checking. | Yulong Bao, Xue-Yang Zhu, Wenhui Zhang, Wuwei Shen, Pengfei Sun, Yingqi Zhao |
| 2021 | QRS | Multi-Agent Automata and Its Application to LDLK Satisfiability Checking. | Ya Gao, Wenhui Zhang, Xue-Yang Zhu |
| 2021 | TASE | VERDS: Modeling and Verification of Finite State Systems with Discrete Time Models by Symbolic Techniques. | Wenhui Zhang, Xue-Yang Zhu, Yulong Bao |
| 2019 | ICECCS | Efficient Retiming of Unfolded Synchronous Dataflow Graphs. | Xue-Yang Zhu |
| 2018 | TASE | Efficient Algorithm for the Iteration Period Computation of Unfolded Synchronous Dataflow Graphs. | Xue-Yang Zhu |
| 2017 | ICECCS | A Unified Framework for Throughput Analysis of Streaming Applications under Memory Constraints. | Xue-Yang Zhu |
| 2016 | ICECCS | Pareto Optimal Scheduling for Synchronous Data Flow Graphs on Heterogeneous Multiprocessor. | Yu-Lei Gu, Xue-Yang Zhu, Guangquan Zhang, Yifan He |
| 2016 | MOBIHOC | Analyzing GUI running fluency for Android apps. | Tian Huang, Zhenyu Zhang, Xue-Yang Zhu |
| 2014 | DATE | Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming. | Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk |
| 2012 | RTAS | Static Rate-Optimal Scheduling of Multirate DSP Algorithms via Retiming and Unfolding. | Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk |
| 2010 | DATE | Retiming multi-rate DSP algorithms to meet real-time requirement. | Xue-Yang Zhu |