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 IEEE Real-Time Systems Symposium (RTSS), 2020 | 49 | 2020 |
All in one network for driver attention monitoring D Yang, X Li, X Dai, R Zhang, L Qi, W Zhang, Z Jiang IEEE International Conference on Acoustics, Speech and Signal Processing …, 2020 | 38 | 2020 |
Period adaptation of real-time control tasks with fixed-priority scheduling in cyber-physical systems X Dai, A Burns Journal of Systems Architecture (JSA) 103, 101691, 2020 | 31 | 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 |
MCS-IOV: Real-time I/O virtualization for mixed-criticality systems Z Jiang, N Audsley, P Dong, N Guan, X Dai, L Wei IEEE Real-Time Systems Symposium (RTSS), 326-338, 2019 | 23 | 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 | 18 | 2022 |
Toward an analysable, scalable, energy-efficient I/O virtualization for mixed-criticality systems Z Jiang, X Dai, P Dong, R Wei, D Yang, NC Audsley, N Guan IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2021 | 13 | 2021 |
reTSN: Resilient and Efficient Time-Sensitive Network for Automotive In-Vehicle Communication J Zou, X Dai, JA McDermid IEEE Transactions on Computer Aided Design of Integrated Circuits & Systems, 2022 | 10 | 2022 |
HIART-MCS: High Resilience and Approximated Computing Architecture for Imprecise Mixed-Criticality Systems Z Jiang, X Dai, N Audsley IEEE Real-Time Systems Symposium (RTSS), 290-303, 2021 | 9 | 2021 |
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 |
Predicting worst-case execution time trends in long-lived real-time systems X Dai, A Burns Reliable Software Technologies–Ada-Europe 2017: 22nd Ada-Europe …, 2017 | 7 | 2017 |
A high-resilience imprecise computing architecture for mixed-criticality systems Z Jiang, X Dai, A Burns, N Audsley, Z Gu, I Gray IEEE Transactions on Computers 72 (1), 29-42, 2022 | 5 | 2022 |
Cache-aware allocation of parallel jobs on multi-cores based on learned recency S Zhao, X Dai, B Lesage, I Bate Proceedings of the 31st International Conference on Real-Time Networks and …, 2023 | 3 | 2023 |
Line-Circle-Square (LCS): A multilayered geometric filter for edge-based detection SA Tafrishi, X Dai, VE Kandjani Robotics and Autonomous Systems, 103732, 2021 | 3 | 2021 |
Evolvement of scheduling theories for autonomous vehicles W Chang, N Chen, S Zhao, X Dai Machine Learning and Optimization Techniques for Automotive Cyber-Physical …, 2023 | 2 | 2023 |
Using digital twins in the development of complex dependable real-time embedded systems X Dai, S Zhao, B Lesage, I Bate International Symposium on Leveraging Applications of Formal Methods, 37-53, 2022 | 2 | 2022 |
Brief industry paper: Digital twin for dependable multi-core real-time systems—requirements and open challenges X Dai, S Zhao, I Bate, A Burns, X Guo, W Chang 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium …, 2021 | 2 | 2021 |
Flexible and Adaptive Real-Time Task Scheduling in Cyber-Physical Control Systems X Dai University of York, 2019 | 2 | 2019 |