Home > Research > Researchers > Dr Ran Wei > Publications

Research

Dr Ran Wei

Senior Lecturer in Computer Science

1 - 10 out of 15Page size: 10
RSS feed of this list
  1. 2025
  2. Published

    MESC: Re-thinking Algorithmic Priority and/or Criticality Inversions for Heterogeneous MCSs

    Guan, J., Wei, R., You, D., Wang, Y., Yang, R., Wang, H. & Jiang, Z., 21/01/2025, 2024 IEEE Real-Time Systems Symposium (RTSS). IEEE, p. 1-14 14 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  3. 2024
  4. Published

    Towards an extensible model-based digital twin framework for space launch vehicles

    Wei, R., Yang, R., Liu, S., Fan, C., Zhou, R., Wu, Z., Wang, H., Cai, Y. & Jiang, Z., 30/09/2024, In: Journal of Industrial Information Integration. 41, 100641.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  5. Forthcoming

    ROTA-I/O: Hardware/Algorithm Co-design for Real-Time I/O Control with Improved Timing Accuracy and Robustness

    Jiang, Z., Zhao, S., Wei, R., Si, X., Chen, G. & Guan, N., 26/09/2024, (Accepted/In press) Real Time Systems Symposium (RTSS) 2024. IEEE

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  6. Published

    ACCESS: Assurance Case Centric Engineering of Safety–critical Systems

    Wei, R., Foster, S., Mei, H., Yan, F., Yang, R., Habli, I., O’Halloran, C., Tudor, N., Kelly, T. & Nemouchi, Y., 1/07/2024, In: Journal of Systems and Software. 213, 112034.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  7. Published

    DECISIVE: Designing Critical Systems With Iterative Automated Safety Analysis

    Wei, R., Jiang, Z., Guo, X., Yang, R., Mei, H., Zolotas, A. & Kelly, T., 1/05/2024, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 43, 5, p. 1346-1359 14 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  8. Published

    Automated model based assurance case management using constrained natural language

    Wei, R., Jiang, Z., Mei, H., Barmpis, K., Foster, S., Kelly, T. & Zhuang, Y., 31/01/2024, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 43, 1, p. 291-304 14 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  9. 2023
  10. Published

    NPRC-I/O: A NoC-based Real-Time I/O System with Reduced Contention and Enhanced Predictability

    Jiang, Z., Dai, X., Wei, R., Gray, I., Gu, Z., Zhao, Q. & Zhao, S., 31/12/2023, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 42, 12, p. 4629-4642 14 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  11. Published

    Development of Precision Angle Position Indicator Based on Virtual Instruments

    Li, Y., Shuqiang, W., Zhiyuan, H., Biye, L., Xiating, L. & Ran, W., 27/07/2023, 2023 IEEE 10th International Workshop on Metrology for AeroSpace, MetroAeroSpace 2023 - Proceedings. IEEE, p. 683-687 5 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  12. Published

    Many-Core Real-Time Network-on-Chip I/O Systems for Reducing Contention and Enhancing Predictability

    Jiang, Z., Dai, X., Zhao, S., Wei, R. & Gray, I., 9/05/2023, CPS-IoT Week '23: Proceedings of Cyber-Physical Systems and Internet of Things Week 2023eek 2023. New York: ACM, p. 227-233 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  13. 2022
  14. Published

    Designing critical systems with iterative automated safety analysis

    Wei, R., Jiang, Z., Guo, X., Mei, H., Zolotas, A. & Kelly, T., 23/08/2022, 59th ACM/IEEE Design Automation Conference. ACM, p. 181-186

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Previous 1 2 Next

Back to top