Lucas Carvalho Cordeiro
Manchester University
H-index: 27
North America-United States
Top articles of Lucas Carvalho Cordeiro
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Revolutionizing Cyber Threat Detection with Large Language Models: A privacy-preserving BERT-based Lightweight Model for IoT/IIoT Devices | IEEE Access | Mohamed Amine Ferrag Mthandazo Ndhlovu Norbert Tihanyi Lucas C Cordeiro Merouane Debbah | 2024/2/6 |
Do Neutral Prompts Produce Insecure Code? FormAI-v2 Dataset: Labelling Vulnerabilities in Code Generated by Large Language Models | arXiv preprint arXiv:2404.18353 | Norbert Tihanyi Tamas Bisztray Mohamed Amine Ferrag Ridhi Jain Lucas C Cordeiro | 2024/4/29 |
Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches | arXiv preprint arXiv:2404.09384 | Víctor A Braberman Flavia Bonomo-Braberman Yiannis Charalambous Juan G Colonna Lucas C Cordeiro | 2024/4/14 |
FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning | arXiv preprint arXiv:2404.06031 | Kaled M Alshmrany Mohannad Aldughaim Chenfeng Wei Tom Sweet Richard Allmendinger | 2024/4/9 |
ESBMC v7. 4: Harnessing the Power of Intervals: (Competition Contribution) | Rafael Sá Menezes Mohannad Aldughaim Bruno Farias Xianzhiyu Li Edoardo Manino | 2024/4/5 | |
Jbmc: A bounded model checking tool for java bytecode | arXiv preprint arXiv:2302.02381 | Romain Brenguier Lucas Cordeiro Daniel Kroening Peter Schrammel | 2023/2/5 |
A new era in software security: Towards self-healing software via large language models and formal verification | arXiv preprint arXiv:2305.14752 | Yiannis Charalambous Norbert Tihanyi Ridhi Jain Youcheng Sun Mohamed Amine Ferrag | 2023/5/24 |
A privacy-preserving and accountable billing protocol for peer-to-peer energy trading markets | Kamil Erdayandi Lucas C Cordeiro Mustafa A Mustafa | 2023/9/4 | |
QNNRepair: Quantized Neural Network Repair | Xidan Song Youcheng Sun Mustafa A Mustafa Lucas C Cordeiro | 2023/10/31 | |
ESBMC v7. 3: model checking C++ programs using clang AST | Kunjian Song Mikhail R Gadelha Franz Brauße Rafael S Menezes Lucas C Cordeiro | 2023/12/2 | |
LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution) | arXiv preprint arXiv:2301.09142 | Tong Wu Edoardo Manino Fatimah Aljaafari Pavlos Petoumenos Lucas C Cordeiro | 2023/1/22 |
Airepair: A repair platform for neural networks | Xidan Song Youcheng Sun Mustafa A Mustafa Lucas C Cordeiro | 2023/5/14 | |
Towards global neural network abstractions with locally-exact reconstruction | Neural Networks | Edoardo Manino Iury Bessa Lucas C Cordeiro | 2023/8/1 |
Multi-core synthesis and maximum satisfiability applied to optimal sizing of solar photovoltaic systems | Authorea Preprints | Alessandro Trindade Edilson Galvão Lucas Cordeiro | 2023/10/30 |
Counterexample Guided Neural Network Quantization Refinement | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | João Batista P Matos Eddie B de Lima Filho Iury Bessa Edoardo Manino Xidan Song | 2023/11/21 |
ESBMC v7. 4: Harnessing the Power of Intervals | arXiv preprint arXiv:2312.14746 | Rafael Menezes Mohannad Aldughaim Bruno Farias Xianzhiyu Li Edoardo Manino | 2023/12/22 |
Aplicando técnicas de programacão por restricões com raciocínio automático para verificação formal de software | Jesse Deveza Rosiane de Freitas Lucas C Cordeiro Rafale Menezes | 2023 | |
Interventional probing in high dimensions: An nli case study | arXiv preprint arXiv:2304.10346 | Julia Rozanova Marco Valentino Lucas Cordeiro André Freitas | 2023/4/20 |
Evaluation of Ginga’s CC-Web-Service Module | Sergillam Barroso Oliveira Andre Ricardo da Silva Conceição Eddie Batista de Lima Filho Lucas C Cordeiro | 2023/7/17 | |
Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement | Proceedings of the 6th Workshop on Formal | Edoardo Manino Bernardo Magri Mustafa A Mustafa Lucas Cordeiro | 2023/10/23 |