Kangfeng Ye
Scholar

Kangfeng Ye

Google Scholar ID: PbLkCR8AAAAJ
Research Associate in Computer Science, University of York
probabilistic semanticsprobabilistic verificationprobabilistic modelstheorem provingmodel checking
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
143
 
H-index
8
 
i10-index
8
 
Publications
20
 
Co-authors
4
list available
Contact
No contact links provided.
Publications
3 items
Toward a Unified Security and Privacy Framework for AI-Native 6G Networks
2026
Cited
0
Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks
2025
Cited
0
Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment
2025
Cited
0
Resume (English only)
Co-authors
4 total
Jim Woodcock
Jim Woodcock
Professor of Software Engineering, University of York
Simon Foster
Simon Foster
Senior Lecturer in Computer Science, University of York
Ana Cavalcanti
Ana Cavalcanti
University of York
Co-author 4
Co-author 4