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 | 74 | 2019 |
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 | 49 | 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 | 26 | 2020 |
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 | 26 | 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 | 24 | 2017 |
Supporting nested resources in MrsP J Garrido, S Zhao, A Burns, A Wellings Reliable Software Technologies–Ada-Europe 2017: 22nd Ada-Europe …, 2017 | 22 | 2017 |
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 | 20 | 2020 |
DAG scheduling and analysis on multi-core systems by modelling parallelism and dependency S Zhao, X Dai, I Bate IEEE transactions on parallel and distributed systems 33 (12), 4019-4038, 2022 | 18 | 2022 |
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 | 17 | 2019 |
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 | 15 | 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 | 15 | 2020 |
Bridging the pragmatic gaps for mixed-criticality systems in the automotive industry Z Jiang, S Zhao, R Wei, D Yang, R Paterson, N Guan, Y Zhuang, ... IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2021 | 14 | 2021 |
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 Applications of Evolutionary Computation: 22nd International Conference …, 2019 | 14 | 2019 |
A FIFO spin-based resource control framework for symmetric multiprocessing S Zhao University of York, 2018 | 12 | 2018 |
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 (1), 6663199, 2021 | 11 | 2021 |
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 | 11 | 2020 |
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 | 10 | 2020 |
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 | 10 | 2017 |
Timing-accurate general-purpose I/O for multi-and many-core systems: Scheduling and hardware support S Zhao, Z Jiang, X Dai, I Bate, I Habli, W Chang 2020 57th ACM/IEEE Design Automation Conference (DAC), 1-6, 2020 | 9 | 2020 |
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 | 8 | 2017 |