Personal information

Websites & social links

Lucas Cordeiro
The University of Manchester profile page

Other IDs

Scopus Author ID: 24328704500
Scopus Author ID: 24328704500

Keywords

bounded (and unbounded) model checking, automated testing, program synthesis, embedded & cyber-physical systems

Countries

United Kingdom

Activities

Collapse all

Employment (2)

The University of Manchester: Manchester, GB

Employment
Source: check_circle
University of Manchester - PURE

Federal University of Amazonas: Manaus, Amazonas, BR

2009-09-25 to 2016-06-30 | Adjunct Professor (Department of Electronic and Computing)
Employment
Source: Self-asserted source
Lucas Carvalho Cordeiro

Education and qualifications (1)

University of Southampton: Southampton, Hampshire, GB

2008-09 to 2011-05 | PhD in Computer Science (Dependable Systems and Software Engineering)
Education
Source: Self-asserted source
Lucas Carvalho Cordeiro

Funding (9)

Support for Scientific Production of the Research Group on Software and Systems Verification

2017 to 2019 | Grant
Amazonas State Research Funding Agency (FAPEAM) (Manaus, BR)
Source: Self-asserted source
Lucas Carvalho Cordeiro

DSVerifier: A Bounded Model Checking Tool to Verify Digital Systems with Uncertainties

2016 to 2017 | Grant
EPSRC Impact Acceleration Account (London, GB)
Source: Self-asserted source
Lucas Carvalho Cordeiro

Hardware and Software Verification Based on Mathematical Induction for Embedded Systems

2014 to 2016 | Grant
Amazonas State Research Funding Agency (FAPEAM) (Manaus, BR)
Source: Self-asserted source
Lucas Carvalho Cordeiro

Verification of C/C++ Programs Based on Multi-Core Processors

2014 to 2016 | Contract
Nokia Institute of Technology (INdT) (Manaus, BR)
Source: Self-asserted source
Lucas Carvalho Cordeiro

SMT-based Bounded Model Checking of Multi-threaded Programs

2014 to 2015 | Grant
British Council (London, GB)
Source: Self-asserted source
Lucas Carvalho Cordeiro

Research and training of human resources, at undergraduate and graduate courses, in the areas of industrial automation, software development for mobile devices, and digital TV

2013 to 2016 | Contract
Samsung / Institute of Development in Informatics (Manaus, BR)
Source: Self-asserted source
Lucas Carvalho Cordeiro

Verification of Temporal Properties in Embedded Software using Satisfiability Modulo Theories

2013 to 2016 | Grant
National Centre for Scientific and Technological Development (CNPq) (Brasilia, BR)
Source: Self-asserted source
Lucas Carvalho Cordeiro

Continuous Verification of C++ Programs Using SMT-based Bounded Model Checking

2011 to 2013 | Contract
Nokia Institute of Technology (INdT) (Manaus, BR)
Source: Self-asserted source
Lucas Carvalho Cordeiro

SMT-Based Bounded Model Checking Timed LTL Properties for Embedded Software

2011 to 2013 | Grant
Royal Society (London, GB)
Source: Self-asserted source
Lucas Carvalho Cordeiro

Works (50 of 123)

Items per page:
Page 1 of 3

Synthetic Data Aided Federated Learning Using Foundation Models

2025 | Book chapter
DOI: 10.1007/978-3-031-82240-7_8
Contributors: Fatima Z. Abacha; Sin G. Teo; Lucas C. Cordeiro; Mustafa A. Mustafa
Source: check_circle
Crossref

Verifying Components of Arm® Confidential Computing Architecture with ESBMC

2025 | Book chapter
DOI: 10.1007/978-3-031-74776-2_18
Contributors: Tong Wu; Shale Xiong; Edoardo Manino; Gareth Stockwell; Lucas C. Cordeiro
Source: check_circle
Crossref

Privacy-preserving and accountable billing in peer-to-peer energy trading markets with homomorphic encryption and blockchain

