Lucas C. Cordeiro - Publications, H-index & Citations

Lucas C. Cordeiro

universidade federal de amazonas

24H指数

295论文数

2.8K被引数

收录论文 16

发表时间

CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs Towards CWE Detection CASTLE：面向CWE检测的静态代码分析器和大型语言模型基准测试数据集

THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025

IF0

2026-01-01

PREAI

Dubniczky, Richard A.; Horvat, Krisztofer Zoltan; Bisztray, Minas; Ferrag, Mohamed Amine; Cordeiro, Lucas C.; Tihanyi, Norbert

A review of state-of-the-art techniques for large language model compression 大语言模型压缩技术的综述

Complex & Intelligent Systems

IF4.6

2025-08-01

OAAI

Pierre V. Dantas; Lucas C. Cordeiro; Waldir S. S. Junior

How secure is AI-generated code: a large-scale comparison of large language models AI生成的代码有多安全: 大型语言模型的大规模比较

EMPIRICAL SOFTWARE ENGINEERING

IF3.6

2024-12-21

OAAI

Tihanyi, Norbert; Bisztray, Tamas; Ferrag, Mohamed Amine; Jain, Ridhi; Cordeiro, Lucas C.

A comprehensive review of model compression techniques in machine learning 机器学习中的模型压缩技术综述

APPLIED INTELLIGENCE

IF3.5

2024-09-02

OAAI

Dantas, Pierre Vilar; da Silva Jr, Waldir Sabino; Cordeiro, Lucas Carvalho; Carvalho, Celso Barbosa

Revolutionizing Cyber Threat Detection With Large Language Models: A Privacy-Preserving BERT-Based Lightweight Model for IoT/IIoT Devices 使用大型语言模型革新网络威胁检测: 用于IoT/IIoT设备的基于隐私保护BERT的轻量级模型

IEEE ACCESS

IF3.6

2024-01-01

OAAI

Ferrag, Mohamed Amine; Ndhlovu, Mthandazo; Tihanyi, Norbert; Cordeiro, Lucas C.; Debbah, Merouane; Lestable, Thierry; Thandi, Narinderjit Singh

Towards global neural network abstractions with locally-exact reconstruction 具有局部精确重构的全局神经网络抽象

NEURAL NETWORKS

IF6.3

2023-08-01

OAAI

Manino, Edoardo; Bessa, Iury; Cordeiro, Lucas C.

Edge Learning for 6G-Enabled Internet of Things: A Comprehensive Survey of Vulnerabilities, Datasets, and Defenses 面向6g物联网的边缘学习: 漏洞、数据集和防御的全面调查

IEEE COMMUNICATIONS SURVEYS AND TUTORIALS

IF46.7

2023-01-01

OAAI

Ferrag, Mohamed Amine; Friha, Othmane; Kantarci, Burak; Tihanyi, Norbert; Cordeiro, Lucas; Debbah, Merouane; Hamouda, Djallel; Al-Hawawreh, Muna; Choo, Kim-Kwang Raymond

Formal synthesis of non-fragile state-feedback digital controllers considering performance requirements for step response

SCIENTIFIC REPORTS

IF3.9

2022-09-14

OAAI

Cavalcante, Thiago; Bessa, Iury; Filho, Eddie B. de Lima; Cordeiro, Lucas C.

Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs 结合BMC和fuizing技术发现并发程序中的软件漏洞

IEEE ACCESS

IF3.6

2022-01-01

OAAI

Aljaafari, Fatimah K.; Menezes, Rafael; Manino, Edoardo; Shmarov, Fedor; Mustafa, Mustafa A.; Cordeiro, Lucas C.

Automated formal verification of stand-alone solar photovoltaic systems

SOLAR ENERGY

IF6.6

2019-11-01

OAAI

Trindade, Alessandro; Cordeiro, Lucas

Verifying fragility in digital systems with uncertainties using DSVerifier v2.0

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2019-07-01

OAAI

Chaves, Lennon C.; Ismail, Hussama I.; Bessa, Iury V.; Cordeiro, Lucas C.; de Lima Filho, Eddie B.

DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles

IEEE TRANSACTIONS ON RELIABILITY

IF5.7

2018-12-01

OAAI

Chaves, Lennon; Bessa, Iury V.; Ismail, Hussama; dos Santos Frutuoso, Adriano Bruno; Cordeiro, Lucas; de Lima Filho, Eddie Batista

Sim3Tanks: A Benchmark Model Simulator for Process Control and Monitoring

IEEE ACCESS

IF3.6

2018-01-01

OAAI

Farias, Arllem O.; Queiroz, Gabriel Alisson C.; Bessa, Iury, V; Medeiros, Renan Landau P.; Cordeiro, Lucas C.; Palhares, Reinaldo M.

A method to localize faults in concurrent C programs

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2017-10-01

OAAI

Alves, Erickson H. da S.; Cordeiro, Lucas C.; Filho, Eddie B. de L.

Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2017-03-01

OAAI

Bessa, Iury; Ismail, Hussama; Palhares, Reinaldo; Cordeiro, Lucas; Chaves Filho, Joao Edgar

SMT-Based Bounded Model Checking for Embedded ANSI-C Software

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2012-07-01

109

OAAI

Cordeiro, Lucas; Fischer, Bernd; Marques-Silva, Joao

研究方向