Xue-Yang Zhu

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