| A temporal logic-based software architecture description language XYZ/ADL XY Zhu, ZS Tang 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 | 32 | 2012 |
| 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 | 25 | 2015 |
| 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 | 24 | 2012 |
| 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 | 16 | 2014 |
| UML 活动图的时序逻辑语义 朱雪阳， 唐稚松 计算机研究与发展 42 (9), 1478-1484, 2005 | 16 | 2005 |
| 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 | 14 | 2015 |
| Compositional Semantics and Refinement of Statecharts [J] ZHU Xue-Yang, T Zhi-Song 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 | 9 | 2010 |
| 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 | 8 | 2013 |
| 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 | 7 | 2014 |
| 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 | 5 | 2016 |
| 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 | 4 | 2022 |
| 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 |
| 软件体系结构形式描述研究 朱雪阳 北京: 中国科学院软件研究所, 2005 | 4 | 2005 |
| 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 | 3 | 2016 |
| A smart contract development framework for maritime transportation systems X Zhao, Q Wei, XY Zhu, W Zhang 2023 IEEE 23rd International Conference on Software Quality, Reliability …, 2023 | 2 | 2023 |
| Formal analysis of ibc protocol Q Wei, X Zhao, XY Zhu, W Zhang 2023 IEEE 31st International Conference on Network Protocols (ICNP), 1-11, 2023 | 2 | 2023 |
| 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 | 2 | 2022 |
| Work-in-progress: equivalence of transformations of synchronous data flow graphs XY Zhu 2018 International Conference on Hardware/Software Codesign and System …, 2018 | 2 | 2018 |
Sander StuijkAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl
