Shuai Zhao
Shuai Zhao
Real-Time Systems Research Group (RTSRG), University of York
Email verificata su
Citata da
Citata da
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
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
Supporting nested resources in MrsP
J Garrido, S Zhao, A Burns, A Wellings
Ada-Europe International Conference on Reliable Software Technologies, 73-86, 2017
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
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
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
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
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
A smart semipartitioned real-time scheduling strategy for mixed-criticality systems in 6G-based edge computing
W Wang, C Mao, S Zhao, Y Cao, Y Yi, S Chen, Q Liu
Wireless Communications and Mobile Computing 2021, 2021
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
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
A FIFO spin-based resource control framework for symmetric multiprocessing
S Zhao
University of York, 2018
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
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
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
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
CPS-oriented modeling and control of traffic signals using adaptive back pressure
W Chang, D Roy, S Zhao, A Annaswamy, S Chakraborty
2020 Design, Automation & Test in Europe Conference & Exhibition (DATEá…, 2020
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
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
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
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20