Items where authors include "Zhao, Shuai"

Article

Zhao, Shuai, Dai, Xiaotian orcid.org/0000-0002-6669-5234 and Bate, Iain John orcid.org/0000-0003-2415-8219 (2022) DAG Scheduling and Analysis on Multi-core Systems by Modelling Parallelism and Dependency. IEEE Transactions on Parallel and Distributed Systems. 9779935. ISSN 1558-2183

Przewozniczek, Michal Witold, Dziurzanski, Piotr, Zhao, Shuai et al. (1 more author) (2021) Multi-Objective Parameter-less Population Pyramid for Solving Industrial Process Planning Problems. Swarm and Evolutionary Computation. 100773. ISSN 2210-6502

Zhao, Shuai, Chang, Wanli orcid.org/0000-0002-4053-8898, Wei, Ran et al. (4 more authors) (2020) Priority Assignment on Partitioned Multiprocessor Systems with Shared Resources. IEEE Transactions on Computers. ISSN 0018-9340 (In Press)

Chang, Wanli orcid.org/0000-0002-4053-8898, Wei, Ran, Zhao, Shuai et al. (3 more authors) (2020) Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis. ACM Transactions in Embedded Computing Systems. ISSN 1558-3465 (In Press)

Dziurzanski, Piotr, Zhao, Shuai, Scholze, Sebastian et al. (3 more authors) (2020) Process Planning and Scheduling Optimisation with Alternative Recipes. at - Automatisierungstechnik. ISSN 2196-677X

Dziurzanski, Piotr, Zhao, Shuai, Przewozniczek, Michael et al. (2 more authors) (2020) Scalable Distributed Evolutionary Algorithm Orchestration using Docker Containers. Journal of Computational Science. 101069. pp. 1-14. ISSN 1877-7503

Zhao, Shuai, Garrido, Jorge, Wei, Ran et al. (3 more authors) (2020) A Complete Run-time Overhead-aware Schedulability Analysis for MrsP under Nested Resources. Journal of Systems and Software. ISSN 0164-1212

Dai, Xiaotian orcid.org/0000-0002-6669-5234, Chang, Wanli orcid.org/0000-0002-4053-8898, Zhao, Shuai et al. (1 more author) (2019) A dual-mode strategy for performance-maximisation and resource-efficient CPS design. ACM Transactions on Embedded Computing Systems (TECS). 85. 85:1-85:20.

Wei, Ran, Kelly, Timothy Patrick orcid.org/0000-0002-7385-2031, Dai, Xiaotian orcid.org/0000-0002-6669-5234 et al. (2 more authors) (2019) Model Based System Assurance Using the Structured Assurance Case Metamodel. Journal of Systems and Software. pp. 211-233. ISSN 0164-1212

Schoeberl, Martin, Dalsgaard, Andreas Engelbredt, Hansen, René Rydhof et al. (7 more authors) (2016) Safety-critical Java for embedded systems. Concurrency and Computation: Practice and Experience. pp. 1-22. ISSN 1532-0634

Book Section

Zhao, Shuai, Mei, Haitao, Dziurzanski, Piotr et al. (2 more authors) (2019) Cloud-based Integrated Process Planning and Scheduling Optimisation via Asynchronous Islands. In: 16th International Conference on the Economics of Grids, Clouds, Systems, and Services. , GBR . (In Press)

Zhao, Shuai, Dziurzanski, Piotr and Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 (2019) Value-driven Manufacturing Planning using Cloud-based Evolutionary Optimisation. In: 10th International Conference on Manufacturing Science and Technology. , MYS . (In Press)

Zhao, Shuai, Dziurzanski, Piotr, Przewozniczek, Michal et al. (2 more authors) (2019) Cloud-based Dynamic Distributed Optimisation of Integrated Process Planning and Scheduling in Smart Factories. In: The Genetic and Evolutionary Computation Conference. , CZE . (In Press)

Conference or Workshop Item

Zhao, Shuai and Wellings, Andrew John orcid.org/0000-0002-3338-0623 (2017) Investigating the Correctness and Efficiency of MrsP in Fully Partitioned Systems. In: 10th York Doctoral Symposium on Computer Science and Electronic Engineering, 17 Nov 2017.

Garrido, Jose, Zhao, Shuai, Burns, Alan orcid.org/0000-0001-5621-8816 et al. (1 more author) (2017) Supporting Nested Resources in MrsP. In: Reliable Software Tecnologies, 01 Jun 2017.

Proceedings Paper

Chen, Nan, Zhao, Shuai, Gray, Ian orcid.org/0000-0003-1150-9905 et al. (3 more authors) (2023) Precise Response Time Analysis for Multiple DAG Tasks with Intra-task Priority Assignment. In: Proc. 29th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). UNSPECIFIED. IEEE , pp. 174-184.

