基本信息
朱雪阳  女  硕导  中国科学院软件研究所
电子邮件: zxy@ios.ac.cn
通信地址: 北京中关村南四街4号
邮政编码:

研究领域

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

招生信息

软件工程 (083500)

计算机软件与理论(081202)



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

出版信息

   
论文论著

Journal Publications

1.        Jian Liu, Purui Su, Min Yang, Liang He, Yuan Zhang, Xue-Yang Zhu, Huimin Lin. Software and Cyber Security-A Survey. Ruan Jian Xue Bao/Journal of Software, 2018, 29(1):42-68. (in Chinese with English abstract) (pdf, doi)

2.        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)

3.        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).

4.        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).

5.        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)

6.        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)

7.        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)

8.        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)

9.        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

10.    Xue-Yang Zhu. Efficient Retiming of Unfolded Synchronous Dataflow Graphs. In Proc. Of the 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019). Guangzhou, China. 10-13 Nov. 2019, pp. 134-143. (pdf, doi)

11.    Xue-Yang Zhu. Equivalence of Transformations of Synchronous Data Flow Graphs: Work-in-Progress. In Proc. of the 23th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Companion (CODES/ISSS ’18 Companion, part of ESWEEK 2018), Torino, Italy, Sept. 30 -October 5, 2018. Article No.11. (pdf, doi, poster)

12.    Xue-Yang Zhu. Efficient Algorithm for the Iteration Period Computation of Unfolded Synchronous Dataflow Graphs. In Proc. of the 12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018). Guangzhou, China, August 29-31, 2018. Pp.36-43. (pdf, doi)

13.    Xue-Yang Zhu. A Unified Framework for Throughput Analysis of Streaming Applications under Memory Constraints. In Proc. Of the 22nd International Conference on Engineering of Complex Computer Systems (ICECCS 2017). Fukuoka, Japan, 6-8 Nov., 2017. Pp.128-137. (pdf, doi)

14.    Xue-Yang Zhu. A Unified Framework for Throughput Analysis of Synchronous Data Flow Graphs under Memory Constraints: Work-in-Progress. In Proc. of the 22th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Companion (CODES/ISSS ’17 Companion, part of ESWEEK 2017), Seoul, Republic of Korea, October 15–20, 2017. Article No. 2. (pdf, doi, poster)

15.    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)

16.    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)

17.    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)

18.    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)

19.    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)

20.    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)

21.    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)

22.    Xue-Yang ZhuMarc 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)

23.    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

24.    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). ISBN9787504660206, China Science and Technology Press, 2012.  PP169-186. (in Chinese with English abstract) (pdf)


科研活动

科研项目

  1. 量子程序设计理论、方法与工具(课题1:量子程序设计模型与理论),参与,国家重点研发计划,2018-05 -- 2023-04
  2. 同步数据流模型优化研究, 主持, 自然科学基金面上项目, 2016-01--2019-12
  3. 度量区间时序逻辑MITL的模型检测与控制器合成, 参与, 自然科学基金面上项目, 2015-01--2018-12
  4. 动态数据结构的形状性质与数据约束:基于分离逻辑的自动分析与验证, 参与, 自然科学基金面上项目, 2015-01--2018-12