Kangfeng Ye - York Research Database

Phone(01904) 325428
Emailkangfeng.yeyork.acuk

6 Conference contribution
5 Article
3 Chapter
3 Preprint
More
- 1 Poster
- 1 Working paper

Towards Achieving Energy Efficiency and Service Availability in 6G O-RAN via Formal Verification
Metere, R., Ye, K., Gu, Y., Zhang, Z., Alrajeh, D., Sevegnani, M. & Yadav, P., 19 Apr 2025, 12th International Symposium FROM DATA TO MODELS AND BACK (DATAMOD 2024). Czekster, R. & Milazzo, P. (eds.). Springer, Vol. 15556. p. 137-157 21 p. (Lecture Notes in Computer Science; vol. 15556).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
A Tour Through the Programming Choices: Semantics and Applications
Ribeiro, P., Ye, K., Zeyda, F. & Miyazawa, A., 1 Sept 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): The Application of Formal Methods. Foster, S. & Sampaio, A. (eds.). Springer Science and Business Media Deutschland GmbH, Vol. 14900. p. 261-305 45 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14900 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Chapter

Open Access
File
Formally verified animation for RoboChart using interaction trees
Ye, K., Foster, S. & Woodcock, J., Feb 2024, In: Journal of Logical and Algebraic Methods in Programming. 137, 36 p., 100940.
Research output: Contribution to journal › Article › peer-review

Open Access
File

1 Public engagement and outreach (general)
1 Invited talk
1 Talk
1 Workshop

A Journal-first presentation, invited in MODELS2022
Ye, K. (Speaker)
27 Oct 2022
Activity: Talk or presentation › Invited talk
A conference presentation for our paper - Formally Verified Animation for RoboChart Using Interaction Trees
Ye, K. (Speaker)
26 Oct 2022
Activity: Talk or presentation › Talk
Tutorial on Isabelle/UTP
Ye, K. (Speaker) & Liu, Z. (Chair)
14 May 2019 → 15 May 2019
Activity: Talk or presentation › Workshop

PRISM models and results for the QoS Analysis for ORAN xApps
Ye, K. (Creator), GitHub, 11 Oct 2024
https://github.com/RandallYe/ORAN-xApp-QoS-PRISM-Models
Dataset