Supporting Multiprocessors in the Icecap Safety-Critical Java Run-Time Environment. - Shuai Zhao 004; Andy J. Wellings; Stephan Erbs Korsholm (JTRES, 2015)

Java in the Safety-Critical Domain. - Ana Cavalcanti 001; Alvaro Miyazawa; Andy J. Wellings; Jim Woodcock 001; Shuai Zhao 004 (SETSS, 2016)

Supporting Nested Resources in MrsP. - Jorge Garrido; Shuai Zhao 004; Alan Burns 001; Andy J. Wellings (Ada-Europe, 2017)

New schedulability analysis for MrsP. - Shuai Zhao 004; Jorge Garrido; Alan Burns 001; Andy J. Wellings (RTCSA, 2017)

Safety-critical Java for embedded systems. - Martin Schoeberl; Andreas Engelbredt Dalsgaard; René Rydhof Hansen; Stephan Erbs Korsholm; Anders P. Ravn; Juan Ricardo Rios Rivas; Tórur Biskopstø Strøm; Hans Søndergaard; Andy J. Wellings; Shuai Zhao 004 (Concurr. Comput. Pract. Exp., 2017)

A FIFO spin-based resource control framework for symmetric multiprocessing. - Shuai Zhao 004 (2018)

Solving the Multi-objective Flexible Job-Shop Scheduling Problem with Alternative Recipes for a Chemical Production Process. - Piotr Dziurzanski; Shuai Zhao 004; Jerry Swan; Leandro Soares Indrusiak; Sebastian Scholze; Karl Krone (EvoApplications, 2019)

Cloud-based dynamic distributed optimisation of integrated process planning and scheduling in smart factories. - Shuai Zhao 004; Piotr Dziurzanski; Michal Przewozniczek; Marcin Komarnicki; Leandro Soares Indrusiak (GECCO, 2019)

Cloud-Based Integrated Process Planning and Scheduling Optimisation via Asynchronous Islands. - Shuai Zhao 004; Haitao Mei 001; Piotr Dziurzanski; Michal Przewozniczek; Leandro Soares Indrusiak (GECON, 2019)

From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper). - Wanli Chang 001; Shuai Zhao 004; Ran Wei; Andy J. Wellings; Alan Burns 001 (LCTES, 2019)

Proceedings of the International Workshop on Reconfigurable and Communication-centric Cyber-Physical Systems (ReCoCyPS 2019). - Leandro Soares Indrusiak; Piotr Dziurzanski; Shuai Zhao 004 (CoRR, 2019)

Integrated Process Planning and Scheduling in Commercial Smart Kitchens. - Piotr Dziurzanski; Shuai Zhao 004; Leandro Soares Indrusiak (CoRR, 2019)

An XML-based Factory Description Language for Smart Manufacturing Plants in Industry 4.0. - Shuai Zhao 004; Piotr Dziurzanski; Leandro Soares Indrusiak (CoRR, 2019)

Value-driven Manufacturing Planning using Cloud-based Evolutionary Optimisation. - Shuai Zhao 004; Piotr Dziurzanski; Leandro Soares Indrusiak (CoRR, 2019)

Model based system assurance using the structured assurance case metamodel. - Ran Wei; Tim P. Kelly; Xiaotian Dai 001; Shuai Zhao 004; Richard Hawkins (J. Syst. Softw., 2019)

A Dual-Mode Strategy for Performance-Maximisation and Resource-Efficient CPS Design. - Xiaotian Dai 001; Wanli Chang 001; Shuai Zhao 004; Alan Burns 001 (ACM Trans. Embed. Comput. Syst., 2019)

Timing-Accurate General-Purpose I/O for Multi- and Many-Core Systems: Scheduling and Hardware Support. - Shuai Zhao 004; Zhe Jiang 004; Xiaotian Dai 001; Iain Bate; Ibrahim Habli; Wanli Chang 001 (DAC, 2020)

