Kangfeng Ye

According to our database, Kangfeng Ye authored at least 15 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2024

Formally verified animation for RoboChart using interaction trees.

Kangfeng Ye, Simon Foster, Jim Woodcock

J. Log. Algebraic Methods Program., February, 2024

Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: Semantics and automated reasoning with theorem proving.

Kangfeng Ye, Jim Woodcock, Simon Foster

Theor. Comput. Sci., 2024

RoboCertProb: Property Specification for Probabilistic RoboChart Models.

Kangfeng Ye, Jim Woodcock

CoRR, 2024

Quantitative Assurance and Synthesis of Controllers from Activity Diagrams.

Kangfeng Ye, Fang Yan, Simos Gerasimou

CoRR, 2024

User-Guided Verification of Security Protocols via Sound Animation.

Kangfeng Ye, Roberto Metere, Poonam Yadav

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

2023

Probabilistic relations for modelling epistemic and aleatoric uncertainty: its semantics and automated reasoning with theorem proving.

Kangfeng Ye, Jim Woodcock, Simon Foster

CoRR, 2023

Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment.

Mustafa Adam, Kangfeng Ye, David A. Anisi, Ana Cavalcanti, Jim Woodcock, Robert Morris

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

2022

Probabilistic modelling and verification using RoboChart and PRISM.

Kangfeng Ye, Ana Cavalcanti, Simon Foster, Alvaro Miyazawa, Jim Woodcock

Softw. Syst. Model., 2022

2021

Automated verification of reactive and concurrent programs by calculation.

Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock

J. Log. Algebraic Methods Program., 2021

Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving.

Kangfeng Ye, Simon Foster, Jim Woodcock

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2019

Automated Verification of Reactive and Concurrent Programs by Calculation, supporting material.

Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock

Dataset, November, 2019

Probabilistic Semantics for RoboChart - A Weakest Completion Approach.

Jim Woodcock, Ana Cavalcanti, Simon Foster, Alexandre Mota, Kangfeng Ye

Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

2018

Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra.

Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

2017

Model checking of state-rich formalism <i>Circus</i> by linking to CSP ‖ B.

Kangfeng Ye, Jim Woodcock

Int. J. Softw. Tools Technol. Transf., 2017

2016

Model checking of state-rich formalisms (by linking to combination of state-based formalism and process algebra).

Kangfeng Ye

PhD thesis, 2016