Xueyang Zhu

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Optimal Scheduling

Alternating Time Temporal Logic

Top Venues

计算机科学

Publications

Yu-Lei Gu, Xueyang Zhu, Rongjie Yan, Guangquan Zhang
基于异构多核平台的同步数据流图帕累托优化与调度 (Pareto Optimization and Scheduling of Synchronous Dataflow Graphs on Heterogeneous Multicore Platform). 计算机科学 42 (11) (2015)
Yesheng Chai, Xueyang Zhu, Rongjie Yan, Guangquan Zhang
基于MARTE模型的系统可靠性预测 (MARTE Models Based System Reliability Prediction). 计算机科学 42 (12) (2015)
Yu-Lei Gu, Xueyang Zhu, Guangquan Zhang
Pareto Optimal Scheduling of Synchronous Data Flow Graphs via Parallel Methods. SETTA (2015)
Xueyang Zhu, Rongjie Yan, Yu-Lei Gu, Jian Zhang, Wenhui Zhang, Guangquan Zhang
Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking. FM (2015)
Gaogao Yan, Xueyang Zhu, Rongjie Yan, Guangyuan Li
Formal Throughput and Response Time Analysis of MARTE Models. ICFEM (2014)
Guangquan Zhang, Kan Zhang, Xueyang Zhu, Mingcai Chen, Chengkai Xu, Yuzhen Shao
Modeling and Analyzing Method for CPS Software Architecture Energy Consumption. J. Softw. 8 (11) (2013)
Guangquan Zhang, Mei Rong, Yali He, Xueyang Zhu, Rongjie Yan
A Refinement Checking Method of Web Services Composition. SOSE (2010)
Jian Zhang, Wenhui Zhang, Naijun Zhan, Yi-Dong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu
Basic research in computer science and software engineering at SKLCS. Frontiers Comput. Sci. China 2 (1) (2008)