Kangfeng Ye

ORCID

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 15

Top Venues

CoRR

RAMiCS

J. Log. Algebraic Methods Program.

Int. J. Softw. Tools Technol. Transf.

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Kangfeng Ye, Simon Foster, Jim Woodcock
Formally verified animation for RoboChart using interaction trees. J. Log. Algebraic Methods Program. 137 (2024)
Kangfeng Ye, Fang Yan, Simos Gerasimou
Quantitative Assurance and Synthesis of Controllers from Activity Diagrams. CoRR (2024)
Kangfeng Ye, Jim Woodcock
RoboCertProb: Property Specification for Probabilistic RoboChart Models. CoRR (2024)
Mustafa Adam, Kangfeng Ye, David A. Anisi, Ana Cavalcanti, Jim Woodcock, Robert Morris
Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment. CASE (2023)
Kangfeng Ye, Jim Woodcock, Simon Foster
Probabilistic relations for modelling epistemic and aleatoric uncertainty: its semantics and automated reasoning with theorem proving. CoRR (2023)
Kangfeng Ye, Simon Foster, Jim Woodcock
Formally Verified Animation for RoboChart using Interaction Trees. CoRR (2023)
Kangfeng Ye, Simon Foster, Jim Woodcock
Formally Verified Animation for RoboChart Using Interaction Trees. ICFEM (2022)
Kangfeng Ye, Ana Cavalcanti, Simon Foster, Alvaro Miyazawa, Jim Woodcock
Probabilistic modelling and verification using RoboChart and PRISM. Softw. Syst. Model. 21 (2) (2022)
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
Automated verification of reactive and concurrent programs by calculation. J. Log. Algebraic Methods Program. 121 (2021)
Kangfeng Ye, Simon Foster, Jim Woodcock
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving. RAMiCS (2021)
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
Automated Verification of Reactive and Concurrent Programs by Calculation. CoRR (2020)
Jim Woodcock, Ana Cavalcanti, Simon Foster, Alexandre Mota, Kangfeng Ye
Probabilistic Semantics for RoboChart - A Weakest Completion Approach. UTP (2019)
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. RAMiCS (2018)
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. CoRR (2018)
Kangfeng Ye, Jim Woodcock
by linking to CSP ‖ B. Int. J. Softw. Tools Technol. Transf. 19 (1) (2017)

Kangfeng Ye.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kangfeng Ye