Yiannis Charalambous
Orcid: 0009-0000-5755-5099
According to our database1,
Yiannis Charalambous authored at least 8 papers
between 2023 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
GeCoIn 2025: UnitTenX: Generating Tests For Legacy Packages with AI Agents Powered by Formal Verification.
Dataset, August, 2025
VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Formal Methods.
Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025
UnitTenX: Generating Tests for Legacy Packages with AI Agents Powered by Formal Verification.
Proceedings of the Generative Code Intelligence Workshop (GeCoIn 2025) co-located with 28th European Conference on Artificial Intelligence (ECAI 2025), 2025
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification.
Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2025
2024
CoRR, 2024
Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches.
CoRR, 2024
2023
Dataset for : A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification.
Dataset, June, 2023
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification.
CoRR, 2023