CPS-oriented Modeling and Control of Traffic Signals Using Adaptive Back Pressure. - Wanli Chang 001; Debayan Roy; Shuai Zhao 004; Anuradha Annaswamy; Samarjit Chakraborty (DATE, 2020)

Fixed-Priority Scheduling and Controller Co-Design for Time-Sensitive Networks. - Xiaotian Dai 001; Shuai Zhao 004; Yu Jiang 001; Xun Jiao; Xiaobo Sharon Hu; Wanli Chang 001 (ICCAD, 2020)

Re-Thinking Mixed-Criticality Architecture for Automotive Industry. - Zhe Jiang 004; Shuai Zhao 004; Pan Dong; Dawei Yang; Ran Wei; Nan Guan; Neil C. Audsley (ICCD, 2020)

DAG Scheduling and Analysis on Multiprocessor Systems: Exploitation of Parallelism and Dependency. - Shuai Zhao 004; Xiaotian Dai 001; Iain Bate; Alan Burns 001; Wanli Chang 001 (RTSS, 2020)

Process planning and scheduling optimisation with alternative recipes. - Piotr Dziurzanski; Shuai Zhao 004; Sebastian Scholze; Albert Zilverberg; Karl Krone; Leandro Soares Indrusiak (Autom., 2020)

Scalable distributed evolutionary algorithm orchestration using Docker containers. - Piotr Dziurzanski; Shuai Zhao 004; Michal Przewozniczek; Marcin Komarnicki; Leandro Soares Indrusiak (J. Comput. Sci., 2020)

A complete run-time overhead-aware schedulability analysis for MrsP under nested resources. - Shuai Zhao 004; Jorge Garrido; Ran Wei; Alan Burns 001; Andy J. Wellings; Juan Antonio de la Puente (J. Syst. Softw., 2020)

Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis. - Wanli Chang 001; Ran Wei; Shuai Zhao 004; Andy J. Wellings; Jim Woodcock 001; Alan Burns 001 (ACM Trans. Embed. Comput. Syst., 2020)

Invited: Hardware/Software Co-Synthesis and Co-Optimization for Autonomous Systems. - Wanli Chang 001; Shuai Zhao 004; Simon Burton 001; Haitong Wang; Ting Chen 002; Nan Chen; Neil C. Audsley (DAC, 2021)

Multi-objective parameter-less population pyramid in solving the real-world and theoretical problems. - Michal Witold Przewozniczek; Piotr Dziurzanski; Shuai Zhao 004; Leandro Soares Indrusiak (GECCO Companion, 2021)

Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems - Requirements and Open Challenges. - Xiaotian Dai 001; Shuai Zhao 004; Iain Bate; Alan Burns 001; Xing Guo; Wanli Chang 001 (RTAS, 2021)

Multi-Objective parameter-less population pyramid for solving industrial process planning problems. - Michal Witold Przewozniczek; Piotr Dziurzanski; Shuai Zhao 004; Leandro Soares Indrusiak (Swarm Evol. Comput., 2021)

Priority Assignment on Partitioned Multiprocessor Systems With Shared Resources. - Shuai Zhao 004; Wanli Chang 001; Ran Wei; Weichen Liu; Nan Guan; Alan Burns 001; Andy J. Wellings (IEEE Trans. Computers, 2021)

Power Line Detection Based on Feature Fusion Deep Learning Network. - Kuansheng Zou; Zhenbang Jiang; Shuai Zhao 004 (CGI, 2022)

Using Digital Twins in the Development of Complex Dependable Real-Time Embedded Systems. - Xiaotian Dai 001; Shuai Zhao 004; Benjamin Lesage; Iain Bate (ISoLA (4), 2022)

MSRP-FT: Reliable Resource Sharing on Multiprocessor Mixed-Criticality Systems. - Nan Chen; Shuai Zhao 004; Ian Gray; Alan Burns 001; Siyuan Ji; Wanli Chang 001 (RTAS, 2022)