Sustainable Energy, Grids and Networks
2025-03 | Journal article
DOI: 10.1016/j.segan.2024.101568
Contributors: Kamil Erdayandi; Lucas C. Cordeiro; Mustafa A. Mustafa
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection with LLMs?

IEEE Transactions on Software Engineering
2025-03-05 | Journal article | Author
DOI: 10.1109/TSE.2025.3548168
SOURCE-WORK-ID:

09c2efdb-1d79-4bfe-88b6-6d529c1380a7
Contributors: Mohamed Amine Ferrag; Ammar Battah; Norbert Tihanyi; Ridhi Jain; Diana Maimuţ; Fatima Alwahedi; Thierry Lestable; Narinderjit Singh Thandi; Abdechakour Mechri; Merouane Debbah et al.
Source: check_circle
University of Manchester - PURE

Montague semantics and modifier consistency measurement in neural language models

Procceedings of The 31st International Conference on Computational Linguistics: COLING 2025
2025-01-19 | Conference paper | Author
SOURCE-WORK-ID:

f8792bbd-5bcf-40b8-b976-0300b179fdd4

ARXIV: http://arxiv.org/abs/2212.04310v3
Contributors: Danilo Silva De Carvalho; Edoardo Manino; Julia Rozanova; Lucas Carvalho Cordeiro; Andre Freitas
Source: check_circle
University of Manchester - PURE

Counterexample Guided Neural Network Quantization Refinement

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2024 | Journal article
DOI: 10.1109/TCAD.2023.3335313
Contributors: João Batista P. Matos; Eddie B. de Lima Filho; Iury Bessa; Edoardo Manino; Xidan Song; Lucas C. Cordeiro
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling

2024-10-27 | Conference paper
DOI: 10.1145/3691620.3695512
Contributors: Muhammad A. A. Pirzada; Giles Reger; Ahmed Bhayat; Lucas C. Cordeiro
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

ESBMC-Python: A Bounded Model Checker for Python Programs

2024-09-11 | Conference paper
DOI: 10.1145/3650212.3685304
Contributors: Bruno Farias; Rafael Menezes; Eddie B. de Lima Filho; Youcheng Sun; Lucas C. Cordeiro
Source: check_circle
Crossref

JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking

2024-09-11 | Conference paper
DOI: 10.1145/3650212.3685303
Contributors: Zaiyu Cheng; Tong Wu; Peter Schrammel; Norbert Tihanyi; Eddie B. de Lima Filho; Lucas C. Cordeiro
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

A Comprehensive Review of Model Compression Techniques in Machine Learning

Applied Intelligence
2024-09-02 | Journal article | Author
DOI: 10.1007/s10489-024-05747-w
SOURCE-WORK-ID:

1c15cef0-c6f5-4d13-a6d5-c3c23c9ce389

EID:

2-s2.0-85202911960
Contributors: Pierre Vilar Dantas; Waldir Sabino da Silva Junior; Lucas Carvalho Cordeiro; Celso Barbosa Carvalho
Source: check_circle
University of Manchester - PURE

Rapid Taint Assisted Concolic Execution (TACE)

2024-07-10 | Conference paper
DOI: 10.1145/3663529.3663812
Contributors: Ridhi Jain; Norbert Tihanyi; Mthandazo Ndhlovu; Mohamed Amine Ferrag; Lucas C. Cordeiro
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Improved Federated Learning with Non-IID Data Using Foundation Models

2024-07-03 | Conference poster | Author
DOI: 10.5281/zenodo.12635897
SOURCE-WORK-ID:

5bec2cb8-0bac-49da-b388-8ae0b064899f
Contributors: Fatima Zakari Abacha; Sin G. Teo; Lucas Carvalho Cordeiro; Mustafa A. Mustafa
Source: check_circle
University of Manchester - PURE

FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis

