Follow
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
朱雪阳, 唐稚松
Journal of Software 14 (4), 713-720, 2003
68*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
322012
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
232015
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
232012
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
162014
UML 活动图的时序逻辑语义
朱雪阳, 唐稚松
计算机研究与发展 42 (9), 1478-1484, 2005
162005
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
152015
Compositional Semantics and Refinement of Statecharts [J]
ZHU Xue-Yang, T Zhi-Song
Journal of Software 4 (17), 670-681, 2006
10*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
Modeling and Analyzing Method for CPS Software Architecture Energy Consumption.
G Zhang, K Zhang, X Zhu, M Chen, C Xu, Y Shao
J. Softw. 8 (11), 2974-2981, 2013
82013
Formal throughput and response time analysis of MARTE models
G Yan, XY Zhu, R Yan, G Li
Formal Methods and Software Engineering: 16th International Conference on …, 2014
72014
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
52016
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
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
32016
软件体系结构形式描述研究
朱雪阳
北京: 中国科学院软件研究所, 2005
32005
On verification of smart contracts via model checking
Y Bao, XY Zhu, W Zhang, W Shen, P Sun, Y Zhao
International Symposium on Theoretical Aspects of Software Engineering, 92-112, 2022
22022
Optimal offloading for streaming applications in mobile edge computing
P Sun, XY Zhu, Y Gao
Journal of Circuits, Systems and Computers 31 (06), 2250102, 2022
22022
VERDS: Modeling and Verification of Finite State Systems with Discrete Time Models by Symbolic Techniques
W Zhang, XY Zhu, YL Bao
2021 International Symposium on Theoretical Aspects of Software Engineering …, 2021
12021
Efficient Retiming of Unfolded Synchronous Dataflow Graphs
XY Zhu
2019 24th International Conference on Engineering of Complex Computer …, 2019
12019
Work-in-progress: equivalence of transformations of synchronous data flow graphs
XY Zhu
2018 International Conference on Hardware/Software Codesign and System …, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–20