Zhao, Shuai, Dai, Xiaotian orcid.org/0000-0002-6669-5234, Lesage, Benjamin Michael Jean-Rene et al. (1 more author) (2023) Cache-Aware Allocation of Parallel Jobs on Multi-cores based on Learned Recency. In: Proceedings of the 31st International Conference on Real-Time Networks and Systems. UNSPECIFIED. , pp. 177-187.

Lesage, Benjamin Michael Jean-Rene, Dai, Xiaotian orcid.org/0000-0002-6669-5234, Zhao, Shuai et al. (1 more author) (2023) Reducing Loss of Service for Mixed-Criticality Systems through Cache-and Stress-Aware Scheduling. In: Proceedings of the 31st International Conference on Real-Time Networks and Systems. UNSPECIFIED. , pp. 188-199.

Jiang, Zhe, Dai, Xiaotian orcid.org/0000-0002-6669-5234, Zhao, Shuai et al. (2 more authors) (2023) Many-Core Real-Time Network-on-Chip I/O Systems for Reducing Contention and Enhancing Predictability. In: CPS-IoT Week '23:Proceedings of Cyber-Physical Systems and Internet of Things Week 2023. Cyber-Physical Systems and Internet of Things Week, 09-12 May 2023. ACM , USA , 227–233.

Dai, Xiaotian orcid.org/0000-0002-6669-5234, Zhao, Shuai, Lesage, Benjamin Michael Jean-Rene et al. (1 more author) (2022) Using digital twins in the development of complex dependable real-time embedded systems. In: International Symposium on Leveraging Applications of Formal Methods:. Leveraging Applications of Formal Methods, Verification and Validation. Practice, 22-30 Oct 2022. Lecture Notes in Computer Science (LNCS) . Springer , GRC , pp. 37-53.

Dai, Xiaotian orcid.org/0000-0002-6669-5234, Zhao, Shuai, Bate, Iain John orcid.org/0000-0003-2415-8219 et al. (3 more authors) (2021) Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems --- Requirements and Open Challenges. In: IEEE Real-Time and Embedded Technology and Applications Symposium. UNSPECIFIED. . (In Press)

Dai, Xiaotian orcid.org/0000-0002-6669-5234, Zhao, Shuai, Jiang, Yu et al. (3 more authors) (2020) Fixed-Priority Scheduling and Controller Co-Design for Time-Sensitive Networks. In: IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2020). UNSPECIFIED. IEEE .

Zhao, Shuai, Jiang, Zhe, Dai, Xiaotian orcid.org/0000-0002-6669-5234 et al. (3 more authors) (2020) Timing-accurate general-purpose I/O for multi- and many-core systems : scheduling and hardware support. In: Design Automation Conference (DAC). UNSPECIFIED. . (In Press)

Chang, Wanli orcid.org/0000-0002-4053-8898, Roy, Debayan, Zhao, Shuai et al. (2 more authors) (2020) CPS-oriented modeling and control of traffic signals using adaptive back pressure. In: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE). UNSPECIFIED. IEEE , pp. 1686-1691.

Zhao, Shuai, Dai, Xiaotian orcid.org/0000-0002-6669-5234, Bate, Iain orcid.org/0000-0003-2415-8219 et al. (2 more authors) (2020) DAG Scheduling and Analysis on Multiprocessor Systems: Exploitation of Parallelism and Dependency. In: IEEE Real-Time Systems Symposium. UNSPECIFIED. IEEE .

Dziurzanski, Piotr, Zhao, Shuai and Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 (2019) Integrated Process Planning and Scheduling in Commercial Smart Kitchens. In: International Workshop on Reconfigurable and Communication-centric Cyber-Physical Systems (ReCoCyPS 2019). International Workshop on Reconfigurable and Communication-centric Cyber-Physical Systems, 02 Jul - 07 Aug 2019. , GBR .

Zhao, Shuai, Dziurzanski, Piotr and Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 (2019) An XML-based Factory Description Language for Smart Manufacturing Plants in Industry 4.0 : Factory Description Language. In: International Workshop on Reconfigurable and Communication-centric Cyber-Physical Systems. UNSPECIFIED. .

Chang, Wanli orcid.org/0000-0002-4053-8898, Zhao, Shuai, Wei, Ran et al. (2 more authors) (2019) From Java to real-time Java : A model-driven methodology with automated toolchain. In: LCTES 2019::Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems. 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, 22 Jun 2019. ACM , USA , pp. 123-134.

Dziurzanski, Piotr, Zhao, Shuai, Swan, Jerry et al. (3 more authors) (2019) Solving the Multi-Objective Flexible Job-Shop Scheduling Problem with Alternative Recipes for a Chemical Production Process. In: Kaufmann, Paul and Castillo, Pedro A., (eds.) Applications of Evolutionary Computation - 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , pp. 33-48.

Zhao, Shuai, Garrido, Jose, Burns, Alan orcid.org/0000-0001-5621-8816 et al. (1 more author) (2017) New Schedulability Analysis for MrsP. In: 2017 IEEE 23rd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 01 Sep 2017. IEEE , p. 1.