Shuai Zhao
Shuai Zhao
Real-Time Systems Research Group (RTSRG), University of York
Verified email at york.ac.uk
Title
Cited by
Cited by
Year
Model based system assurance using the structured assurance case metamodel
R Wei, TP Kelly, X Dai, S Zhao, R Hawkins
Journal of Systems and Software 154, 211-233, 2019
332019
New schedulability analysis for MrsP
S Zhao, J Garrido, A Burns, A Wellings
2017 IEEE 23rd International Conference on Embedded and Real-Time Computing …, 2017
202017
Supporting nested resources in MrsP
J Garrido, S Zhao, A Burns, A Wellings
Ada-Europe International Conference on Reliable Software Technologies, 73-86, 2017
202017
A dual-mode strategy for performance-maximisation and resource-efficient CPS design
X Dai, W Chang, S Zhao, A Burns
ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-20, 2019
132019
Solving the multi-objective flexible job-shop scheduling problem with alternative recipes for a chemical production process
P Dziurzanski, S Zhao, J Swan, LS Indrusiak, S Scholze, K Krone
International Conference on the Applications of Evolutionary Computation …, 2019
122019
Cloud-based dynamic distributed optimisation of integrated process planning and scheduling in smart factories
S Zhao, P Dziurzanski, M Przewozniczek, M Komarnicki, LS Indrusiak
Proceedings of the Genetic and Evolutionary Computation Conference, 1381-1389, 2019
112019
Implementation and evaluation of multiprocessor resource synchronization protocol (MrsP) on litmus rt
J Shi, KH Chen, S Zhao, WH Huang, JJ Chen, A Wellings
13th Workshop on Operating Systems Platforms for Embedded Real-Time Applications, 2017
82017
Re-thinking mixed-criticality architecture for automotive industry
Z Jiang, S Zhao, P Dong, D Yang, R Wei, N Guan, N Audsley
2020 IEEE 38th International Conference on Computer Design (ICCD), 510-517, 2020
62020
Multi-Objective parameter-less population pyramid for solving industrial process planning problems
MW Przewozniczek, P Dziurzanski, S Zhao, LS Indrusiak
Swarm and Evolutionary Computation 60, 100773, 2021
52021
Fixed-priority scheduling and controller co-design for time-sensitive networks
X Dai, S Zhao, Y Jiang, X Jiao, XS Hu, W Chang
Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020
52020
Scalable distributed evolutionary algorithm orchestration using Docker containers
P Dziurzanski, S Zhao, M Przewozniczek, M Komarnicki, LS Indrusiak
Journal of Computational Science 40, 101069, 2020
52020
A FIFO spin-based resource control framework for symmetric multiprocessing
S Zhao
University of York, 2018
52018
Safety‐critical Java for embedded systems
M Schoeberl, AE Dalsgaard, RR Hansen, SE Korsholm, AP Ravn, ...
Concurrency and Computation: Practice and Experience 29 (22), e3963, 2017
52017
Java in the safety-critical domain
A Cavalcanti, A Miyazawa, A Wellings, J Woodcock, S Zhao
School on Engineering Trustworthy Software Systems, 110-150, 2016
52016
Supporting multiprocessors in the ICECAP safety-critical java run-time environment
S Zhao, A Wellings, SE Korsholm
Proceedings of the 13th International Workshop on Java Technologies for Real …, 2015
52015
A complete run-time overhead-aware schedulability analysis for MrsP under nested resources
S Zhao, J Garrido, R Wei, A Burns, A Wellings, A Juan
Journal of Systems and Software 159, 110449, 2020
42020
From Java to real-time Java: A model-driven methodology with automated toolchain
W Chang, S Zhao, R Wei, A Wellings, A Burns
Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on …, 2019
42019
DAG scheduling and analysis on multiprocessor systems: Exploitation of parallelism and dependency
S Zhao, X Dai, I Bate, A Burns, W Chang
2020 IEEE Real-Time Systems Symposium (RTSS), 128-140, 2020
32020
Investigating the Correctness and Efficiency of MrsP in Fully Partitioned Systems
S Zhao, A Wellings
10th York Doctoral Symposium on Computer Science and Electronic Engineering, 2017
32017
Priority assignment on partitioned multiprocessor systems with shared resources
S Zhao, W Chang, R Wei, W Liu, N Guan, A Burns, A Wellings
IEEE Transactions on Computers 70 (7), 1006-1018, 2020
22020
The system can't perform the operation now. Try again later.
Articles 1–20