Kangfeng Ye — York Research Database

Phone(01904) 325428
Emailkangfeng.yeyork.acuk

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

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

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
Probabilistic modelling and verification, and Animation in RoboChart
Ye, K., 11 Oct 2022.
Research output: Contribution to conference › Poster

Open Access
File
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving
Ye, K., Foster, S. & Woodcock, J., 22 Oct 2021, Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Proceedings. Fahrenberg, U., Gehrke, M., Santocanale, L. & Winter, M. (eds.). Springer, p. 465-482 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13027 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File

1 Public engagement and outreach (general)
1 Workshop

Tutorial on Isabelle/UTP
Kangfeng Ye (Speaker) & Zhiming Liu (Chair)
14 May 2019 → 15 May 2019
Activity: Talk or presentation › Workshop
Engineering Robotic Swarms
James Baxter (Speaker), Kangfeng Ye (Speaker), Richard Alan Redpath (Other) & Jonathan Ian Timmis (Speaker)
22 Mar 2019
Activity: Other › Public engagement and outreach (general)