Xue-Yang Zhu

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 15

Top Topics

Graph Transformation

Formal Analysis

Optimal Scheduling

Top Venues

Publications

Qiuyang Wei, Xufeng Zhao, Xue-Yang Zhu, Wenhui Zhang
Formal Analysis of IBC Protocol. ICNP (2023)
Xufeng Zhao, Qiuyang Wei, Xue-Yang Zhu, Wenhui Zhang
A Smart Contract Development Framework for Maritime Transportation Systems. QRS Companion (2023)
Yulong Bao, Xue-Yang Zhu, Wenhui Zhang, Wuwei Shen, Pengfei Sun, Yingqi Zhao
On Verification of Smart Contracts via Model Checking. TASE (2022)
Wei Cao, Yang Hu, Shuang Yang, Xue-Yang Zhu, Jia Yu
Security Risk Management of the Internet of Things Based on 5G Technology. ICBDS (2022)
Pengfei Sun, Xue-Yang Zhu, Ya Gao
Optimal Offloading for Streaming Applications in Mobile Edge Computing. J. Circuits Syst. Comput. 31 (6) (2022)
Ya Gao, Wenhui Zhang, Xue-Yang Zhu
Multi-Agent Automata and Its Application to LDLK Satisfiability Checking. QRS (2021)
Wenhui Zhang, Xue-Yang Zhu, Yulong Bao
VERDS: Modeling and Verification of Finite State Systems with Discrete Time Models by Symbolic Techniques. TASE (2021)
Xue-Yang Zhu
Efficient Retiming of Unfolded Synchronous Dataflow Graphs. ICECCS (2019)
Xue-Yang Zhu
Efficient Algorithm for the Iteration Period Computation of Unfolded Synchronous Dataflow Graphs. TASE (2018)
Xue-Yang Zhu
Equivalence of transformations of synchronous data flow graphs: work-in-progress. CODES+ISSS (2018)
Xue-Yang Zhu
A unified framework for throughput analysis of synchronous data flow graphs under memory constraints: work-in-progress. CODES+ISSS (2017)
Xue-Yang Zhu
A Unified Framework for Throughput Analysis of Streaming Applications under Memory Constraints. ICECCS (2017)
Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk
Multiconstraint Static Scheduling of Synchronous Dataflow Graphs Via Retiming and Unfolding. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35 (6) (2016)
Tian Huang, Zhenyu Zhang, Xue-Yang Zhu
Analyzing GUI running fluency for Android apps. MSCC@MobiHoc (2016)
Yu-Lei Gu, Xue-Yang Zhu, Guangquan Zhang, Yifan He
Pareto Optimal Scheduling for Synchronous Data Flow Graphs on Heterogeneous Multiprocessor. ICECCS (2016)
Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk
Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming. DATE (2014)
Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk
Static Rate-Optimal Scheduling of Multirate DSP Algorithms via Retiming and Unfolding. IEEE Real-Time and Embedded Technology and Applications Symposium (2012)
Xue-Yang Zhu, Twan Basten, Marc Geilen, Sander Stuijk
Efficient Retiming of Multirate DSP Algorithms. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31 (6) (2012)
Xue-Yang Zhu
Retiming multi-rate DSP algorithms to meet real-time requirement. DATE (2010)