Kangfeng Ye

26 papers B 1C 4Journal 16Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Abel's Limit Theorem.
Arch. Formal Proofs
Kangfeng Ye
2025 J jnl
Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version).
CoRR
Kangfeng Ye, Roberto Metere, Jim Woodcock, Poonam Yadav
2025 C conf
Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks.
ICFEM
Kangfeng Ye, Roberto Metere, Jim Woodcock, Poonam Yadav
2025 J jnl
Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment.
CoRR
Mustafa Adam, Kangfeng Ye, David A. Anisi, Ana Cavalcanti, Jim Woodcock, Robert Morris
2024 — conf
A Tour Through the Programming Choices: Semantics and Applications.
The Application of Formal Methods
Pedro Ribeiro, Kangfeng Ye, Frank Zeyda, Alvaro Miyazawa
2024 J jnl
Formally verified animation for RoboChart using interaction trees.
J. Log. Algebraic Methods Program.
Kangfeng Ye, Simon Foster, Jim Woodcock
2024 J jnl
Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: Semantics and automated reasoning with theorem proving.
Theor. Comput. Sci.
Kangfeng Ye, Jim Woodcock, Simon Foster
2024 J jnl
Quantitative Assurance and Synthesis of Controllers from Activity Diagrams.
CoRR
Kangfeng Ye, Fang Yan, Simos Gerasimou
2024 J jnl
RoboCertProb: Property Specification for Probabilistic RoboChart Models.
CoRR
Kangfeng Ye, Jim Woodcock
2024 — conf
Towards Achieving Energy Efficiency and Service Availability in 6G O-RAN via Formal Verification.
DataMod
Roberto Metere, Kangfeng Ye, Yue Gu, Zhi Zhang, Dalal Alrajeh, Michele Sevegnani, Poonam Yadav
2024 J jnl
Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification.
CoRR
Roberto Metere, Kangfeng Ye, Yue Gu, Zhi Zhang, Dalal Alrajeh, Michele Sevegnani, Poonam Yadav
2024 B conf
User-Guided Verification of Security Protocols via Sound Animation.
SEFM
Kangfeng Ye, Roberto Metere, Poonam Yadav
2024 J jnl
User-Guided Verification of Security Protocols via Sound Animation.
CoRR
Kangfeng Ye, Roberto Metere, Poonam Yadav
2023 J jnl
Formally Verified Animation for RoboChart using Interaction Trees.
CoRR
Kangfeng Ye, Simon Foster, Jim Woodcock
2023 — conf
Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment.
CASE
Mustafa Adam, Kangfeng Ye, David A. Anisi, Ana Cavalcanti, Jim Woodcock, Robert Morris
2023 J jnl
Probabilistic relations for modelling epistemic and aleatoric uncertainty: its semantics and automated reasoning with theorem proving.
CoRR
Kangfeng Ye, Jim Woodcock, Simon Foster
2022 C conf
Formally Verified Animation for RoboChart Using Interaction Trees.
ICFEM
Kangfeng Ye, Simon Foster, Jim Woodcock
2022 J jnl
Probabilistic modelling and verification using RoboChart and PRISM.
Softw. Syst. Model.
Kangfeng Ye, Ana Cavalcanti, Simon Foster, Alvaro Miyazawa, Jim Woodcock
2021 C conf
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving.
RAMiCS
Kangfeng Ye, Simon Foster, Jim Woodcock
2021 J jnl
Automated verification of reactive and concurrent programs by calculation.
J. Log. Algebraic Methods Program.
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
2020 J jnl
Automated Verification of Reactive and Concurrent Programs by Calculation.
CoRR
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
2019 — conf
Probabilistic Semantics for RoboChart - A Weakest Completion Approach.
UTP
Jim Woodcock, Ana Cavalcanti, Simon Foster, Alexandre Mota, Kangfeng Ye
2018 C conf
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra.
RAMiCS
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
2018 J jnl
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra.
CoRR
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
2017 J jnl
Model checking of state-rich formalism
Int. J. Softw. Tools Technol. Transf.
Kangfeng Ye, Jim Woodcock
2016 — —
Model checking of state-rich formalisms (by linking to combination of state-based formalism and process algebra).
Kangfeng Ye