Formal Aspects of Computing
2024-06-26 | Journal article | Author
DOI: 10.1145/3665337
SOURCE-WORK-ID:

f63d85ef-bffb-4055-9d43-6ed0e6c02594

EID:

2-s2.0-85197344618
Contributors: Kaled Alshmrany; Mohannad Aldughaim; Ahmed Bhayat; Lucas Carvalho Cordeiro
Source: check_circle
University of Manchester - PURE
grade
Preferred source (of 2)‎

Revolutionizing Cyber Threat Detection with Large Language Models

IEEE Access
2024-02-06 | Journal article | Author
DOI: 10.1109/ACCESS.2024.3363469
SOURCE-WORK-ID:

3e1fc142-69d1-4d8f-83f5-8f2eb9eb39e0

EID:

2-s2.0-85184808429
Contributors: Mohamed Amine Ferrag; MTHANDAZO NDHLOVU; Norbert Tihanyi; Lucas Carvalho Cordeiro; Mérouane Debbah; THIERRY LESTABLE; NARINDERJIT SINGH THANDI
Source: check_circle
University of Manchester - PURE
grade
Preferred source (of 2)‎

EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs

2023 | Book chapter
DOI: 10.1007/978-3-031-30820-8_33
Contributors: Fatimah Aljaafari; Fedor Shmarov; Edoardo Manino; Rafael Menezes; Lucas C. Cordeiro
Source: check_circle
Crossref

Edge Learning for 6G-Enabled Internet of Things: A Comprehensive Survey of Vulnerabilities, Datasets, and Defenses

IEEE Communications Surveys & Tutorials
2023 | Journal article
DOI: 10.1109/COMST.2023.3317242
Contributors: Mohamed Amine Ferrag; Othmane Friha; Burak Kantarci; Norbert Tihanyi; Lucas Cordeiro; Merouane Debbah; Djallel Hamouda; Muna Al-Hawawreh; Kim-Kwang Raymond Choo
Source: check_circle
Crossref

FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation

2023 | Book chapter
DOI: 10.1007/978-3-031-30826-0_18
Contributors: Mohannad Aldughaim; Kaled M. Alshmrany; Mikhail R. Gadelha; Rosiane de Freitas; Lucas C. Cordeiro
Source: check_circle
Crossref

QNNRepair: Quantized Neural Network Repair

2023 | Book chapter
DOI: 10.1007/978-3-031-47115-5_18
Contributors: Xidan Song; Youcheng Sun; Mustafa A. Mustafa; Lucas C. Cordeiro
Source: check_circle
Crossref

Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration

XIII Brazilian Symposium on Computing Systems Engineering
2023-11-24 | Conference paper | Author
DOI: 10.1109/SBESC60926.2023.10324098
SOURCE-WORK-ID:

460144e1-f06f-4692-854e-2469e4707929

EID:

2-s2.0-85179886844
Contributors: Rafael G. Silvestrim; Felipe V. Trigo; Williame Rocha; Michael R. S. Vieira; Jogno V. Junior; Otoniel da C. Mendes; Rafael Sá Menezes; Lucas Carvalho Cordeiro
Source: check_circle
University of Manchester - PURE

A Privacy-Preserving and Accountable Billing Protocol for Peer-to-Peer Energy Trading Markets

International Conference on Smart Energy Systems and Technologies (SEST 2023)
2023-09-27 | Conference paper | Author
DOI: 10.48550/arXiv.2307.04501
DOI: 10.1109/SEST57387.2023.10257524
SOURCE-WORK-ID:

621e8b42-f6d0-4c81-b254-f36acfdc2336

EID:

2-s2.0-85174280612

Part of ISBN: 9798350397901
Contributors: Kamil Erdayandi; Lucas Carvalho Cordeiro; Mustafa A. Mustafa
Source: check_circle
University of Manchester - PURE

LSVerifier: A BMC Approach to Identify Security Vulnerabilities in C Open-Source Software Projects

