Publications

Kangfeng Ye, Fang Yan, Simos Gerasimou (2024). Quantitative Assurance and Synthesis of Controllers from Activity Diagrams.

Cite arXiv

Kangfeng Ye, Simon Foster, Jim Woodcock (2024). Formally verified animation for RoboChart using interaction trees. Journal of Logical and Algebraic Methods in Programming.

Cite DOI URL

Kangfeng Ye, Jim Woodcock, Simon Foster (2023). Probabilistic relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving.

Cite arXiv

Mustafa Adam, Kangfeng Ye, David A. Anisi, Ana Cavalcanti, Jim Woodcock, Robert Morris (2023). Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment. 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE).

Cite DOI

Kangfeng Ye, Simon Foster, Jim Woodcock (2023). Formally Verified Animation for RoboChart using Interaction Trees.

Cite arXiv

Kangfeng Ye, Simon Foster, Jim Woodcock (2022). Formally Verified Animation for RoboChart Using Interaction Trees. Formal Methods and Software Engineering.

PDF Cite DOI

<ins>Kangfeng Ye</ins>, Simon Foster, Jim Woodcock (2021). Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving. Relational and Algebraic Methods in Computer Science.

PDF Cite DOI

<ins>Kangfeng Ye</ins>, Ana Cavalcanti, Simon Foster, Alvaro Miyazawa, Jim Woodcock (2021). Probabilistic modelling and verification using RoboChart and PRISM. Software and Systems Modeling.

PDF DOI

Jim Woodcock, Simon Foster, Alexandre Mota, <ins>Kangfeng Ye</ins> (2021). RoboStar Technology: Modelling Uncertainty in RoboChart Using Probability. Software Engineering for Robotics.

PDF Cite DOI

Simon Foster, <ins>Kangfeng Ye</ins>, Ana Cavalcanti, Jim Woodcock (2021). Automated verification of reactive and concurrent programs by calculation. Journal of Logical and Algebraic Methods in Programming.

PDF Cite DOI

Simon Foster, <ins>Kangfeng Ye</ins>, Ana Cavalcanti, Jim Woodcock (2020). Automated Verification of Reactive and Concurrent Programs by Calculation. CoRR.

PDF

<ins>Kangfeng Ye</ins>, Simon Foster, Jim Woodcock (2020). Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP. From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday.

PDF DOI

Jim Woodcock, Ana Cavalcanti, Simon Foster, Alexandre Mota, <ins>Kangfeng Ye</ins> (2019). Probabilistic Semantics for RoboChart - A Weakest Completion Approach. Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings.

PDF DOI

<ins>Kangfeng Ye</ins>, Simon David Foster, JAMES Charles Paul Woodcock (2018). Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP.

PDF

Simon Foster, <ins>Kangfeng Ye</ins>, Ana Cavalcanti, Jim Woodcock (2018). Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. Relational and Algebraic Methods in Computer Science.

PDF DOI

Simon Foster, <ins>Kangfeng Ye</ins>, Ana Cavalcanti, Jim Woodcock (2018). Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. CoRR.

PDF

<ins>Kangfeng Ye</ins>, Jim Woodcock (2017). Model checking of state-rich formalism by linking to $$CSP,‖ ,B$$CSP‖B. International Journal on Software Tools for Technology Transfer.

PDF DOI