Kangfeng Ye

Search results

• 2024

  Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification

  Metere, R., Ye, K., Gu, Y., Zhang, Z., Alrajeh, D., Sevegnani, M. & Yadav, P., 6 Nov 2024, arXiv, 22 p.

  Research output: Working paper › Preprint

  File
• 2023

  Formally Verified Animation for RoboChart using Interaction Trees

  Ye, K., Foster, S. & Woodcock, J., 16 Mar 2023.

  Research output: Working paper › Preprint

  File
• 2020

  Automated Verification of Reactive and Concurrent Programs by Calculation

  Foster, S., Ye, K., Cavalcanti, A. & Woodcock, J., 27 Jul 2020.

  Research output: Working paper › Preprint

  File