Läser in ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Citat per år
Dubblettcitat
Följande artiklar är sammanfogade i Scholar. Deras
kombinerade citat
räknas endast för den första artikeln.
Sammanfogade citat
Antalet "Citeras av" inkluderar citat till följande artiklar i Scholar. Stjärnmärkta
*
citat kan skilja sig från artikeln i profilen.
Lägg till medförfattare
Medförfattare
Följ
Nya artiklar av denna författare
Nya källreferenser till denna författare
Nya artiklar relaterade till denna författares forskning
E-postadress för uppdateringar
Klar
Min profil
Mitt bibliotek
Statistik
Meddelande
Inställningar
Logga in
Logga in
Skapa en profil
Citeras av
Alla
Sedan 2019
Citat
22
21
h-index
1
1
i10-index
1
1
0
14
7
2023
2024
13
8
Medförfattare
Lucas C. Cordeiro
Reader, Dept of Computer Science, University of Manchester
Verifierad e-postadress på manchester.ac.uk
Youcheng Sun
Lecturer, University of Manchester
Verifierad e-postadress på manchester.ac.uk
Följ
Yiannis Charalambous
Casual Research Assistant,
University of Manchester
Verifierad e-postadress på student.manchester.ac.uk -
Startsida
Computer Science
Static Verification
Software Security
Artiklar
Citeras av
Medförfattare
Titel
Sortera
Sortera efter citat
Sortera efter år
Sortera efter titel
Citeras av
Citeras av
År
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
22
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–2
Visa fler
Integritet
Villkor
Hjälp
Om Scholar
Sök i hjälpen