| 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 | 67 | 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 | 45 | 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 |
| 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 | 22 | 2020 |
| Supporting nested resources in MrsP J Garrido, S Zhao, A Burns, A Wellings Reliable Software Technologies–Ada-Europe 2017: 22nd Ada-Europe …, 2017 | 21 | 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 | 18 | 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 | 17 | 2019 |
| 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 | 16 | 2022 |
| 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 | 14 | 2020 |
| 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 |
| 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 | 12 | 2021 |
| 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 | 11 | 2021 |
| 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-11, 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 | 10 | 2020 |
| A FIFO spin-based resource control framework for symmetric multiprocessing S Zhao University of York, 2018 | 10 | 2018 |
| 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 |
| 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 | 8 | 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 |
Xiaotian DaiReal-Time and Distributed Systems Group (RTDS), University of YorkVerified email at york.ac.uk
