Shuai Zhao

According to our database, Shuai Zhao authored at least 44 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

NPRC-I/O: An NoC-Based Real-Time I/O System With Reduced Contention and Enhanced Predictability.

Zhe Jiang, Xiaotian Dai, Ran Wei, Ian Gray, Zonghua Gu, Qingling Zhao, Shuai Zhao

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., December, 2023

FTSC: Fault-tolerant scheduling and control co-design for distributed real-time system.

Yuanhai Zhang, Zijin Xu, Yibo Zhang, Nan Guan, Shuai Zhao, Gang Chen, Kai Huang

J. Syst. Archit., September, 2023

Multi-Path Bound for DAG Tasks.

Qingqiang He, Nan Guan, Shuai Zhao, Mingsong Lv

CoRR, 2023

Brief Industry Paper: A DAG Generator with Full Topology Coverage.

Yinjie Fang, Shuai Zhao, Yili Guo, Wanli Chang

Proceedings of the IEEE Real-Time Systems Symposium, 2023

Reducing Loss of Service for Mixed-Criticality Systems through Cache- and Stress-Aware Scheduling.

Benjamin Lesage, Xiaotian Dai, Shuai Zhao, Iain Bate

Proceedings of the 31st International Conference on Real-Time Networks and Systems, 2023

Cache-Aware Allocation of Parallel Jobs on Multi-cores based on Learned Recency.

Shuai Zhao, Xiaotian Dai, Benjamin Lesage, Iain Bate

Proceedings of the 31st International Conference on Real-Time Networks and Systems, 2023

Precise Response Time Analysis for Multiple DAG Tasks with Intra-task Priority Assignment.

Nan Chen, Shuai Zhao, Ian Gray, Alan Burns, Siyuan Ji, Wanli Chang

Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023

A Universal Method for Task Allocation on FP-FPS Multiprocessor Systems with Spin Locks.

Shuai Zhao, Nan Chen, Yinjie Fang, Zhao Li, Wanli Chang

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

Many-Core Real-Time Network-on-Chip I/O Systems for Reducing Contention and Enhancing Predictability.

Zhe Jiang, Xiaotian Dai, Shuai Zhao, Ran Wei, Ian Gray

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

2022

DAG Scheduling and Analysis on Multi-Core Systems by Modelling Parallelism and Dependency.

Shuai Zhao, Xiaotian Dai, Iain Bate

IEEE Trans. Parallel Distributed Syst., 2022

Bridging the Pragmatic Gaps for Mixed-Criticality Systems in the Automotive Industry.

Zhe Jiang, Shuai Zhao, Ran Wei, Dawei Yang, Richard Paterson, Nan Guan, Yan Zhuang, Neil C. Audsley

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

MSRP-FT: Reliable Resource Sharing on Multiprocessor Mixed-Criticality Systems.

Nan Chen, Shuai Zhao, Ian Gray, Alan Burns, Siyuan Ji, Wanli Chang

Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022

Using Digital Twins in the Development of Complex Dependable Real-Time Embedded Systems.

Xiaotian Dai, Shuai Zhao, Benjamin Lesage, Iain Bate

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Power Line Detection Based on Feature Fusion Deep Learning Network.

Kuansheng Zou, Zhenbang Jiang, Shuai Zhao

Proceedings of the Advances in Computer Graphics, 2022

2021

Priority Assignment on Partitioned Multiprocessor Systems With Shared Resources.

Shuai Zhao, Wanli Chang, Ran Wei, Weichen Liu, Nan Guan, Alan Burns, Andy J. Wellings

IEEE Trans. Computers, 2021

Multi-Objective parameter-less population pyramid for solving industrial process planning problems.

Michal Witold Przewozniczek, Piotr Dziurzanski, Shuai Zhao, Leandro Soares Indrusiak

Swarm Evol. Comput., 2021

Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems - Requirements and Open Challenges.

Xiaotian Dai, Shuai Zhao, Iain Bate, Alan Burns, Xing Guo, Wanli Chang

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

Multi-objective parameter-less population pyramid in solving the real-world and theoretical problems.

Michal Witold Przewozniczek, Piotr Dziurzanski, Shuai Zhao, Leandro Soares Indrusiak

Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

Invited: Hardware/Software Co-Synthesis and Co-Optimization for Autonomous Systems.

Wanli Chang, Shuai Zhao, Simon Burton, Haitong Wang, Ting Chen, Nan Chen, Neil C. Audsley

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis.

Wanli Chang, Ran Wei, Shuai Zhao, Andy J. Wellings, Jim Woodcock, Alan Burns

ACM Trans. Embed. Comput. Syst., 2020

A complete run-time overhead-aware schedulability analysis for MrsP under nested resources.

Shuai Zhao, Jorge Garrido, Ran Wei, Alan Burns, Andy J. Wellings, Juan Antonio de la Puente

