Kangfeng Ye - RankMe

26 papers B 1C 4Journal 16Unranked 4

Year	Rank	Type	Title / 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