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, Smart Contracts, etc.

 

Publications and Reports

Journal Publications

1.       Xue-Yang ZhuMarc GeilenTwan 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. (pdfdoi).

2.       Xue-Yang Zhu, Twan BastenMarc 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. (pdfdoi).

3.       Jian ZhangWenhui ZhangNaijun ZhanYidong ShenHaiming 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. (pdfdoi)

In Chinese with English abstract:

4.         ZHU Xueyang. Formal analysis of the DAO exploit. Information Technology and Network Security. 2021(05): 13-19.
朱雪阳.The DAO事件的形式化分析.信息技术与网络安全, 2021(05): 13-19.

5.       BAO Yulong, ZHU Xueyang, ZHANG Wenhui, SUN Pengfei, ZHAO Yingqi. Formal verification of smart contract for access control in IoT applications. Journal of Computer Applications, 2021, 41(4): 930-938. (3rd CCF China Blockchain Conference, CBCC 2020, Jinan, China, December 18-20)
包玉龙朱雪阳张文辉, 孙鹏飞赵颖物联网应用中访问控制智能合约的形式化验证计算机应用, 2021, 41(4): 930-938. (2020 CCF中国区块链技术大会)

6.       ZHAO YingqiZHU Xueyang, LI Guangyuan, GAO Ya, BAO Yulong. Verification of Smart Contracts with Time Constraints. Journal of Applied Sciences, 2021, 39(1): 1-16. (3rd CCF China Blockchain Conference, CBCC 2020, Jinan, China, December 18-20).
赵颖琪朱雪阳李广元高雅包玉龙带时间约束的智能合约验证[J]. 应用科学学报, 2021, 39(1): 1-16. (2020 CCF中国区块链技术大会.)

7.       Jian Liu, Purui Su, Min Yang, Liang He, Yuan Zhang, Xue-Yang ZhuHuimin Lin. Software and Cyber Security-A Survey. Ruan Jian Xue Bao/Journal of Software, 2018, 29(1):42-68. (pdfdoi)
刘剑,苏璞睿,杨珉,和亮,张源,朱雪阳,林惠民.软件与网络安全研究综述.软件学报, 2018,29(1):42-68.

8.       Xue-Yang Zhu. A Model-Based Performance Analysis Framework for Embedded Systems. Journal of Software, 2016, 27(Suppl.(2)):328-335. (ESTC 2016. Shanghai, 29-30, Oct. 2016.) (pdf).
朱雪阳基于模型的嵌入式系统性能分析框架软件学报,2016,27(S2):328-335. (第十四届全国嵌入式系统学术会议(ESTC 2016), 上海,20161029-30.)

9.       Yu-Lei Gu, Xue-Yang ZhuRongjie Yan and Guangquan Zhang. Pareto Optimization and Scheduling of Synchronous Dataflow Graphs on a Heterogeneous Multicore Platform. Computer Science, 2015,42(11):43-47. (10th National Annual Conference on High Performance Computing (HPC China 2014). Guangzhou, China. 6-8 Nov., 2014. )
顾玉磊,朱雪阳,晏荣杰,张广泉.基于异构多核平台的同步数据流图帕累托优化与调度[J].计算机科学,2015, 42(11):43-47. (第十届全国高性能计算学术年会(HPC China 2014),广州,116-8.)

10.  Yesheng Chai, Xue-Yang ZhuRongjie Yan, and Guangquan Zhang. MARTE Models based System Reliability Prediction. Computer Science,2015,42(12):82-86, 91. (13th National Software Application Conference (NASAC 2014). Guilin, China, 7-9, Nov., 2014.)
柴叶生,朱雪阳,晏荣杰,张广泉.基于MARTE模型的系统可靠性预测[J].计算机科学,2015,42(12):82-86, 91. (第十三届全国软件与应用学术会议(NASAC2014),广西桂林,117-9.)

11.  Xueyang Zhu. The Dual Software Architecture Description Framework XYZ/ADL. Computer Research and Development, 2007, 44(9): 1485-1494. (pdf)
朱雪阳双重软件体系结构描述框架XYZ/ADL. 计算机研究与发展. 2007, 44(9)1485~1494

12.  Xue-Yang Zhu, and Zhi-Song Tang. Compositional Semantics and Refinement of Statecharts. Journal of Software, 2006, 17(4): 670-681. (pdf)
朱雪阳唐稚松Statecharts的组合语义与求精软件学报. 2006,17(4): 697~708.

13.  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. (pdf)
朱雪阳唐稚松.UML活动图的时序逻辑语义.计算机研究与发展. 2005,42(9):1478~1484.

14.  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. (pdf)
朱雪阳,唐稚松基于时序逻辑的软件体系结构描述语言XYZADL. 软件学报. 2003,14(4): 713~720.

Conference Publications

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

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

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

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

19.  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 15C20, 2017. Article No. 2. (pdfdoiposter)

20.  Yu-Lei Gu, Xue-Yang ZhuGuangquan 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. (pdfdoi)

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

22.  Xue-Yang ZhuRongjie Yan, Yu-Lei Gu, Jian ZhangWenhui 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. 551C569, 2015. (pdfdoi)

23.  Gaogao Yan, Xue-Yang ZhuRongjie 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. (pdfdoi)

24.  Xue-Yang ZhuMarc 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. (pdfdoi)

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

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

Book Chapters

27.  Xue-Yang ZhuWenhui ZhangGuangyuan LiYi 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

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

29.  Yu-Lei Gu, Xue-Yang ZhuRongjie 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)

30.  Xue-Yang ZhuRongjie 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)

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

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

33.  Xueyang Zhu. Study on Formal Description of Software Architecture. PhD thesis. Institute of Software, Chinese Academy of Sciences, 2005. (in Chinese) (Abstract in EnglishAbstract 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: SETTA 2019, IDEA 2016IDEA 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), IEEE Transactions on Reliability, 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

 

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. Theory, techniques and tools of model checking. 863 Hi-tech Research and Development Program of China, Grant No. 2009AA01Z148, Participant (PI: Prof. Jian Zhang).

 

Links

ResearchGate

DBLP

LinkedIn

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