Items where authors include "Ye, Kangfeng"

Article

Ye, Kangfeng, Woodcock, Jim orcid.org/0000-0001-7955-2702 and Foster, Simon David orcid.org/0000-0002-9889-9514 (2024) Formally verified animation for RoboChart using interaction trees. Journal of Logical and Algebraic Methods in Programming. 100940. ISSN 2352-2216

Ye, Kangfeng, Foster, Simon orcid.org/0000-0002-9889-9514 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2024) Formally verified animation for RoboChart using interaction trees. Journal of Logical and Algebraic Methods in Programming. 100940. ISSN 2352-2216

Ye, Kangfeng, Cavalcanti, Ana orcid.org/0000-0002-0831-1976, Foster, Simon orcid.org/0000-0002-9889-9514 et al. (2 more authors) (2021) Probabilistic modelling and verification using RoboChart and PRISM. Software and Systems Modeling. ISSN 1619-1366

Foster, Simon orcid.org/0000-0002-9889-9514, Ye, Kangfeng, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 et al. (1 more author) (2021) Automated verification of reactive and concurrent programs by calculation. Journal of Logical and Algebraic Methods in Programming. 100681. ISSN 2352-2216

Ye, Kangfeng and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2017) Model checking of state-rich formalism Circus by linking to CSP∥B. International Journal on Software Tools for Technology Transfer. pp. 73-96. ISSN 1433-2779

Book Section

Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Ye, Kangfeng, Zeyda, Frank et al. (1 more author) (2024) A Tour Through the Programming Choices:Semantics and Applications. In: Foster, Simon and Sampaio, Auguto, (eds.) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer Science and Business Media Deutschland GmbH , pp. 261-305.

Monograph

Ye, Kangfeng, Foster, Simon David orcid.org/0000-0002-9889-9514 and Woodcock, JAMES Charles Paul orcid.org/0000-0001-7955-2702 Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP. Working Paper. (Unpublished)

Conference or Workshop Item

Ye, Kangfeng (2022) Probabilistic modelling and verification, and Animation in RoboChart. In: YorRobots and RoboStar Industry Exhibition, 11-12 Oct 2022, University of York.

Proceedings Paper

Ye, Kangfeng, Foster, Simon orcid.org/0000-0002-9889-9514 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2022) Formally Verified Animation for RoboChart Using Interaction Trees. In: Riesco, Adrian and Zhang, Min, (eds.) Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Proceedings. 23rd International Conference on Formal Engineering Methods, ICFEM 2022, 24-27 Oct 2022. Lecture Notes in Computer Science . Springer , ESP , pp. 404-420.

Ye, Kangfeng, Foster, Simon orcid.org/0000-0002-9889-9514 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2021) Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving. In: Fahrenberg, Uli, Gehrke, Mai, Santocanale, Luigi and Winter, Michael, (eds.) Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Proceedings. 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, 02-05 Nov 2021. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , FRA , pp. 465-482.

Foster, Simon David orcid.org/0000-0002-9889-9514, Ye, Kangfeng, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (1 more author) (2018) Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. In: Guttmann, Walter, Desharnais, Jules and Joosten, Stef, (eds.) Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , pp. 205-224.

Preprint

Metere, Roberto orcid.org/0000-0001-6992-4285, Ye, Kangfeng, Gu, Yue et al. (4 more authors) (2024) Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification. [Preprint]

Ye, Kangfeng, Foster, Simon orcid.org/0000-0002-9889-9514 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2023) Formally Verified Animation for RoboChart using Interaction Trees. [Preprint]

Foster, Simon orcid.org/0000-0002-9889-9514, Ye, Kangfeng, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 et al. (1 more author) (2020) Automated Verification of Reactive and Concurrent Programs by Calculation. [Preprint]