Xue-Yang Zhu

According to our database, Xue-Yang Zhu authored at least 28 papers between 2008 and 2024.

Collaborative distances:

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

2024

Template-Based Smart Contract Verification: A Case Study on Maritime Transportation Domain.

Xufeng Zhao, Qiuyang Wei, Xue-Yang Zhu, Wenhui Zhang

Proceedings of the Engineering of Complex Computer Systems - 28th International Conference, 2024

2023

A Smart Contract Development Framework for Maritime Transportation Systems.

Xufeng Zhao, Qiuyang Wei, Xue-Yang Zhu, Wenhui Zhang

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Formal Analysis of IBC Protocol.

Qiuyang Wei, Xufeng Zhao, Xue-Yang Zhu, Wenhui Zhang

Proceedings of the 31st IEEE International Conference on Network Protocols, 2023

2022

Optimal Offloading for Streaming Applications in Mobile Edge Computing.

Pengfei Sun, Xue-Yang Zhu, Ya Gao

J. Circuits Syst. Comput., 2022

On Verification of Smart Contracts via Model Checking.

Yulong Bao, Xue-Yang Zhu, Wenhui Zhang, Wuwei Shen, Pengfei Sun, Yingqi Zhao

Proceedings of the Theoretical Aspects of Software Engineering, 2022

Security Risk Management of the Internet of Things Based on 5G Technology.

Wei Cao, Yang Hu, Shuang Yang, Xue-Yang Zhu, Jia Yu

Proceedings of the Big Data and Security - 4th International Conference, 2022

2021

VERDS: Modeling and Verification of Finite State Systems with Discrete Time Models by Symbolic Techniques.

Wenhui Zhang, Xue-Yang Zhu, Yulong Bao

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Multi-Agent Automata and Its Application to LDLK Satisfiability Checking.

Ya Gao, Wenhui Zhang, Xue-Yang Zhu

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2019

Efficient Retiming of Unfolded Synchronous Dataflow Graphs.

Xue-Yang Zhu

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2018

Efficient Algorithm for the Iteration Period Computation of Unfolded Synchronous Dataflow Graphs.

Xue-Yang Zhu

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

Equivalence of transformations of synchronous data flow graphs: work-in-progress.

Xue-Yang Zhu

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2018

2017

A Unified Framework for Throughput Analysis of Streaming Applications under Memory Constraints.

Xue-Yang Zhu

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

A unified framework for throughput analysis of synchronous data flow graphs under memory constraints: work-in-progress.

Xue-Yang Zhu

Proceedings of the Twelfth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Companion, 2017

2016

Multiconstraint Static Scheduling of Synchronous Dataflow Graphs Via Retiming and Unfolding.

Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

Analyzing GUI running fluency for Android apps.

Tian Huang, Zhenyu Zhang, Xue-Yang Zhu

Proceedings of the 3rd ACM Workshop on Mobile Sensing, Computing and Communication, 2016

Pareto Optimal Scheduling for Synchronous Data Flow Graphs on Heterogeneous Multiprocessor.

Yu-Lei Gu, Xue-Yang Zhu, Guangquan Zhang, Yifan He

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

2015

基于异构多核平台的同步数据流图帕累托优化与调度 (Pareto Optimization and Scheduling of Synchronous Dataflow Graphs on Heterogeneous Multicore Platform).

Yu-Lei Gu, Xueyang Zhu, Rongjie Yan, Guangquan Zhang

计算机科学, 2015

基于MARTE模型的系统可靠性预测 (MARTE Models Based System Reliability Prediction).

Yesheng Chai, Xueyang Zhu, Rongjie Yan, Guangquan Zhang

计算机科学, 2015

Pareto Optimal Scheduling of Synchronous Data Flow Graphs via Parallel Methods.

Yu-Lei Gu, Xueyang Zhu, Guangquan Zhang

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

Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking.

Xueyang Zhu, Rongjie Yan, Yu-Lei Gu, Jian Zhang, Wenhui Zhang, Guangquan Zhang

Proceedings of the FM 2015: Formal Methods, 2015

2014

Formal Throughput and Response Time Analysis of MARTE Models.

Gaogao Yan, Xueyang Zhu, Rongjie Yan, Guangyuan Li

Proceedings of the Formal Methods and Software Engineering, 2014

Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming.

Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013

Modeling and Analyzing Method for CPS Software Architecture Energy Consumption.

Guangquan Zhang, Kan Zhang, Xueyang Zhu, Mingcai Chen, Chengkai Xu, Yuzhen Shao

J. Softw., 2013

2012

Efficient Retiming of Multirate DSP Algorithms.

Xue-Yang Zhu, Twan Basten, Marc Geilen, Sander Stuijk

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012

Static Rate-Optimal Scheduling of Multirate DSP Algorithms via Retiming and Unfolding.

Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk

Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

2010

A Refinement Checking Method of Web Services Composition.

Guangquan Zhang, Mei Rong, Yali He, Xueyang Zhu, Rongjie Yan

Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

Retiming multi-rate DSP algorithms to meet real-time requirement.

Xue-Yang Zhu

Proceedings of the Design, Automation and Test in Europe, 2010

2008

Basic research in computer science and software engineering at SKLCS.

Jian Zhang, Wenhui Zhang, Naijun Zhan, Yi-Dong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu

Frontiers Comput. Sci. China, 2008