Xue-yang Zhu
Xue-yang Zhu
State Key Laboratray of Computer Science, Institute of Softeware, Chinese Academy of Sciences
Verified email at ios.ac.cn
Title
Cited by
Cited by
Year
A temporal logic-based software architecture description language XYZ/ADL
ZHU Xue-Yang, T Zhi-Song
88*2003
Efficient retiming of multirate DSP algorithms
XY Zhu, T Basten, M Geilen, S Stuijk
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2012
272012
Static rate-optimal scheduling of multirate DSP algorithms via retiming and unfolding
XY Zhu, M Geilen, T Basten, S Stuijk
2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium …, 2012
212012
A temporal logic semantics for UML activity diagrams
X Zhu, ZS Tang
Journal of Computer Research and Development 42 (9), 1478-1484, 2005
19*2005
Multiconstraint static scheduling of synchronous dataflow graphs via retiming and unfolding
XY Zhu, M Geilen, T Basten, S Stuijk
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2015
182015
Memory-Constrained Static Rate-Optimal Scheduling of Synchronous Dataflow Graphs via Retiming
XY Zhu, M Geilen, T Basten, S Stuijk
17th Design, Automation and Test in Europe, DATE2014, 2014
152014
Static optimal scheduling for synchronous data flow graphs with model checking
XY Zhu, R Yan, YL Gu, J Zhang, W Zhang, G Zhang
International Symposium on Formal Methods, 551-569, 2015
112015
Compositional Semantics and Refinement of Statecharts [J]
XY ZHU, ZS TANG
Journal of Software 4 (17), 670-681, 2006
11*2006
Retiming multi-rate DSP algorithms to meet real-time requirement
XY Zhu
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010
92010
Formal throughput and response time analysis of MARTE models
G Yan, XY Zhu, R Yan, G Li
International Conference on Formal Engineering Methods, 430-445, 2014
72014
Modeling and analyzing method for cps software architecture energy consumption
G Zhang, K Zhang, X Zhu, M Chen, C Xu, Y Shao
Journal of Software 8 (11), 2974-2981, 2013
62013
The Dual Software Architecture Description Framework XYZ/ADL
X Zhu
Jisuanji Yanjiu yu Fazhan(Computer Research and Development) 44 (9), 1485-1494, 2007
4*2007
Pareto optimal scheduling for synchronous data flow graphs on heterogeneous multiprocessor
YL Gu, XY Zhu, G Zhang, Y He
2016 21st International Conference on Engineering of Complex Computer …, 2016
32016
软件体系结构形式描述研究
朱雪阳
中国科学院研究生院 (软件研究所), 2005
32005
Work-in-progress: equivalence of transformations of synchronous data flow graphs
XY Zhu
2018 International Conference on Hardware/Software Codesign and System …, 2018
22018
Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
S Merz, J Pang
Springer, 2014
22014
Equivalence of transformations of synchronous data flow graphs: Work-in-progress
XY Zhu
Proceedings of the International Conference on Hardware/Software Codesign …, 2018
12018
Analyzing GUI running fluency for android apps
T Huang, Z Zhang, XY Zhu
Proceedings of the 3rd ACM Workshop on Mobile Sensing, Computing and …, 2016
12016
Pareto optimal scheduling of synchronous data flow graphs via parallel methods
YL Gu, XY Zhu, G Zhang
International Symposium on Dependable Software Engineering: Theories, Tools …, 2015
12015
Static Optimal Scheduling and Mapping of Synchronous Dataflow Graphs on a Heterogeneous Multiprocessor Platform with Model Checking
XY Zhu, R Yan, YL Gu, G Zhang
12014
The system can't perform the operation now. Try again later.
Articles 1–20