Items where Author is "Yang, Ruizhe"

Journal Article

Wei, Ran and Foster, Simon and Mei, Haitao and Yan, Fang and Yang, Ruizhe and Habli, Ibrahim and O’Halloran, Colin and Tudor, Nick and Kelly, Tim and Nemouchi, Yakoub (2024) ACCESS: Assurance Case Centric Engineering of Safety–critical Systems. Journal of Systems and Software, 213: 112034. ISSN 0164-1212

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

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