J. Syst. Softw., 2020

Scalable distributed evolutionary algorithm orchestration using Docker containers.

Piotr Dziurzanski, Shuai Zhao, Michal Przewozniczek, Marcin Komarnicki, Leandro Soares Indrusiak

J. Comput. Sci., 2020

Process planning and scheduling optimisation with alternative recipes.

Piotr Dziurzanski, Shuai Zhao, Sebastian Scholze, Albert Zilverberg, Karl Krone, Leandro Soares Indrusiak

Autom., 2020

DAG Scheduling and Analysis on Multiprocessor Systems: Exploitation of Parallelism and Dependency.

Shuai Zhao, Xiaotian Dai, Iain Bate, Alan Burns, Wanli Chang

Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

Re-Thinking Mixed-Criticality Architecture for Automotive Industry.

Zhe Jiang, Shuai Zhao, Pan Dong, Dawei Yang, Ran Wei, Nan Guan, Neil C. Audsley

Proceedings of the 38th IEEE International Conference on Computer Design, 2020

Fixed-Priority Scheduling and Controller Co-Design for Time-Sensitive Networks.

Xiaotian Dai, Shuai Zhao, Yu Jiang, Xun Jiao, Xiaobo Sharon Hu, Wanli Chang

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

CPS-oriented Modeling and Control of Traffic Signals Using Adaptive Back Pressure.

Wanli Chang, Debayan Roy, Shuai Zhao, Anuradha Annaswamy, Samarjit Chakraborty

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Timing-Accurate General-Purpose I/O for Multi- and Many-Core Systems: Scheduling and Hardware Support.

Shuai Zhao, Zhe Jiang, Xiaotian Dai, Iain Bate, Ibrahim Habli, Wanli Chang

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019

A Dual-Mode Strategy for Performance-Maximisation and Resource-Efficient CPS Design.

Xiaotian Dai, Wanli Chang, Shuai Zhao, Alan Burns

ACM Trans. Embed. Comput. Syst., 2019

Model based system assurance using the structured assurance case metamodel.

Ran Wei, Tim P. Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins

J. Syst. Softw., 2019

Value-driven Manufacturing Planning using Cloud-based Evolutionary Optimisation.

Shuai Zhao, Piotr Dziurzanski, Leandro Soares Indrusiak

CoRR, 2019

An XML-based Factory Description Language for Smart Manufacturing Plants in Industry 4.0.

Shuai Zhao, Piotr Dziurzanski, Leandro Soares Indrusiak

CoRR, 2019

Integrated Process Planning and Scheduling in Commercial Smart Kitchens.

Piotr Dziurzanski, Shuai Zhao, Leandro Soares Indrusiak

CoRR, 2019

Proceedings of the International Workshop on Reconfigurable and Communication-centric Cyber-Physical Systems (ReCoCyPS 2019).

Leandro Soares Indrusiak, Piotr Dziurzanski, Shuai Zhao

CoRR, 2019

From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper).

Wanli Chang, Shuai Zhao, Ran Wei, Andy J. Wellings, Alan Burns

Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, 2019

Cloud-Based Integrated Process Planning and Scheduling Optimisation via Asynchronous Islands.

Shuai Zhao, Haitao Mei, Piotr Dziurzanski, Michal Przewozniczek, Leandro Soares Indrusiak

Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2019

Cloud-based dynamic distributed optimisation of integrated process planning and scheduling in smart factories.

Shuai Zhao, Piotr Dziurzanski, Michal Przewozniczek, Marcin Komarnicki, Leandro Soares Indrusiak

Proceedings of the Genetic and Evolutionary Computation Conference, 2019

Solving the Multi-objective Flexible Job-Shop Scheduling Problem with Alternative Recipes for a Chemical Production Process.

Piotr Dziurzanski, Shuai Zhao, Jerry Swan, Leandro Soares Indrusiak, Sebastian Scholze, Karl Krone

Proceedings of the Applications of Evolutionary Computation, 2019

2018

A FIFO spin-based resource control framework for symmetric multiprocessing.

Shuai Zhao

PhD thesis, 2018

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

Concurr. Comput. Pract. Exp., 2017

New schedulability analysis for MrsP.

Shuai Zhao, Jorge Garrido, Alan Burns, Andy J. Wellings

Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017

Supporting Nested Resources in MrsP.

Jorge Garrido, Shuai Zhao, Alan Burns, Andy J. Wellings

Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2016

Java in the Safety-Critical Domain.

Ana Cavalcanti, Alvaro Miyazawa, Andy J. Wellings, Jim Woodcock, Shuai Zhao

Proceedings of the Engineering Trustworthy Software Systems - Second International School, 2016

2015

Supporting Multiprocessors in the Icecap Safety-Critical Java Run-Time Environment.

Shuai Zhao, Andy J. Wellings, Stephan Erbs Korsholm

Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, 2015