‪Yiannis Charalambous‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	23	22
h-index	1	1
i10-index	1	1

0

14

7

2023202413 9

Co-authors

Lucas C. CordeiroReader, Dept of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Youcheng SunLecturer, University of ManchesterVerified email at manchester.ac.uk

Yiannis Charalambous

Yiannis Charalambous

Casual Research Assistant, University of Manchester

Verified email at student.manchester.ac.uk - Homepage

Computer Science Static Verification Software Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A new era in software security: Towards self-healing software via large language models and formal verification Y Charalambous, N Tihanyi, R Jain, Y Sun, MA Ferrag, LC Cordeiro arXiv preprint arXiv:2305.14752, 2023	23	2023
Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches VA Braberman, F Bonomo-Braberman, Y Charalambous, JG Colonna, ... arXiv preprint arXiv:2404.09384, 2024		2024

The system can't perform the operation now. Try again later.

Articles 1–2