Yiannis Charalambous
Scholar

Yiannis Charalambous

Google Scholar ID: Xbj8WZEAAAAJ
Casual Research Assistant, University of Manchester
Computer ScienceStatic VerificationSoftware Security
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
123
 
H-index
3
 
i10-index
1
 
Publications
7
 
Co-authors
2
list available
Contact
No contact links provided.
Publications
3 items
ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification
2026
Cited
0
UnitTenX: Generating Tests for Legacy Packages with AI Agents Powered by Formal Verification
2025
Cited
0
Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches
arXiv.org · 2024
Cited
6
Resume (English only)
Co-authors
2 total
Lucas C. Cordeiro
Lucas C. Cordeiro
Professor of Computer Science, University of Manchester
Youcheng Sun
Youcheng Sun
MBZUAI, Honorary SL@UoM