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

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

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]