XXIII Brazilian Symposium on Information and Computational Systems Security
2023-09-18 | Conference paper | Author
DOI: 10.5753/sbseg_estendido.2023.235802
SOURCE-WORK-ID:

eea4463f-a55f-40ba-8695-d7a600f5dbdd
Contributors: Janislley Oliveira de Sousa; Bruno Carvalho de Farias; Thales Araujo da Silva; Eddie Batista de Lima Filho; Lucas Carvalho Cordeiro
Source: check_circle
University of Manchester - PURE

Evaluation of Ginga’s CC-Web-Service Module

IEEE International Conference on Consumer Electronics – Taiwan, 2023
2023-08-31 | Conference paper | Author
DOI: 10.1109/ICCE-Taiwan58799.2023.10226701
SOURCE-WORK-ID:

8302bc56-f8c6-40f4-a6ed-be0a86c43d4f

EID:

2-s2.0-85174969708
Contributors: Sergillam Barroso Oliveira; Andre Ricardo da Silva Conceicao; Eddie Batista de Lima Filho; Lucas Carvalho Cordeiro
Source: check_circle
University of Manchester - PURE

Towards Global Neural Network Abstractions with Locally-Exact Reconstruction

Neural Networks
2023-08-01 | Journal article | Author
DOI: 10.1016/j.neunet.2023.06.002
DOI: 10.1016/j.neunet.2023.06.002
SOURCE-WORK-ID:

88362b92-469e-42c9-b557-5d2ca0364821

EID:

2-s2.0-85162128076
Contributors: Edoardo Manino; Iury Bessa; Lucas Carvalho Cordeiro
Source: check_circle
University of Manchester - PURE
grade
Preferred source (of 2)‎

Interventional Probing in High Dimensions: An NLI Case Study

Findings of the European chapter of Association for Computational Linguistics (Findings of EACL), 2023.
2023-05-02 | Dictionary entry | Author
DOI: 10.18653/v1/2023.findings-eacl.188
SOURCE-WORK-ID:

d11c0cbe-dee2-465d-a556-cb9782a79867
Contributors: Julia Rozanova; Marco Valentino; Lucas Carvalho Cordeiro; Andre Freitas
Source: check_circle
University of Manchester - PURE

A fuzzing‐based test‐creation approach for evaluating digital TV receivers via transport streams

Software Testing, Verification and Reliability
2023-01 | Journal article
DOI: 10.1002/stvr.1833
Contributors: Fabricio Izumi; Eddie B. de Lima Filho; Lucas C. Cordeiro; Orlewilson Maia; Rômulo Fabrício; Bruno Farias; Aguinaldo Silva
Source: check_circle
Crossref

CEG4N: Counter-Example Guided Neural Network Quantization Refinement

2022 | Book chapter
DOI: 10.1007/978-3-031-21222-2_3
Contributors: João Batista P. Matos, Jr.; Iury Bessa; Edoardo Manino; Xidan Song; Lucas C. Cordeiro
Source: check_circle
Crossref

Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs

IEEE Access
2022 | Journal article
DOI: 10.1109/ACCESS.2022.3223359
Contributors: Fatimah K. Aljaafari; Rafael Menezes; Edoardo Manino; Fedor Shmarov; Mustafa A. Mustafa; Lucas C. Cordeiro
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing

2022 | Book chapter
DOI: 10.1007/978-3-030-99429-7_19
Contributors: Kaled M. Alshmrany; Mohannad Aldughaim; Ahmed Bhayat; Lucas C. Cordeiro
Source: check_circle
Crossref

Privacy-Friendly Peer-to-Peer Energy Trading: A Game Theoretical Approach

IEEE Power & Energy Society General Meeting (GM)
2022 | Conference paper | Author
DOI: 10.1109/PESGM48719.2022.9916884
SOURCE-WORK-ID:

f6170f03-8474-4ec7-a158-f31bda1fd5d0

