Indlæser...
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Henvisninger pr. år
Dublerede henvisninger
Følgende artikler er flettet i Scholar. Deres
samlede henvisninger
tæller kun for den første artikel.
Flettede henvisninger
Antallet under "Citeret af" inkluderer henvisninger fra følgende artikler i Scholar. Dem, der er markeret med
*
, kan afvige fra artiklen i profilen.
Tilføj medforfattere
Medforfattere
Følg
Nye artikler af denne forfatter
Nye henvisninger til denne forfatter
Nye artikler relateret til denne forfatters videnskabelige undersøgelser
Mailadresse til opdateringer
Udfør
Min profil
Min samling
Metrics
Underretninger
Indstillinger
Log ind
Log ind
Få min egen profil
Citeret af
Alle
Siden 2019
Henvisninger
26
25
h-index
1
1
i10-indeks
1
1
0
14
7
2023
2024
13
12
Medforfattere
Lucas C. Cordeiro
Reader, Dept of Computer Science, University of Manchester
Verificeret mail på manchester.ac.uk
Youcheng Sun
Lecturer, University of Manchester
Verificeret mail på manchester.ac.uk
Følg
Yiannis Charalambous
Casual Research Assistant,
University of Manchester
Verificeret mail på student.manchester.ac.uk -
Startside
Computer Science
Static Verification
Software Security
Artikler
Citeret af
Medforfattere
Titel
Sortér
Sortér efter henvisninger
Sortér efter årstal
Sortér efter titel
Citeret af
Citeret af
Å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
26
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 ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–2
Vis flere
Privatliv
Vilkår
Hjælp
Om Scholar
Søg i Hjælp