Skip to main navigation
Skip to search
Skip to main content
Research Explorer The University of Manchester Home
Home
Profiles
Research units
Research output
Projects
Impacts
Activities
Press/Media
Prizes
Equipment
Datasets
Student theses
Search by expertise, name or affiliation
Lucas Cordeiro
Professor of Computer Science
,
Systems and Software Security
https://orcid.org/0000-0002-6235-4272
Overview
Fingerprint
Network
Research output
(136)
Projects
(4)
Datasets
(1)
Similar Profiles
(6)
Supervised Work
(8)
Research output
55
Conference contribution
46
Article
13
Chapter
9
Other contribution
13
More
5
Paper
3
Preprint
1
Entry for encyclopedia/dictionary
1
Abstract
1
Poster
1
Conference article
1
Software
Research output per year
Research output per year
3 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Preprint
Search results
2024
Automated Repair of AI Code with Large Language Models and Formal Verification
Charalambous, Y.
,
Manino, E.
&
Cordeiro, L. C.
,
14 May 2024
.
Research output
:
Preprint/Working paper
›
Preprint
File
42
Downloads (Pure)
FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning
Alshmrany, K. M.
,
Aldughaim, M.
,
Wei, C.
, Sweet, T.,
Allmendinger, R.
&
Cordeiro, L. C.
,
9 Apr 2024
.
Research output
:
Preprint/Working paper
›
Preprint
File
27
Downloads (Pure)
2023
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
Charalambous, Y.
, Tihanyi, N., Jain, R.,
Sun, Y.
, Ferrag, M. A. &
Cordeiro, L. C.
,
24 May 2023
.
Research output
:
Preprint/Working paper
›
Preprint
File
41
Downloads (Pure)