Items where Author is "Jiang, Zhe"

Journal Article

Wei, Ran and Jiang, Zhe and Guo, Xiaoran and Yang, Ruizhe and Mei, Haitao and Zolotas, Athanasios and Kelly, Tim (2024) DECISIVE : Designing Critical Systems With Iterative Automated Safety Analysis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 43 (5). pp. 1346-1359. ISSN 0278-0070

Wei, Ran and Jiang, Zhe and Mei, Haitao and Barmpis, Konstantinos and Foster, Simon and Kelly, Tim and Zhuang, Yan (2024) Automated model based assurance case management using constrained natural language. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 43 (1). pp. 291-304. ISSN 0278-0070

Jiang, Zhe and Dai, Xiaotian and Wei, Ran and Gray, Ian and Gu, Zonghua and Zhao, Qingling and Zhao, Shuai (2023) NPRC-I/O : A NoC-based Real-Time I/O System with Reduced Contention and Enhanced Predictability. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 42 (12). pp. 4629-4642. ISSN 0278-0070

Jiang, Zhe and Zhao, Shuai and Wei, Ran and Yang, Dawei and Paterson, Richard and Guan, Nan and Zhuang, Yan and Audsley, Neil C. (2022) Bridging the Pragmatic Gaps for Mixed-Criticality Systems in the Automotive Industry. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 41 (4). pp. 1116-1129. ISSN 0278-0070

Jiang, Zhe and Dai, Xiaotian and Dong, Pan and Wei, Ran and Yang, Dawei and Audsley, Neil C. and Guan, Nan (2022) Toward an Analysable, Scalable, Energy-Efficient I/O Virtualization for Mixed-Criticality Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 41 (2). pp. 320-333. ISSN 0278-0070

Contribution in Book/Report/Proceedings

Guan, Jiapeng and Wei, Ran and You, Dean and Wang, Yingquan and Yang, Ruizhe and Wang, Hui and Jiang, Zhe (2025) MESC : Re-thinking Algorithmic Priority and/or Criticality Inversions for Heterogeneous MCSs. In: 2024 IEEE Real-Time Systems Symposium (RTSS) :. IEEE, pp. 1-14. ISBN 9798331540272

Jiang, Zhe and Zhao, Shuai and Wei, Ran and Si, Xin and Chen, Gang and Guan, Nan (2024) ROTA-I/O : Hardware/Algorithm Co-design for Real-Time I/O Control with Improved Timing Accuracy and Robustness. In: Real Time Systems Symposium (RTSS) 2024 :. IEEE. (In Press)

Jiang, Zhe and Dai, Xiaotian and Zhao, Shuai and Wei, Ran and Gray, Ian (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 2023eek 2023 :. ACM, New York, pp. 227-233. ISBN 9798400700491

Wei, Ran and Jiang, Zhe and Guo, Xiaoran and Mei, Haitao and Zolotas, Athanasios and Kelly, Tim (2022) Designing critical systems with iterative automated safety analysis. In: 59th ACM/IEEE Design Automation Conference :. ACM, pp. 181-186.