Kangfeng Ye

If you made any changes in Pure these will be visible here soon.

Formally Verified Animation for RoboChart using Interaction Trees
Ye, K., Foster, S. & Woodcock, J., 16 Mar 2023.
Research output: Working paper › Preprint

File
Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment
Adam, M., Ye, K., Anisi, D., Cavalcanti, A. L. C., Woodcock, J. & Morris, R., 25 May 2023, (Accepted/In press) Proceedings.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Formally Verified Animation for RoboChart Using Interaction Trees
Ye, K., Foster, S. & Woodcock, J., 10 Oct 2022, Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Proceedings. Riesco, A. & Zhang, M. (eds.). Springer, p. 404-420 17 p. (Lecture Notes in Computer Science ; vol. 13478).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File

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

Collaborations and top research areas from the last five years