Basic research in computer science and software engineering at SKLCS. - Jian Zhang 001; Wenhui Zhang; Naijun Zhan; Yi-Dong Shen; Haiming Chen 001; Yunquan Zhang; Yongji Wang; Enhua Wu; Hongan Wang; Xueyang Zhu (Frontiers Comput. Sci. China, 2008)

Retiming multi-rate DSP algorithms to meet real-time requirement. - Xue-Yang Zhu (DATE, 2010)

A Refinement Checking Method of Web Services Composition. - Guangquan Zhang 002; Mei Rong; Yali He; Xueyang Zhu; Rongjie Yan (SOSE, 2010)

Static Rate-Optimal Scheduling of Multirate DSP Algorithms via Retiming and Unfolding. - Xue-Yang Zhu; Marc Geilen; Twan Basten; Sander Stuijk (IEEE Real-Time and Embedded Technology and Applications Symposium, 2012)

Efficient Retiming of Multirate DSP Algorithms. - Xue-Yang Zhu; Twan Basten; Marc Geilen; Sander Stuijk (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)

Modeling and Analyzing Method for CPS Software Architecture Energy Consumption. - Guangquan Zhang 002; Kan Zhang; Xueyang Zhu; Mingcai Chen; Chengkai Xu; Yuzhen Shao (J. Softw., 2013)

Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming. - Xue-Yang Zhu; Marc Geilen; Twan Basten; Sander Stuijk (DATE, 2014)

Formal Throughput and Response Time Analysis of MARTE Models. - Gaogao Yan; Xueyang Zhu; Rongjie Yan; Guangyuan Li (ICFEM, 2014)

Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking. - Xueyang Zhu; Rongjie Yan; Yu-Lei Gu; Jian Zhang 001; Wenhui Zhang; Guangquan Zhang 002 (FM, 2015)

Pareto Optimal Scheduling of Synchronous Data Flow Graphs via Parallel Methods. - Yu-Lei Gu; Xueyang Zhu; Guangquan Zhang 002 (SETTA, 2015)

基于MARTE模型的系统可靠性预测 (MARTE Models Based System Reliability Prediction). - Yesheng Chai; Xueyang Zhu; Rongjie Yan; Guangquan Zhang 002 (计算机科学, 2015)

基于异构多核平台的同步数据流图帕累托优化与调度 (Pareto Optimization and Scheduling of Synchronous Dataflow Graphs on Heterogeneous Multicore Platform). - Yu-Lei Gu; Xueyang Zhu; Rongjie Yan; Guangquan Zhang 002 (计算机科学, 2015)

Pareto Optimal Scheduling for Synchronous Data Flow Graphs on Heterogeneous Multiprocessor. - Yu-Lei Gu; Xue-Yang Zhu; Guangquan Zhang 002; Yifan He (ICECCS, 2016)

Analyzing GUI running fluency for Android apps. - Tian Huang; Zhenyu Zhang 004; Xue-Yang Zhu (MSCC@MobiHoc, 2016)

Multiconstraint Static Scheduling of Synchronous Dataflow Graphs Via Retiming and Unfolding. - Xue-Yang Zhu; Marc Geilen; Twan Basten; Sander Stuijk (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

A unified framework for throughput analysis of synchronous data flow graphs under memory constraints: work-in-progress. - Xue-Yang Zhu (CODES+ISSS, 2017)

A Unified Framework for Throughput Analysis of Streaming Applications under Memory Constraints. - Xue-Yang Zhu (ICECCS, 2017)

Equivalence of transformations of synchronous data flow graphs: work-in-progress. - Xue-Yang Zhu (CODES+ISSS, 2018)

Efficient Algorithm for the Iteration Period Computation of Unfolded Synchronous Dataflow Graphs. - Xue-Yang Zhu (TASE, 2018)

Efficient Retiming of Unfolded Synchronous Dataflow Graphs. - Xue-Yang Zhu (ICECCS, 2019)

Multi-Agent Automata and Its Application to LDLK Satisfiability Checking. - Ya Gao; Wenhui Zhang; Xue-Yang Zhu (QRS, 2021)

VERDS: Modeling and Verification of Finite State Systems with Discrete Time Models by Symbolic Techniques. - Wenhui Zhang; Xue-Yang Zhu; Yulong Bao (TASE, 2021)

Security Risk Management of the Internet of Things Based on 5G Technology. - Wei Cao; Yang Hu; Shuang Yang; Xue-Yang Zhu; Jia Yu (ICBDS, 2022)

On Verification of Smart Contracts via Model Checking. - Yulong Bao; Xue-Yang Zhu; Wenhui Zhang; Wuwei Shen; Pengfei Sun; Yingqi Zhao (TASE, 2022)

Optimal Offloading for Streaming Applications in Mobile Edge Computing. - Pengfei Sun; Xue-Yang Zhu; Ya Gao (J. Circuits Syst. Comput., 2022)

Formal Analysis of IBC Protocol. - Qiuyang Wei; Xufeng Zhao 003; Xue-Yang Zhu; Wenhui Zhang (ICNP, 2023)

A Smart Contract Development Framework for Maritime Transportation Systems. - Xufeng Zhao 003; Qiuyang Wei; Xue-Yang Zhu; Wenhui Zhang (QRS Companion, 2023)

Template-Based Smart Contract Verification: A Case Study on Maritime Transportation Domain. - Xufeng Zhao 003; Qiuyang Wei; Xue-Yang Zhu; Wenhui Zhang (ICECCS, 2024)