基本信息


朱雪阳  女    中国科学院软件研究所
电子邮件: zxy[at]ios.ac.cn
通信地址: 北京中关村南四街4号
邮政编码: 100190


http://lcs.ios.ac.cn/~zxy/

部门/实验室:计算机科学国家重点实验室

研究领域

嵌入式系统设计,形式化方法

招生信息

软件工程 (083500)

计算机软件与理论(081202)



招生方向
嵌入式系统设计,形式化方法

出版信息

   
论文论著

Journal Publications


1.        Xue-Yang Zhu. A Model-Based Performance Analysis Framework for Embedded Systems. Journal of Software, 2016, 27(Suppl.(2)):328−335 (in Chinese with English abstract). (pdf)

2.        Xue-Yang Zhu, Marc Geilen, Twan Basten, and Sander Stuijk. Multi-Constraint Static Scheduling of Synchronous Dataflow Graphs via Retiming and Unfolding. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems. 2016, 35(6): 905-918,. (pdf, doi).

3.        Xue-Yang Zhu, Twan Basten, Marc Geilen, and Sander Stuijk. Efficient Retiming of Multirate DSP Algorithms. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, 2012, 31(6): 831-844. (pdf, doi).

4.        Jian Zhang, Wenhui Zhang, Naijun Zhan, Yidong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu. Basic research in computer science and software engineering at SKLCS. Frontiers of Computer Science in China. 2008, 2(1):1-11. (pdf, doi)

5.        Xueyang Zhu. The Dual Software Architecture Description Framework XYZ/ADL. Computer Research and Development, 2007, 44(9): 1485-1494. (in Chinese with English abstract) (pdf)

6.        Xue-Yang Zhu, and Zhi-Song Tang. Compositional Semantics and Refinement of Statecharts. Journal of Software, 2006, 17(4): 670-681. (in Chinese with English abstract) (pdf)

7.        Xue-Yang Zhu, and Zhi-Song Tang. A temporal logic semantics for UML activity diagrams. Journal of Computer Research and Development, 2005, 42(9): 1478-1484. (in Chinese with English abstract) (pdf)

8.        Xue-Yang Zhu, and Zhi-Song Tang. A temporal logic-based software architecture description language XYZ/ADL. Journal of Software, 2003, 14(4): 713-720. (in Chinese with English abstract) (pdf)


Conference Publications

9.        Yu-Lei Gu, Xue-Yang Zhu, Guangquan Zhang, Yifan He. Pareto Optimal Scheduling for Synchronous Data Flow Graphs on Heterogeneous Multiprocessor. In Proc. Of the 21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016). Dubai, UAE, 6-8 Nov., 2016. (pdf, doi)

10.    Yu-Lei Gu, Xue-Yang Zhu and Guangquan Zhang. Pareto Optimal  Scheduling of Synchronous Data Flow Graphs via Parallel Methods. In Proc. Of the 1st International Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2015). Nanjing, China, 4-6 Nov., 2015. LNCS, vol. 9409, pp.217-223. (pdf, doi)

11.    Xue-Yang Zhu, Rongjie Yan, Yu-Lei Gu, Jian Zhang, Wenhui Zhang and Guangquan Zhang. Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking. In Proc. Of the 20th International Symposium on Formal Methods (FM 2015). Oslo, Norway, 24-26 June, 2015.  LNCS, vol. 9109, pp. 551–569, 2015. (pdf, doi)

12.    Yu-Lei Gu, Xue-Yang Zhu, Rongjie Yan and Guangquan Zhang. Pareto Optimization and Scheduling of Synchronous Dataflow Graphs on a Heterogeneous Multicore Platform. 10th National Annual Conference on High Performance Computing  (HPC China 2014). Guangzhou, China. 6-8 Nov., 2014.  (in Chinese with English abstract)

13.    Yesheng Chai, Xue-Yang Zhu, Rongjie Yan, and Guangquan Zhang. MARTE Models based System Reliability Prediction. 13th National Software Application Conference (NASAC 2014). Guilin, China, 7-9, Nov., 2014. (in Chinese with English abstract)

14.    Gaogao Yan, Xue-Yang Zhu, Rongjie Yan, and Guangyuan Li. Formal Throughput and Response Time Analysis of MARTE Models. In Proc. of the 16th  International Conference on Formal Engineering Methods (ICFEM 2014), LNCS, vol. 8829, pages 430-445, Luxembourg, 3-7 November, 2014. (pdf, doi)

15.    Xue-Yang Zhu, Marc Geilen,  Twan Basten,  and Sander Stuijk. Memory-Constrained Static Rate-Optimal Scheduling of Synchronous Dataflow Graphs via Retiming. In Proc. Of the 17th Design, Automation and Test in Europe (DATE2014), Dresden, Germany, 24-28 March, 2014. (pdf, doi)

16.    Xue-Yang Zhu,Marc Geilen,  Twan Basten,  and Sander Stuijk. Static Rate-Optimal Scheduling of Multirate DSP Algorithms via Retiming and Unfolding. In Proc. Of the 18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2012, part of CPS Week 2012), pages 109-118. Beijing, China, 16-19 April 2012. (pdf, doi)

17.    Xue-Yang Zhu. Retiming Multi-Rate DSP Algorithms to Meet Real-Time Requirement, In Proc. Of the 13th Design, Automation and Test in Europe (DATE 2010), pages 1785 - 1790. Dresden, Germany, 8-12 March, 2010. (pdf, doi)


Book Chapters


18.    Xue-Yang Zhu, Wenhui Zhang, Guangyuan Li, Yi Lv, and Huimin Lin. Report on Advances in Model Checking. Report on Advances in Computer Science and Technology (2011-2012). ISBN:9787504660206, China Science and Technology Press, 2012.  PP169-186. (in Chinese with English abstract) (pdf)

科研活动

科研项目

( 1 ) 同步数据流模型优化研究, 主持, 自然科学基金面上项目, 2016-01--2019-12
( 2 ) 度量区间时序逻辑MITL的模型检测与控制器合成, 参与, 自然科学基金面上项目, 2015-01--2018-12
( 3 ) 动态数据结构的形状性质与数据约束:基于分离逻辑的自动分析与验证, 参与, 自然科学基金面上项目, 2015-01--2018-12