EID:

2-s2.0-85141500230
Contributors: Kamil Erdayandi; Amrit Paudel; Lucas Carvalho Cordeiro; Mustafa A. Mustafa
Source: check_circle
University of Manchester - PURE

Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution)

2022 | Book chapter
DOI: 10.1007/978-3-030-99527-0_36
Contributors: Tong Wu; Peter Schrammel; Lucas C. Cordeiro
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities

2022-10 | Conference paper
DOI: 10.1109/SecDev53368.2022.00020
Contributors: Kaled Alshmrany; Ahmed Bhayat; Franz Braube; Lucas Cordeiro; Konstantin Korovin; Tom Melham; Mustafa A. Mustafa; Pierre Olivier; Giles Reger; Fedor Shmarov
Source: check_circle
Crossref

Towards Privacy Preserving Local Energy Markets

Competitive Advantage in the Digital Economy (CADE 2022): Resilience, Sustainability, Responsibility, and Identity
2022-06-15 | Conference paper | Author
DOI: 10.1049/icp.2022.2053
SOURCE-WORK-ID:

d4a04a76-1bd6-443c-9acc-1007bbcec644

EID:

2-s2.0-85174654169
Contributors: Kamil Erdayandi; Lucas Carvalho Cordeiro; Mustafa A. Mustafa
Source: check_circle
University of Manchester - PURE

Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective

60th Annual Meeting of the Association for Computational Linguistics
2022-05-22 | Conference paper | Author
DOI: 10.18653/v1/2022.findings-acl.185
SOURCE-WORK-ID:

fae76c6a-88f7-42ff-979e-5d3fcafa4d40

EID:

2-s2.0-85149147027
Contributors: Edoardo Manino; Julia Rozanova; Danilo Silva De Carvalho; Andre Freitas; Lucas Carvalho Cordeiro
Source: check_circle
University of Manchester - PURE

EnnCore: End-to-End Conceptual Guarding of Neural Architectures

AAAI's Workshops on Artificial Intelligence Safety (SafeAI)
2022-02-01 | Conference paper | Author
SOURCE-WORK-ID:

09ff2cf3-29c0-4d04-8c85-07fc53c5e879
Contributors: Edoardo Manino; Danilo Carvalho; Yi Dong; Julia Rozanova; Xidan Song; Mustafa A. Mustafa; Andre Freitas; Gavin Brown; Mikel Lujan; Xiaowei Huang et al.
Source: check_circle
University of Manchester - PURE

Model checking C++ programs

Software Testing, Verification and Reliability
2022-01 | Journal article
DOI: 10.1002/stvr.1793
Contributors: Felipe R. Monteiro; Mikhail R. Gadelha; Lucas C. Cordeiro
Source: check_circle
Crossref

Assisted Counterexample-Guided Inductive Optimization for Robot Path Planning

XI Brazilian Symposium on Computing Systems Engineering, 22/11/21
2021 | Conference paper | Author
SOURCE-WORK-ID:

f16fe4b0-06ae-48b0-adbd-9ec8a4273e17
Contributors: Mengze Li; Lucas Carvalho Cordeiro
Source: check_circle
University of Manchester - PURE

FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution)

2021 | Book chapter
DOI: 10.1007/978-3-030-71500-7_19
Contributors: Kaled M. Alshmrany; Rafael S. Menezes; Mikhail R. Gadelha; Lucas C. Cordeiro
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs

2021 | Book chapter
DOI: 10.1007/978-3-030-79379-1_6
Contributors: Kaled M. Alshmrany; Mohannad Aldughaim; Ahmed Bhayat; Lucas C. Cordeiro
Source: check_circle
Crossref

Verifying Security Vulnerabilities for Blockchain-based Smart Contracts

XI Brazilian Symposium on Computing Systems Engineering, 22/11/21
2021 | Conference paper | Author
SOURCE-WORK-ID:

