朱雪阳

Xue-Yang ZHU

Ph.D, Associate Research Professor

Institute of Software, Chinese Academy of Sciences

4th South Fourth Road, Zhongguancun, P.O.Box 8718, Beijing, P. R. China, 100190

zxy[at]ios.ac.cn

 

Research Interests

Design of Embedded Systems, Model-Driven Engineering, Formal Methods, etc.

 

Publications and Reports

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

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

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

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

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

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

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

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

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

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

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

Technical Reports

21.    Jian Liu, Purui Su, Min Yang, Liang He, Yuan Zhang, Xue-Yang Zhu and Huimin Lin. Software and Cyber Security - A Survey. Technical Report, ISCAS-SKLCS-16-07, State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, 2016. (in Chinese with English abstract) (pdf)

22.    Yu-Lei Gu, Xue-Yang Zhu, Rongjie Yan and Guangquan Zhang. Pareto Optimization and Scheduling of Synchronous Dataflow Graphs on a Heterogeneous Multicore Platform. Technical Report, ISCAS-SKLCS-14-14, State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, 2014. (in Chinese with English abstract) (pdf)

23.    Xue-Yang Zhu, Rongjie Yan, Yu-Lei Gu and  Guangquan Zhang. Static Optimal Scheduling and Mapping of Synchronous Dataflow Graphs on a Heterogeneous Multiprocessor Platform with Model Checking. Technical Report, ISCAS-SKLCS-14-12, State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, 2014. (pdf)

24.    Xue-Yang Zhu. An overview of FMPA and the design of FMPAer. Technical Report, ISCAS-SKLCS-13-16, State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, 2013. (in Chinese with English abstract) (pdf)

25.    Xue-Yang ZhuMarc Geilen,  Twan Basten,  and Sander Stuijk.  Retiming Synchronous Dataflow Graphs through a State-Space Exploration. Technical Report, ISCAS-SKLCS-11-53, State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, 2011. (pdf)

Thesis

26.    Xueyang Zhu. Study on Formal Description of Software Architecture. PhD thesis. Institute of Software, Chinese Academy of Sciences, 2005. (in Chinese) (Abstract in English, Abstract in Chinese)

 

Tools

FMPAer: A formal models based performance analysis tool. Its input model is the UML MARTE model.

iDFOS: A tool for optimization and scheduling of data flow graphs.

 

Professional Services

PC Member: IDEA 2016, IDEA 2015

External Reviewer of APSEC 2011

Reviewer of IEEE Transactions on Parallel and Distributed Systems (TPDS), Transactions on Design Automation of Electronic Systems (TODAES), Journal of Systems Architecture (JSA), Journal of Computer Science and Technology (JCST), Journal of Algorithms and Computational Technology (JACT); Journal of Computer Research and Development (CRAD)

Reviewer for Mathematical Reviews

Research Funding

Jan. 2016 – Dec. 2019. Optimization of synchronous dataflow models. National Natural Science Foundation of China (NSF China), Grant No. 61572478. (Principal Investigator)

Jan. 2015 – Dec. 2018. The Model Checking and Controller Synthesis of Metric Interval Temporal Logic MITL. National Natural Science Foundation of China (NSF China), Grant No. 61472406, Participant (PI: Dr. Guangyuan Li).

Jan. 2015 – Dec. 2018. Shape properties and data constraints of dynamic data structures: Automated analysis and verification based on separation logic. National Natural Science Foundation of China (NSF China), Grant No. 61472474, Participant (PI: Dr. Zhilin Wu).

Sept. 2010 – Aug. 2011. State Scholarship Fund. China Scholarship Council (CSC), Grant No. 2009491149.

Jan. 2009 – Dec. 2012. Theory, techniques and tools of model checking. National Natural Science Foundation of China (NSF China), Grant No. 60833001, Participant (PI: Prof. Huimin Lin).

Jan. 2009 – Dec. 2010. Techniques and tools of Model-driven software testing and verifying. 863 Hi-tech Research and Development Program of China, Grant No. 2009AA01Z148, Participant (PI: Prof. Jian Zhang).

Jan. 2007 – Dec. 2009. Research on the model checking and the language characterization of finite precision timed automata. National Natural Science Foundation of China (NSF China), Grant No. 60673051, Participant (PI: Dr. Guangyuan Li).

Jan. 2003 – Dec. 2005. Research on axiomatization and decidability of continuous-time temporal logic LTLC. National Natural Science Foundation of China (NSF China), Grant No. 60273025, Participant (PI: Dr. Guangyuan Li).

 

Links

ResearchGate

DBLP

LinkedIn

A memorial of Prof. C.S. Tang (in Chinese)