Items where Author is "Wei, Ran"

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

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

Wei, Ran and Zolotas, Athanasios and Hoyos Rodriguez, Horacio and Gerasimou, Simos and Kolovos, Dimitrios S. and Paige, Richard F. (2020) Automatic generation of UML profile graphical editors for Papyrus. Software and Systems Modeling, 19. pp. 1083-1106. ISSN 1619-1366

Wei, Ran and Kelly, Tim P. and Dai, Xiaotian and Zhao, Shuai and Hawkins, Richard (2019) Model based system assurance using the structured assurance case metamodel. Journal of Systems and Software, 154. pp. 211-233. ISSN 0164-1212

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.

Wei, Ran and Kolovos, Dimitrios S. and Garcia-Dominguez, Antonio and Barmpis, Konstantinos and Paige, Richard F. (2016) Partial loading of XMI models. In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems - MODELS '16 :. ACM, pp. 329-339. ISBN 9781450343213