4463a069-553f-4f6f-9f40-6a7b3a9ddee1
Contributors: Nedas Matulevicius; Lucas Carvalho Cordeiro
Source: check_circle
University of Manchester - PURE

Hardware Update through Digital TV Signals

Electronics
2021-12-09 | Journal article
DOI: 10.3390/electronics10243072
Contributors: Rodrigo Ribeiro de Oliveira; Felipe Augusto Souza Guimarães; Mateus Martínez de Lucena; Lucas Carvalho Cordeiro; Eddie Batista de Lima Filho; Vicente Ferreira de Lucena, Jr.
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs

TAP: International Conference on Tests and Proofs
2021-06-18 | Conference paper | Author
SOURCE-WORK-ID:

fb65abf2-c143-4650-bf93-d4d61ee460b1
Contributors: Kaled Alshmrany; Mohannad Aldughaim; Ahmed Bhayat; Lucas Carvalho Cordeiro
Source: check_circle
University of Manchester - PURE

Multi-core synthesis and maximum satisfiability applied to optimal sizing of solar photovoltaic systems

2021-04-28 | Other
DOI: 10.36227/techrxiv.14474235
Contributors: Alessandro Trindade; Edilson Galvão; Lucas Cordeiro
Source: check_circle
Crossref

Multi-core synthesis and maximum satisfiability applied to optimal sizing of solar photovoltaic systems

2021-04-28 | Other
DOI: 10.36227/techrxiv.14474235.v1
Contributors: Alessandro Trindade; Edilson Galvão; Lucas Cordeiro
Source: check_circle
Crossref

FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution)

24th International Conference on Fundamental Approaches to Software Engineering (FASE)
2021-03-20 | Conference paper | Author
SOURCE-WORK-ID:

de5d1bdf-673a-42b7-83ca-279c49b7942a
Contributors: Kaled Alshmrany; Rafael S. Menezes; Mikhail R Gadelha; Lucas Carvalho Cordeiro
Source: check_circle
University of Manchester - PURE

An Efficient Floating-Point Bit-Blasting API for Verifying C Programs

2020 | Book chapter
DOI: 10.1007/978-3-030-63618-0_11
Contributors: Mikhail R. Gadelha; Lucas C. Cordeiro; Denis A. Nicole
Source: check_circle
Crossref

ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory

2020 | Book chapter
DOI: 10.1007/978-3-030-45234-6_27
Contributors: Mikhail R. Gadelha; Rafael Menezes; Felipe R. Monteiro; Lucas C. Cordeiro; Denis Nicole
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Map2Check: Using Symbolic Execution and Fuzzing

2020 | Book chapter
DOI: 10.1007/978-3-030-45237-7_29
Contributors: Herbert Rocha; Rafael Menezes; Lucas C. Cordeiro; Raimundo Barreto
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison

2020 | Book chapter
DOI: 10.1007/978-3-030-63618-0_6
Contributors: Alessandro Trindade; Lucas C. Cordeiro
Source: check_circle
Crossref

Formal Non-fragile Verification of Step Response Requirements for Digital State-Feedback Control Systems

Journal of Control, Automation and Electrical Systems
2020-06-05 | Journal article
DOI: 10.1007/s40313-020-00575-y
Contributors: Thiago Cavalcante; Iury Bessa; Eddie Filho; Lucas Cordeiro
Source: check_circle
Crossref

ESBMC 6.1

International Journal on Software Tools for Technology Transfer
2020-05-18 | Journal article | Author
DOI: 10.1007/s10009-020-00571-2
SOURCE-WORK-ID:

e04d4abe-22a4-48d8-9eb1-d5f0837f4a4d

EID:

2-s2.0-85085320436
Contributors: Mikhail R Gadelha; Rafael Sá Menezes; Lucas Carvalho Cordeiro
Source: check_circle
University of Manchester - PURE
Items per page:
Page 1 of 3
How many people are using ORCID?