Bridging the Pragmatic Gaps for Mixed-Criticality Systems in the Automotive Industry. - Zhe Jiang 004; Shuai Zhao 004; Ran Wei; Dawei Yang; Richard Paterson; Nan Guan; Yan Zhuang; Neil C. Audsley (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

DAG Scheduling and Analysis on Multi-Core Systems by Modelling Parallelism and Dependency. - Shuai Zhao 004; Xiaotian Dai 001; Iain Bate (IEEE Trans. Parallel Distributed Syst., 2022)

Many-Core Real-Time Network-on-Chip I/O Systems for Reducing Contention and Enhancing Predictability. - Zhe Jiang 004; Xiaotian Dai 001; Shuai Zhao 004; Ran Wei; Ian Gray (CPS-IoT Week Workshops, 2023)

A Universal Method for Task Allocation on FP-FPS Multiprocessor Systems with Spin Locks. - Shuai Zhao 004; Nan Chen; Yinjie Fang; Zhao Li; Wanli Chang 001 (DAC, 2023)

Precise Response Time Analysis for Multiple DAG Tasks with Intra-task Priority Assignment. - Nan Chen; Shuai Zhao 004; Ian Gray; Alan Burns 001; Siyuan Ji; Wanli Chang 001 (RTAS, 2023)

Cache-Aware Allocation of Parallel Jobs on Multi-cores based on Learned Recency. - Shuai Zhao 004; Xiaotian Dai 001; Benjamin Lesage; Iain Bate (RTNS, 2023)

Reducing Loss of Service for Mixed-Criticality Systems through Cache- and Stress-Aware Scheduling. - Benjamin Lesage; Xiaotian Dai 001; Shuai Zhao 004; Iain Bate (RTNS, 2023)

Brief Industry Paper: A DAG Generator with Full Topology Coverage. - Yinjie Fang; Shuai Zhao 004; Yili Guo; Wanli Chang 001 (RTSS, 2023)

Multi-Path Bound for DAG Tasks. - Qingqiang He; Nan Guan; Shuai Zhao 004; Mingsong Lv (CoRR, 2023)

FTSC: Fault-tolerant scheduling and control co-design for distributed real-time system. - Yuanhai Zhang; Zijin Xu; Yibo Zhang; Nan Guan; Shuai Zhao 004; Gang Chen 023; Kai Huang 001 (J. Syst. Archit., 2023)

NPRC-I/O: An NoC-Based Real-Time I/O System With Reduced Contention and Enhanced Predictability. - Zhe Jiang 004; Xiaotian Dai 001; Ran Wei; Ian Gray; Zonghua Gu 001; Qingling Zhao; Shuai Zhao 004 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Fault-tolerant DAG Scheduling with Runtime Reconfiguration on Multicore Real-Time Systems. - Yuanhai Zhang; Shuai Zhao 004; Gang Chen 023; Kai Huang 001 (ASAP, 2024)

A Cache/Algorithm Co-design for Parallel Real-Time Systems with Data Dependency on Multi/Many-core System-on-Chips. - Zhe Jiang 004; Shuai Zhao 004; Ran Wei; Yiyang Gao; Jing Li 025 (DAC, 2024)

A Du-Octree based Cross-Attention Model for LiDAR Geometry Compression. - Mingyue Cui; Mingjian Feng; Junhua Long; Daosong Hu; Shuai Zhao 004; Kai Huang 001 (ICRA, 2024)

Resource-Aware Task Allocation on Mixed-Criticality Systems: a Task-Splitting Approach. - Ruoxian Su; Hanzhi Xu; Jieyu Jiang; Shuai Zhao 004 (Internetware, 2024)

An Efficient Position Reconfiguration Approach for Maximizing Lifetime of Fixed-wing Swarm Drones. - Han Liu; Tian Liu; Mingyue Cui; Yunxiao Shan; Shuai Zhao 004; Kai Huang 001 (IROS, 2024)

ROTA-I/O: Hardware/Algorithm Co-design for Real-Time I/O Control with Improved Timing Accuracy and Robustness. - Zhe Jiang 004; Shuai Zhao 004; Ran Wei; Xin Si; Gang Chen 023; Nan Guan (RTSS, 2024)

FRAP: A Flexible Resource Accessing Protocol for Multiprocessor Real-Time Systems. - Shuai Zhao 004; Hanzhi Xu; Nan Chen; Ruoxian Su; Wanli Chang 001 (RTSS, 2024)

A Structure-Aware DAG Scheduling and Allocation on Heterogeneous Multicore Systems. - Yiyang Gao; Huixuan Yi; Haoran Chen; Xinwei Fang; Shuai Zhao 004 (SIES, 2024)

New Response Time Analysis for PWLP on Multiprocessor Mixed-Criticality Systems. - Hanzhi Xu; Ruoxian Su; Jieyu Jiang; Meixuan Zhang; Shuai Zhao 004 (SIES, 2024)

Hardware/Algorithm Co-design for Real-Time I/O Control with Improved Timing Accuracy and Robustness. - Zhe Jiang 004; Shuai Zhao 004; Ran Wei; Xin Si; Gang Chen 023; Nan Guan (CoRR, 2024)

Timing-accurate scheduling and allocation for parallel I/O operations in real-time systems. - Yuanhai Zhang; Shuai Zhao 004; Gang Chen 023; Haoyu Luo; Kai Huang 001 (J. Syst. Archit., 2024)

A cache-aware DAG scheduling method on multicores: Exploiting node affinity and deferred executions. - Huixuan Yi; Yuanhai Zhang; Zhiyang Lin; Haoran Chen; Yiyang Gao; Xiaotian Dai 001; Shuai Zhao 004 (J. Syst. Archit., 2025)

Energy Efficient Scheduling for Position Reconfiguration of Swarm Drones. - Han Liu; Mingxin Wei; Shuai Zhao 004; Hui Cheng; Kai Huang 001 (IEEE Trans Autom. Sci. Eng., 2025)

Unlocking a New Rust Programming Experience: Fast and Slow Thinking with LLMs to Conquer Undefined Behaviors. - Renshuang Jiang; Pan Dong; Zhenling Duan; Yu Shi; Xiaoxiang Fang; Yan Ding; Jun Ma 015; Shuai Zhao 004; Zhe Jiang 004 (CoRR, 2025)

Insights from Rights and Wrongs: A Large Language Model for Solving Assertion Failures in RTL Design. - Jie Zhou; Youshu Ji; Ning Wang 071; Yuchen Hu; Xinyao Jiao; Bingkun Yao; Xinwei Fang; Shuai Zhao 004; Nan Guan; Zhe Jiang 004 (CoRR, 2025)

MERE: Hardware-Software Co-Design for Masking Cache Miss Latency in Embedded Processors. - Dean You; Jieyu Jiang; Xiaoxuan Wang; Yushu Du; Zhihang Tan; Wenbo Xu; Hui Wang; Jiapeng Guan; Zhenyuan Wang; Ran Wei; Shuai Zhao 004; Zhe Jiang 004 (CoRR, 2025)

Exploiting the Uncertainty of the Longest Paths: Response Time Analysis for Probabilistic DAG Tasks. - Yiyang Gao; Shuai Zhao 004; Boyang Li; Xinwei Fang; Zhiyang Lin; Zhe Jiang 004; Nan Guan (CoRR, 2025)

From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification. - Junhao Ye; Yuchen Hu; Ke Xu; Dingrong Pan; Qichun Chen; Jie Zhou; Shuai Zhao 004; Xinwei Fang; Xi Wang 009; Nan Guan; Zhe Jiang 004 (CoRR, 2025)

Multipath Bound for DAG Tasks. - Qingqiang He; Nan Guan; Shuai Zhao 004; Mingsong Lv (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)

Tight Inter-Core Cache Contention Analysis for WCET Estimation on Multicore Systems. - Shuai Zhao 004; Jieyu Jiang; Shenlin Cai; Yaowei Liang; Chen Jie; Yinjie Fang; Wei Zhang; Guoquan Zhang; Yaoyao Gu; Xiang Xiao; Wei Qin; Xiangzhen Ouyang; et al. (CoRR, 2025)