


default search action
Lucas C. Cordeiro
Person information
- affiliation: University of Manchester, UK
- affiliation (former): University of Oxford, UK
- affiliation (former): Federal University of Amazonas (UFAM), Brazil
- affiliation (former): University of Southampton, UK
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j38]Norbert Tihanyi
, Tamás Bisztray, Mohamed Amine Ferrag, Ridhi Jain, Lucas C. Cordeiro:
How secure is AI-generated code: a large-scale comparison of large language models. Empir. Softw. Eng. 30(2): 47 (2025) - [j37]Mohamed Amine Ferrag, Ammar Battah, Norbert Tihanyi, Ridhi Jain, Diana Maimut, Fatima Alwahedi, Thierry Lestable, Narinderjit Singh Thandi, Abdechakour Mechri, Mérouane Debbah, Lucas C. Cordeiro:
SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection With LLMs? IEEE Trans. Software Eng. 51(4): 1248-1265 (2025) - [c94]Danilo Silva de Carvalho, Edoardo Manino, Julia Rozanova, Lucas C. Cordeiro, André Freitas:
Montague semantics and modifier consistency measurement in neural language models. COLING 2025: 5515-5529 - [i83]Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin
, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Sinkarovs, Haoze Wu:
Neural Network Verification is a Programming Language Challenge. CoRR abs/2501.05867 (2025) - [i82]Richard A. Dubniczky, Krisztofer Zoltán Horvát, Tamás Bisztray, Mohamed Amine Ferrag, Lucas C. Cordeiro, Norbert Tihanyi:
CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs towards CWE Detection. CoRR abs/2503.09433 (2025) - [i81]Norbert Tihanyi, Tamás Bisztray, Mohamed Amine Ferrag, Bilel Cherif, Richard A. Dubniczky, Ridhi Jain, Lucas C. Cordeiro:
Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview. CoRR abs/2503.10784 (2025) - 2024
- [j36]Mohamed Amine Ferrag
, Mthandazo Ndhlovu
, Norbert Tihanyi
, Lucas C. Cordeiro
, Mérouane Debbah, Thierry Lestable, Narinderjit Singh Thandi:
Revolutionizing Cyber Threat Detection With Large Language Models: A Privacy-Preserving BERT-Based Lightweight Model for IoT/IIoT Devices. IEEE Access 12: 23733-23750 (2024) - [j35]Pierre V. Dantas
, Waldir Sabino da Silva Jr., Lucas Carvalho Cordeiro
, Celso Barbosa Carvalho:
A comprehensive review of model compression techniques in machine learning. Appl. Intell. 54(22): 11804-11844 (2024) - [j34]Kaled M. Alshmrany
, Mohannad Aldughaim
, Ahmed Bhayat
, Lucas C. Cordeiro
:
FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis. Formal Aspects Comput. 36(2): 12 (2024) - [j33]João Batista Pereira Matos Jr., Eddie B. de Lima Filho
, Iury Bessa
, Edoardo Manino
, Xidan Song
, Lucas C. Cordeiro
:
Counterexample Guided Neural Network Quantization Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(4): 1121-1134 (2024) - [c93]Norbert Tihanyi, Tamás Bisztray, Richard A. Dubniczky
, Rebeka Tóth, Bertalan Borsos, Bilel Cherif, Ridhi Jain, Lajos Muzsai, Mohamed Amine Ferrag, Ryan Marinelli, Lucas C. Cordeiro, Mérouane Debbah, Vasileios Mavroeidis, Audun Jøsang:
Dynamic Intelligence Assessment: Benchmarking LLMs on the Road to AGI with a Focus on Model Confidence. IEEE Big Data 2024: 3313-3321 - [c92]Zaiyu Cheng
, Tong Wu
, Peter Schrammel
, Norbert Tihanyi
, Eddie B. de Lima Filho
, Lucas C. Cordeiro
:
JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking. ISSTA 2024: 1831-1835 - [c91]Bruno Farias
, Rafael Menezes
, Eddie B. de Lima Filho
, Youcheng Sun
, Lucas C. Cordeiro
:
ESBMC-Python: A Bounded Model Checker for Python Programs. ISSTA 2024: 1836-1840 - [c90]Muhammad A. A. Pirzada
, Giles Reger
, Ahmed Bhayat
, Lucas C. Cordeiro
:
LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling. ASE 2024: 1395-1407 - [c89]Tong Wu
, Shale Xiong
, Edoardo Manino
, Gareth Stockwell
, Lucas C. Cordeiro
:
Verifying Components of Arm® Confidential Computing Architecture with ESBMC. SAS 2024: 451-462 - [c88]Ridhi Jain
, Norbert Tihanyi
, Mthandazo Ndhlovu
, Mohamed Amine Ferrag
, Lucas C. Cordeiro
:
Rapid Taint Assisted Concolic Execution (TACE). SIGSOFT FSE Companion 2024: 627-631 - [c87]Rafael Sá Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro:
ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution). TACAS (3) 2024: 376-380 - [i80]Kaled M. Alshmrany, Mohannad Aldughaim, Chenfeng Wei, Tom Sweet, Richard Allmendinger, Lucas C. Cordeiro:
FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning. CoRR abs/2404.06031 (2024) - [i79]Víctor A. Braberman, Flavia Bonomo-Braberman, Yiannis Charalambous
, Juan Gabriel Colonna, Lucas C. Cordeiro, Rosiane de Freitas:
Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches. CoRR abs/2404.09384 (2024) - [i78]Norbert Tihanyi, Tamás Bisztray, Mohamed Amine Ferrag, Ridhi Jain, Lucas C. Cordeiro:
Do Neutral Prompts Produce Insecure Code? FormAI-v2 Dataset: Labelling Vulnerabilities in Code Generated by Large Language Models. CoRR abs/2404.18353 (2024) - [i77]Yiannis Charalambous
, Edoardo Manino, Lucas C. Cordeiro:
Automated Repair of AI Code with Large Language Models and Formal Verification. CoRR abs/2405.08848 (2024) - [i76]Tong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro:
Verifying components of Arm(R) Confidential Computing Architecture with ESBMC. CoRR abs/2406.04375 (2024) - [i75]Rafael Sá Menezes, Edoardo Manino, Fedor Shmarov, Mohannad Aldughaim, Rosiane de Freitas, Lucas C. Cordeiro:
Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study. CoRR abs/2406.15281 (2024) - [i74]Xianzhiyu Li, Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Konstantin Korovin, Lucas C. Cordeiro:
ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST. CoRR abs/2406.17862 (2024) - [i73]Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro:
ESBMC-Python: A Bounded Model Checker for Python Programs. CoRR abs/2407.03472 (2024) - [i72]Fatima Abacha, Sin G. Teo, Lucas C. Cordeiro, Mustafa A. Mustafa:
Synthetic Data Aided Federated Learning Using Foundation Models. CoRR abs/2407.05174 (2024) - [i71]Adrians Skapars, Edoardo Manino, Youcheng Sun, Lucas C. Cordeiro:
Was it Slander? Towards Exact Inversion of Generative Language Models. CoRR abs/2407.11059 (2024) - [i70]Janislley Oliveira de Sousa, Bruno Carvalho de Farias, Eddie Batista de Lima Filho, Lucas Carvalho Cordeiro:
Trust, but Verify: Evaluating Developer Behavior in Mitigating Security Vulnerabilities in Open-Source Software Projects. CoRR abs/2408.14273 (2024) - [i69]Norbert Tihanyi, Tamás Bisztray, Richard A. Dubniczky, Rebeka Tóth, Bertalan Borsos, Bilel Cherif, Mohamed Amine Ferrag, Lajos Muzsai, Ridhi Jain, Ryan Marinelli, Lucas C. Cordeiro, Mérouane Debbah:
Dynamic Intelligence Assessment: Benchmarking LLMs on the Road to AGI with a Focus on Model Confidence. CoRR abs/2410.15490 (2024) - 2023
- [j32]Mohamed Amine Ferrag
, Othmane Friha
, Burak Kantarci
, Norbert Tihanyi
, Lucas C. Cordeiro
, Mérouane Debbah, Djallel Hamouda
, Muna Al-Hawawreh
, Kim-Kwang Raymond Choo
:
Edge Learning for 6G-Enabled Internet of Things: A Comprehensive Survey of Vulnerabilities, Datasets, and Defenses. IEEE Commun. Surv. Tutorials 25(4): 2654-2713 (2023) - [j31]Edoardo Manino
, Iury Bessa
, Lucas C. Cordeiro
:
Towards global neural network abstractions with locally-exact reconstruction. Neural Networks 165: 344-357 (2023) - [j30]Fabrício Izumi, Eddie B. de Lima Filho
, Lucas C. Cordeiro
, Orlewilson B. Maia, Rômulo Fabrício, Bruno Farias, Aguinaldo Silva:
A fuzzing-based test-creation approach for evaluating digital TV receivers via transport streams. Softw. Test. Verification Reliab. 33(1) (2023) - [c86]Edoardo Manino
, Bernardo Magri, Mustafa A. Mustafa, Lucas C. Cordeiro:
Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement. FoMLAS@CAV 2023: 35-46 - [c85]Julia Rozanova
, Marco Valentino
, Lucas C. Cordeiro
, André Freitas
:
Interventional Probing in High Dimensions: An NLI Case Study. EACL (Findings) 2023: 2444-2455 - [c84]Mohannad Aldughaim
, Kaled M. Alshmrany
, Mikhail R. Gadelha, Rosiane de Freitas, Lucas C. Cordeiro
:
FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution). FASE 2023: 324-329 - [c83]Mohamed Amine Ferrag, Burak Kantarci, Lucas C. Cordeiro, Mérouane Debbah, Kim-Kwang Raymond Choo:
Poisoning Attacks in Federated Edge Learning for Digital Twin 6G-Enabled IoTs: An Anticipatory Study. ICC Workshops 2023: 1253-1258 - [c82]Sergillam Barroso Oliveira, Andre R. da Silva Conceição, Eddie Batista de Lima Filho, Lucas C. Cordeiro
:
Evaluation of Ginga's CC-Web-Service Module. ICCE-Taiwan 2023: 697-698 - [c81]Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro:
AIREPAIR: A Repair Platform for Neural Networks. ICSE Companion 2023: 98-101 - [c80]Norbert Tihanyi, Tamás Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, Vasileios Mavroeidis:
The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification. PROMISE 2023: 33-43 - [c79]Rafael G. Silvestrim, Felipe V. Trigo, Williame Rocha, Michael R. S. Vieira, Jogno V. Junior, Otoniel Da C. Mendes, Rafael Sá Menezes
, Lucas C. Cordeiro
:
Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration. SBESC 2023: 1-6 - [c78]Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro:
ESBMC v7.3: Model Checking C++ Programs Using Clang AST. SBMF 2023: 141-152 - [c77]Xidan Song
, Youcheng Sun
, Mustafa A. Mustafa
, Lucas C. Cordeiro
:
QNNRepair: Quantized Neural Network Repair. SEFM 2023: 320-339 - [c76]Fatimah Aljaafari
, Fedor Shmarov
, Edoardo Manino
, Rafael Menezes
, Lucas C. Cordeiro
:
EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution). TACAS (2) 2023: 541-546 - [d10]Yiannis Charalambous, Norbert Tihanyi
, Ridhi Jain
, Youcheng Sun
, Mohamed Amine Ferrag
, Lucas C. Cordeiro
:
Dataset for : A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification. Zenodo, 2023 - [d9]Edoardo Manino
, Bernardo Magri
, Mustafa A. Mustafa
, Lucas C. Cordeiro
:
Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement. Zenodo, 2023 - [d8]Edoardo Manino
, Rafael Menezes
, Fedor Shmarov
, Lucas C. Cordeiro
:
NeuroCodeBench. Zenodo, 2023 - [d7]Norbert Tihanyi
, Tamás Bisztray
, Ridhi Jain
, Mohamed Amine Ferrag
, Lucas C. Cordeiro
, Vasileios Mavroeidis
:
FormAI Dataset: A Large Collection of AI-Generated C Programs and Their Vulnerability Classifications. IEEE DataPort, 2023 - [i68]Tong Wu, Edoardo Manino, Fatimah Aljaafari, Pavlos Petoumenos, Lucas C. Cordeiro:
LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution). CoRR abs/2301.09142 (2023) - [i67]Romain Brenguier, Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel:
JBMC: A Bounded Model Checking Tool for Java Bytecode. CoRR abs/2302.02381 (2023) - [i66]Mohamed Amine Ferrag, Burak Kantarci, Lucas C. Cordeiro, Mérouane Debbah, Kim-Kwang Raymond Choo:
Poisoning Attacks in Federated Edge Learning for Digital Twin 6G-enabled IoTs: An Anticipatory Study. CoRR abs/2303.11745 (2023) - [i65]Julia Rozanova, Marco Valentino, Lucas C. Cordeiro, André Freitas:
Interventional Probing in High Dimensions: An NLI Case Study. CoRR abs/2304.10346 (2023) - [i64]Yiannis Charalambous
, Norbert Tihanyi, Ridhi Jain
, Youcheng Sun, Mohamed Amine Ferrag, Lucas C. Cordeiro:
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification. CoRR abs/2305.14752 (2023) - [i63]Mohamed Amine Ferrag, Othmane Friha, Burak Kantarci, Norbert Tihanyi, Lucas C. Cordeiro, Mérouane Debbah, Djallel Hamouda, Muna Al-Hawawreh, Kim-Kwang Raymond Choo:
Edge Learning for 6G-enabled Internet of Things: A Comprehensive Survey of Vulnerabilities, Datasets, and Defenses. CoRR abs/2306.10309 (2023) - [i62]Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro:
QNNRepair: Quantized Neural Network Repair. CoRR abs/2306.13793 (2023) - [i61]Mohamed Amine Ferrag, Mthandazo Ndhlovu, Norbert Tihanyi, Lucas C. Cordeiro, Mérouane Debbah, Thierry Lestable:
Revolutionizing Cyber Threat Detection with Large Language Models. CoRR abs/2306.14263 (2023) - [i60]Norbert Tihanyi
, Tamás Bisztray, Ridhi Jain
, Mohamed Amine Ferrag, Lucas C. Cordeiro, Vasileios Mavroeidis:
The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification. CoRR abs/2307.02192 (2023) - [i59]Kamil Erdayandi
, Lucas C. Cordeiro
, Mustafa A. Mustafa
:
A Privacy-Preserving and Accountable Billing Protocol for Peer-to-Peer Energy Trading Markets. CoRR abs/2307.04501 (2023) - [i58]Mohamed Amine Ferrag, Ammar Battah, Norbert Tihanyi, Mérouane Debbah, Thierry Lestable, Lucas C. Cordeiro:
SecureFalcon: The Next Cyber Reasoning System for Cyber Security. CoRR abs/2307.06616 (2023) - [i57]Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro:
ESBMC v7.3: Model Checking C++ Programs using Clang AST. CoRR abs/2308.05649 (2023) - [i56]Edoardo Manino, Rafael Sá Menezes, Fedor Shmarov, Lucas C. Cordeiro:
NeuroCodeBench: a plain C neural network benchmark for software verification. CoRR abs/2309.03617 (2023) - [i55]Janislley Oliveira de Sousa, Bruno Carvalho de Farias, Thales Araujo da Silva, Eddie Batista de Lima Filho, Lucas C. Cordeiro:
Finding Software Vulnerabilities in Open-Source C Projects via Bounded Model Checking. CoRR abs/2311.05281 (2023) - [i54]Rafael Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro:
ESBMC v7.4: Harnessing the Power of Intervals. CoRR abs/2312.14746 (2023) - 2022
- [j29]Fatimah K. Aljaafari
, Rafael Menezes
, Edoardo Manino
, Fedor Shmarov
, Mustafa A. Mustafa
, Lucas C. Cordeiro
:
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs. IEEE Access 10: 121365-121384 (2022) - [j28]Felipe R. Monteiro
, Mikhail R. Gadelha
, Lucas C. Cordeiro
:
Model checking C++ programs. Softw. Test. Verification Reliab. 32(1) (2022) - [c75]Edoardo Manino, Danilo S. Carvalho, Yi Dong, Julia Rozanova, Xidan Song, Mustafa A. Mustafa, André Freitas, Gavin Brown, Mikel Luján, Xiaowei Huang, Lucas C. Cordeiro:
EnnCore: End-to-End Conceptual Guarding of Neural Architectures. SafeAI@AAAI 2022 - [c74]Edoardo Manino
, Julia Rozanova
, Danilo S. Carvalho
, André Freitas
, Lucas C. Cordeiro
:
Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective. ACL (Findings) 2022: 2355-2366 - [c73]João Batista Pereira Matos Jr.
, Iury Bessa
, Edoardo Manino
, Xidan Song
, Lucas C. Cordeiro
:
CEG4N: Counter-Example Guided Neural Network Quantization Refinement. NSV/FoMLAS@CAV 2022: 29-45 - [c72]Kaled M. Alshmrany
, Mohannad Aldughaim
, Ahmed Bhayat
, Lucas C. Cordeiro
:
FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing - (Competition Contribution). FASE 2022: 336-340 - [c71]Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro:
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts. ICSE-Companion 2022: 65-69 - [c70]Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro:
Summary of Model Checking C++ Programs. ICST 2022: 461 - [c69]Franz Brauße, Fedor Shmarov, Rafael Menezes
, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro:
ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC. ISSTA 2022: 773-776 - [c68]Rafael Menezes
, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro:
ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation. ISSTA 2022: 777-780 - [c67]Kaled M. Alshmrany
, Ahmed Bhayat
, Franz Brauße
, Lucas C. Cordeiro
, Konstantin Korovin
, Tom Melham
, Mustafa A. Mustafa
, Pierre Olivier
, Giles Reger
, Fedor Shmarov
:
Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities. SecDev 2022: 52-58 - [c66]Tong Wu
, Peter Schrammel
, Lucas C. Cordeiro
:
Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution). TACAS (2) 2022: 484-489 - [d6]Mohannad Aldughaim
, Kaled M. Alshmrany
, Mikhail R. Gadelha, Rosiane de Freitas, Lucas C. Cordeiro
:
FuSeBMC v.5: Interval Analysis and Methods for Test Case Generation. Zenodo, 2022 - [d5]Thiago Cavalcante
, Iury Bessa
, Lucas C. Cordeiro
, Eddie B. de Lima Filho
:
Tool and benchmarks of "Formal Synthesis of Non-fragile State-Feedback Digital Controllers Considering Performance Requirements for Step Response". Zenodo, 2022 - [d4]Rafael Menezes
, Daniel Moura
, Helena Cavalcante
, Rosiane de Freitas
, Lucas C. Cordeiro
:
ESBMC-Jimple ISSTA'22 Benchmarks. Version 1. Zenodo, 2022 [all versions] - [d3]Rafael Menezes
, Daniel Moura
, Helena Cavalcante
, Rosiane de Freitas
, Lucas C. Cordeiro
:
ESBMC-Jimple ISSTA'22 Benchmarks. Version 2. Zenodo, 2022 [all versions] - [d2]Tong Wu
, Peter Schrammel
, Lucas C. Cordeiro
:
WIT4JAVA (SV-COMP 2023). Zenodo, 2022 - [i53]Kamil Erdayandi, Amrit Paudel, Lucas C. Cordeiro, Mustafa A. Mustafa:
Privacy-Friendly Peer-to-Peer Energy Trading: A Game Theoretical Approach. CoRR abs/2201.01810 (2022) - [i52]Edoardo Manino, Julia Rozanova, Danilo S. Carvalho, André Freitas
, Lucas C. Cordeiro:
Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective. CoRR abs/2204.12316 (2022) - [i51]Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro:
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation. CoRR abs/2206.04397 (2022) - [i50]Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro:
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs. CoRR abs/2206.06043 (2022) - [i49]Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Fedor Shmarov, Fatimah Aljaafari, Lucas C. Cordeiro:
FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis. CoRR abs/2206.14068 (2022) - [i48]João Batista Pereira Matos Jr., Iury Bessa
, Edoardo Manino, Xidan Song, Lucas C. Cordeiro:
CEG4N: Counter-Example Guided Neural Network Quantization Refinement. CoRR abs/2207.04231 (2022) - [i47]Edoardo Manino, Iury Bessa
, Lucas C. Cordeiro:
Towards Global Neural Network Abstractions with Locally-Exact Reconstruction. CoRR abs/2210.12054 (2022) - [i46]Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro:
AIREPAIR: A Repair Platform for Neural Networks. CoRR abs/2211.15387 (2022) - [i45]Danilo S. Carvalho, Edoardo Manino, Julia Rozanova, Lucas C. Cordeiro, André Freitas
:
Montague semantics and modifier consistency measurement in neural language models. CoRR abs/2212.04310 (2022) - 2021
- [j27]Omar M. Alhawi, Herbert Rocha
, Mikhail R. Gadelha, Lucas C. Cordeiro
, Eddie Batista de Lima Filho:
Verification and refutation of C programs based on k-induction and invariant inference. Int. J. Softw. Tools Technol. Transf. 23(2): 115-135 (2021) - [j26]Mikhail R. Gadelha, Rafael S. Menezes
, Lucas C. Cordeiro
:
ESBMC 6.1: automated test case generation using bounded model checking. Int. J. Softw. Tools Technol. Transf. 23(6): 857-861 (2021) - [c65]Kaled M. Alshmrany
, Rafael S. Menezes
, Mikhail R. Gadelha
, Lucas C. Cordeiro
:
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution). FASE 2021: 363-367 - [c64]Lucas C. Cordeiro:
Exploiting the SAT Revolution for Automated Software Verification: Report from an Industrial Case Study. LADC (Companion) 2021: 8-9 - [c63]Mengze Li, Lucas C. Cordeiro:
Assisted Counterexample-Guided Inductive Optimization for Robot Path Planning. SBESC 2021: 1-8 - [c62]Nedas Matulevicius, Lucas C. Cordeiro:
Verifying Security Vulnerabilities for Blockchain-based Smart Contracts. SBESC 2021: 1-8 - [c61]Kaled M. Alshmrany
, Mohannad Aldughaim
, Ahmed Bhayat
, Lucas C. Cordeiro
:
FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs. TAP@STAF 2021: 85-105 - [i44]Thales Silva, Carmina Porto, Erickson H. da S. Alves, Lucas C. Cordeiro, Herbert Rocha:
Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction. CoRR abs/2102.02368 (2021) - [i43]Fatimah Aljaafari, Lucas C. Cordeiro, Mustafa A. Mustafa, Rafael Menezes:
EBF: A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols. CoRR abs/2103.11363 (2021) - [i42]Luiz H. Sena, Xidan Song, Erickson H. da S. Alves, Iury Bessa, Edoardo Manino, Lucas C. Cordeiro:
Verifying Quantized Neural Networks using SMT-Based Model Checking. CoRR abs/2106.05997 (2021) - [i41]Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro:
Model Checking C++ Programs. CoRR abs/2107.01093 (2021) - [i40]Xidan Song, Edoardo Manino, Luiz H. Sena, Erickson H. da S. Alves, Eddie Batista de Lima Filho, Iury Bessa, Mikel Luján, Lucas C. Cordeiro:
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking. CoRR abs/2111.13110 (2021) - [i39]Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro:
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts. CoRR abs/2111.13117 (2021) - [i38]Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro:
FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing. CoRR abs/2112.10627 (2021) - 2020
- [j25]Alessandro Abate
, Iury Bessa
, Lucas C. Cordeiro
, Cristina David
, Pascal Kesseli
, Daniel Kroening
, Elizabeth Polgreen
:
Automated formal synthesis of provably safe digital controllers for continuous plants. Acta Informatica 57(1-2): 223-244 (2020) - [j24]Lucas C. Cordeiro
, Eddie Batista de Lima Filho, Iury Valente de Bessa
:
Survey on automated symbolic verification and its application for synthesising cyber-physical systems. IET Cyper-Phys. Syst.: Theory & Appl. 5(1): 1-24 (2020) - [c60]Mikhail Y. R. Gadelha
, Rafael Menezes
, Felipe R. Monteiro
, Lucas C. Cordeiro
, Denis A. Nicole:
ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution). FASE 2020: 525-529 - [c59]Herbert Rocha
, Rafael Menezes
, Lucas C. Cordeiro
, Raimundo S. Barreto:
Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution). TACAS (2) 2020: 403-407 - [c58]Alessandro Trindade
, Lucas C. Cordeiro
:
Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison. VSTTE 2020: 87-105 - [c57]Mikhail R. Gadelha
, Lucas C. Cordeiro
, Denis A. Nicole:
An Efficient Floating-Point Bit-Blasting API for Verifying C Programs. VSTTE 2020: 178-195 - [i37]Kaled M. Alshmrany, Lucas C. Cordeiro:
Finding Security Vulnerabilities in Network Protocol Implementations. CoRR abs/2001.09592 (2020) - [i36]Fatimah Aljaafari, Lucas C. Cordeiro, Mustafa A. Mustafa:
Verifying Software Vulnerabilities in IoT Cryptographic Protocols. CoRR abs/2001.09837 (2020) - [i35]Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole:
An Efficient Floating-Point Bit-Blasting API for Verifying C Programs. CoRR abs/2004.12699 (2020) - [i34]João Batista Pereira Matos Jr., Lucas Carvalho Cordeiro, Marcelo d'Amorim, Xiaowei Huang:
Generating Adversarial Inputs Using A Black-box Differential Technique. CoRR abs/2007.05315 (2020) - [i33]Luiz H. Sena, Erickson H. da S. Alves, Iury Bessa, Eddie B. L. Filho, Lucas C. Cordeiro:
Incremental Verification of Fixed-Point Implementations of Neural Networks. CoRR abs/2012.11220 (2020) - [i32]Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro:
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs. CoRR abs/2012.11223 (2020) - [i31]Mohannad Aldughaim, Kaled M. Alshmrany, Mohamed Mustafa, Lucas C. Cordeiro, Alexandru Stancu:
Bounded Model Checking of Software Using Interval Methods via Contractors. CoRR abs/2012.11245 (2020)
2010 – 2019
- 2019
- [j23]Lennon C. Chaves
, Hussama Ibrahim Ismail, Iury Valente de Bessa
, Lucas C. Cordeiro
, Eddie Batista de Lima Filho:
Verifying fragility in digital systems with uncertainties using DSVerifier v2.0. J. Syst. Softw. 153: 22-43 (2019) - [c56]Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro
, Bernd Fischer, Denis A. Nicole:
SMT-based refutation of spurious bug reports in the clang static analyzer. ICSE (Companion Volume) 2019: 11-14 - [c55]Luiz H. Sena, Iury Valente de Bessa
, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota:
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA. SBESC 2019: 1-8 - [c54]Omar M. Alhawi, Mustafa A. Mustafa, Lucas C. Cordeiro:
Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification. SIoT 2019: 1-9 - [c53]Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro
, Denis A. Nicole:
ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference - (Competition Contribution). TACAS (3) 2019: 209-213 - [c52]Lucas C. Cordeiro
, Daniel Kroening
, Peter Schrammel
:
JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution). TACAS (3) 2019: 219-223 - [d1]Felipe R. Monteiro
, Mikhail R. Gadelha, Lucas C. Cordeiro:
Experimental Data for Model Checking C++03 Programs. IEEE DataPort, 2019 - [i30]Mikhail Y. R. Gadelha, Felipe R. Monteiro, Enrico Steffinlongo, Lucas C. Cordeiro, Denis A. Nicole:
Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space. CoRR abs/1904.02501 (2019) - [i29]Felipe R. Monteiro, Mikhail Y. R. Gadelha, Lucas C. Cordeiro:
Boost the Impact of Continuous Formal Verification in Industry. CoRR abs/1904.06152 (2019) - [i28]Omar M. Alhawi, Mustafa A. Mustafa, Lucas C. Cordeiro:
Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification. CoRR abs/1906.11488 (2019) - [i27]Luiz H. Sena, Iury Valente de Bessa, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota:
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA. CoRR abs/1907.12933 (2019) - [i26]Alessandro Trindade, Lucas C. Cordeiro:
Optimal Sizing of Stand-alone Solar PV Systems via Automated Formal Synthesis. CoRR abs/1909.13139 (2019) - 2018
- [j22]Arllem O. Farias
, Gabriel Alisson C. Queiroz, Iury Valente de Bessa
, Renan Landau Paiva de Medeiros
, Lucas C. Cordeiro
, Reinaldo M. Palhares
:
Sim3Tanks: A Benchmark Model Simulator for Process Control and Monitoring. IEEE Access 6: 62234-62254 (2018) - [j21]Felipe R. Monteiro
, Erickson H. da S. Alves, Isabela da Silva, Hussama Ismail, Lucas C. Cordeiro
, Eddie Batista de Lima Filho:
ESBMC-GPU A context-bounded model checking tool to verify CUDA programs. Sci. Comput. Program. 152: 63-69 (2018) - [j20]Rodrigo F. Araujo
, Higo F. Albuquerque, Iury Valente de Bessa
, Lucas C. Cordeiro
, João Edgar Chaves Filho:
Counterexample guided inductive optimization based on satisfiability modulo theories. Sci. Comput. Program. 165: 3-23 (2018) - [j19]Lucas C. Cordeiro
, Daniel Kroening, Peter Schrammel
:
Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP). ACM SIGSOFT Softw. Eng. Notes 43(4): 56 (2018) - [j18]Lennon C. Chaves
, Iury Bessa
, Hussama Ismail, Adriano Bruno dos Santos Frutuoso, Lucas C. Cordeiro
, Eddie Batista de Lima Filho:
DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles. IEEE Trans. Reliab. 67(4): 1420-1441 (2018) - [c51]Lucas C. Cordeiro
, Pascal Kesseli, Daniel Kroening
, Peter Schrammel
, Marek Trtík:
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. CAV (1) 2018: 183-190 - [c50]Lennon C. Chaves
, Iury Bessa
, Lucas C. Cordeiro, Daniel Kroening
:
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems. HSCC 2018: 253-258 - [c49]Mikhail Y. R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole:
ESBMC 5.0: an industrial-strength C model checker. ASE 2018: 888-891 - [c48]Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract). ASE 2018: 954 - [c47]Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro
, Denis A. Nicole:
Towards counterexample-guided k-induction for fast bug detection. ESEC/SIGSOFT FSE 2018: 765-769 - [c46]Rafael Menezes
, Herbert Rocha, Lucas C. Cordeiro
, Raimundo S. Barreto
:
Map2Check Using LLVM and KLEE - (Competition Contribution). TACAS (2) 2018: 437-441 - [i25]Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel:
Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP). CoRR abs/1809.03739 (2018) - [i24]Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole:
SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer. CoRR abs/1810.12041 (2018) - [i23]Alessandro Trindade, Lucas C. Cordeiro:
Automated Verification of Stand-alone Solar Photovoltaic Systems. CoRR abs/1811.09438 (2018) - 2017
- [j17]Phillipe A. Pereira, Higo F. Albuquerque, Isabela da Silva, Hendrio Marques, Felipe R. Monteiro
, Ricardo Ferreira, Lucas C. Cordeiro
:
SMT-based context-bounded model checking for CUDA programs. Concurr. Comput. Pract. Exp. 29(22) (2017) - [j16]Alessandro Bezerra Trindade, Renato De Faria Degelo, Edilson Galvão Dos Santos Junior, Hussama Ibrahim Ismail, Helder Cruz Da Silva, Lucas Carvalho Cordeiro:
Multi-core model checking and maximum satisfiability applied to hardware-software partitioning. Int. J. Embed. Syst. 9(6): 570-582 (2017) - [j15]Erickson H. da S. Alves, Lucas C. Cordeiro
, Eddie Batista de Lima Filho:
A method to localize faults in concurrent C programs. J. Syst. Softw. 132: 336-352 (2017) - [j14]Felipe R. Monteiro
, Francisco A. P. Januário, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
BMCLua: A Translator for Model Checking Lua Programs. ACM SIGSOFT Softw. Eng. Notes 42(3): 1-10 (2017) - [j13]Mikhail Y. R. Gadelha, Hussama Ibrahim Ismail, Lucas C. Cordeiro
:
Handling loops in bounded model checking of C programs via k-induction. Int. J. Softw. Tools Technol. Transf. 19(1): 97-114 (2017) - [j12]Felipe R. Monteiro
, Mário Garcia, Lucas C. Cordeiro
, Eddie Batista de Lima Filho:
Bounded model checking of C++ programs based on the Qt cross-platform framework. Softw. Test. Verification Reliab. 27(3) (2017) - [j11]Iury Bessa
, Hussama Ismail, Reinaldo M. Palhares
, Lucas C. Cordeiro
, Joao Edgar Chaves Filho:
Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty. IEEE Trans. Computers 66(3): 545-552 (2017) - [c45]Alessandro Abate, Iury Bessa
, Dario Cattaruzza, Lucas C. Cordeiro
, Cristina David, Pascal Kesseli
, Daniel Kroening
, Elizabeth Polgreen:
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. CAV (1) 2017: 462-482 - [c44]Alessandro Abate, Iury Bessa
, Dario Cattaruzza, Lucas C. Cordeiro
, Cristina David, Pascal Kesseli
, Daniel Kroening
:
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. HSCC 2017: 197-206 - [c43]Lennon C. Chaves
, Iury Bessa
, Lucas C. Cordeiro, Daniel Kroening
, Eddie Batista de Lima Filho:
Verifying digital systems with MATLAB. ISSTA 2017: 388-391 - [c42]Alessandro Abate, Iury Bessa
, Dario Cattaruzza, Lennon C. Chaves
, Lucas C. Cordeiro
, Cristina David, Pascal Kesseli
, Daniel Kroening
, Elizabeth Polgreen:
DSSynth: an automated digital controller synthesis tool for physical plants. ASE 2017: 919-924 - [c41]Rodrigo F. Araujo
, Alexandre Ribeiro, Iury Valente de Bessa
, Lucas C. Cordeiro, João Edgar Chaves Filho:
Counterexample guided inductive optimization applied to mobile robots path planning. LARS/SBR 2017: 1-6 - [c40]Thiago Rodrigo Felix Cavalcante, Iury Valente de Bessa
, Lucas Carvalho Cordeiro
:
Planning and Evaluation of UAV Mission Planner for Intralogistics Problems. SBESC 2017: 9-16 - [c39]Mikhail Y. R. Gadelha, Lucas C. Cordeiro
, Denis A. Nicole:
Encoding Floating-Point Numbers Using the SMT Theory in ESBMC: An Empirical Evaluation over the SV-COMP Benchmarks. SBMF 2017: 91-106 - [c38]Higo F. Albuquerque, Rodrigo F. Araujo
, Iury Valente de Bessa
, Lucas C. Cordeiro
, Eddie Batista de Lima Filho:
OptCE: A Counterexample-Guided Inductive Optimization Solver. SBMF 2017: 125-141 - [c37]Williame Rocha, Herbert Rocha
, Hussama Ismail, Lucas C. Cordeiro
, Bernd Fischer
:
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution). TACAS (2) 2017: 360-364 - [i22]Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho:
Verifying Digital Systems with MATLAB. CoRR abs/1702.05591 (2017) - [i21]Lucas C. Cordeiro:
Automated Verification and Synthesis of Embedded Systems using Machine Learning. CoRR abs/1702.07847 (2017) - [i20]Rodrigo F. Araujo, Higo F. Albuquerque, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho:
Counterexample Guided Inductive Optimization. CoRR abs/1704.03738 (2017) - [i19]Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen:
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. CoRR abs/1705.00981 (2017) - [i18]Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole:
Counterexample-Guided k-Induction Verification for Fast Bug Detection. CoRR abs/1706.02136 (2017) - [i17]Daniel P. M. de Mello, Mauro L. de Freitas, Lucas C. Cordeiro, Waldir S. S. Júnior, Iury Valente de Bessa, Eddie B. L. Filho, Laurent Clavier:
Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters. CoRR abs/1706.05088 (2017) - [i16]Rodrigo F. Araujo, Alexandre Ribeiro, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho:
Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version). CoRR abs/1708.04028 (2017) - 2016
- [j10]Alessandro Trindade
, Lucas C. Cordeiro
:
Applying SMT-based verification to hardware/software partitioning in embedded systems. Des. Autom. Embed. Syst. 20(1): 1-19 (2016) - [j9]Iury Valente de Bessa
, Hussama Ismail, Lucas C. Cordeiro
, João Edgar Chaves Filho:
Verification of fixed-point digital controllers using direct and delta forms realizations. Des. Autom. Embed. Syst. 20(2): 95-126 (2016) - [j8]Renato B. Abreu, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Waldir S. S. Júnior:
Bounded model checking for fixed-point digital filters. J. Braz. Comput. Soc. 22(1): 1:1-1:20 (2016) - [j7]Lucas C. Cordeiro, Eddie Batista de Lima Filho:
SMT-Based Context-Bounded Model Checking for Embedded Systems: Challenges and Future Trends. ACM SIGSOFT Softw. Eng. Notes 41(3): 1-6 (2016) - [c36]Felipe R. Monteiro
, Phillipe A. Pereira, Lucas C. Cordeiro, Cicero Ferreira Fernandes Costa Filho, Marly Guimarães Fernandes Costa:
Complementary training programme for electrical and computer engineering students through an industrial-academic collaboration. FIE 2016: 1-9 - [c35]Phillipe A. Pereira, Higo F. Albuquerque, Hendrio Marques, Isabela da Silva, Celso B. Carvalho
, Lucas C. Cordeiro, Vanessa Santos, Ricardo Ferreira:
Verifying CUDA programs using SMT-based context-bounded model checking. SAC 2016: 1648-1653 - [c34]Rodrigo F. Araujo
, Iury Bessa
, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho:
SMT-based Verification Applied to Non-convex Optimization Problems. SBESC 2016: 1-8 - [c33]Mário Garcia, Felipe R. Monteiro
, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications. SPIN 2016: 97-103 - [c32]Herbert O. Rocha
, Raimundo S. Barreto
, Lucas C. Cordeiro
:
Hunting Memory Bugs in C Programs with Map2Check - (Competition Contribution). TACAS 2016: 934-937 - [i15]Felipe R. Monteiro, Phillipe A. Pereira, Lucas C. Cordeiro, Cicero Ferreira Fernandes Costa Filho, Marly Guimarães Fernandes Costa:
Complementary Training Programme for Electrical and Computer Engineering Students Through an Industrial-Academic Collaboration (Extended Version). CoRR abs/1608.00143 (2016) - [i14]William C. da Rosa, Iury Valente de Bessa, Lucas C. Cordeiro:
Application of Global Route-Planning Algorithms with Geodesy. CoRR abs/1610.04597 (2016) - [i13]Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening:
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. CoRR abs/1610.04761 (2016) - [i12]Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro:
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration). CoRR abs/1610.07066 (2016) - 2015
- [j6]Jeremy Morse, Lucas C. Cordeiro
, Denis A. Nicole, Bernd Fischer
:
Model checking LTL properties over ANSI-C programs with bounded traces. Softw. Syst. Model. 14(1): 65-81 (2015) - [c31]Felipe Rodrigues Monteiro Sousa
, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Bounded model checking of C++ programs based on the Qt framework. GCCE 2015: 179-180 - [c30]Rodrigo R. Oliveira, Lucas C. Cordeiro
, Vicente Ferreira de Lucena Jr.
:
Hardware reconfiguration based on broadcasted digital TV signal. ICCE 2015: 596-598 - [c29]Herbert Rocha
, Hussama Ismail, Lucas C. Cordeiro
, Raimundo S. Barreto
:
Model Checking Embedded C Software Using k-Induction and Invariants. SBESC 2015: 90-95 - [c28]Erickson H. da S. Alves, Lucas C. Cordeiro
, Eddie Batista de Lima Filho:
Fault Localization in Multi-threaded C Programs Using Bounded Model Checking. SBESC 2015: 96-101 - [c27]Alessandro Trindade
, Hussama Ismail, Lucas C. Cordeiro
:
Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded Systems. SBESC 2015: 102-105 - [c26]Herbert Rocha
, Raimundo S. Barreto
, Lucas C. Cordeiro
:
Memory Management Test-Case Generation of C Programs Using Bounded Model Checking. SEFM 2015: 251-267 - [c25]Hussama Ismail, Iury Bessa
, Lucas C. Cordeiro
, Eddie Batista de Lima Filho, Joao Edgar Chaves Filho:
DSVerifier: A Bounded Model Checking Tool for Digital Systems. SPIN 2015: 126-131 - [i11]Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto:
Model Checking C Programs with Loops via k-Induction and Invariants. CoRR abs/1502.02327 (2015) - [i10]Felipe Rodrigues Monteiro Sousa, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version). CoRR abs/1509.01682 (2015) - [i9]Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto:
Model Checking Embedded C Software using k-Induction and Invariants (extended version). CoRR abs/1509.02471 (2015) - [i8]Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version). CoRR abs/1509.02490 (2015) - [i7]Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro:
Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version). CoRR abs/1509.02492 (2015) - 2014
- [j5]Jeremy Morse, Lucas C. Cordeiro
, Denis A. Nicole, Bernd Fischer
:
Applying symbolic bounded model checking to the 2012 RERS greybox challenge. Int. J. Softw. Tools Technol. Transf. 16(5): 519-529 (2014) - [c24]Ricardo Erikson Veras De Sena Rosa
, Lucas C. Cordeiro
, Vicente Ferreira de Lucena Jr.
:
A secondary screen architecture to accurately capture viewers' interactions in an iTV environment. GCCE 2014: 264-265 - [c23]Francisco A. P. Januário, Lucas C. Cordeiro
, Vicente Ferreira de Lucena Jr.
, Eddie Batista de Lima Filho:
BMCLua: Verification of Lua programs in digital TV interactive applications. GCCE 2014: 707-708 - [c22]Iury Bessa
, Renato B. Abreu, João Edgar Chaves Filho, Lucas C. Cordeiro
:
SMT-based bounded model checking of fixed-point digital controllers. IECON 2014: 295-301 - [c21]Iury Valente de Bessa
, Hussama Ibrahim Ismail, Lucas Carvalho Cordeiro
, Joao Edgar Chaves Filho:
Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking. SBESC 2014: 49-54 - [c20]Jeremy Morse, Mikhail Ramalho, Lucas C. Cordeiro
, Denis A. Nicole, Bernd Fischer
:
ESBMC 1.22 - (Competition Contribution). TACAS 2014: 405-407 - [i6]Iury Bessa, Renato B. Abreu, Joao Edgar Chaves Filho, Lucas C. Cordeiro:
SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers. CoRR abs/1403.5172 (2014) - 2013
- [j4]Ricardo Erikson Veras De Sena Rosa
, Vicente Ferreira de Lucena Jr.
, Lucas C. Cordeiro
, Joao Edgar Chaves Filho:
Dynamic and automated product derivation for consumer electronics software applications. IEEE Trans. Consumer Electron. 59(4): 883-891 (2013) - [c19]Mikhail Ramalho, Mauro Freitas, Felipe Rodrigues Monteiro Sousa
, Hendrio Marques, Lucas C. Cordeiro
, Bernd Fischer
:
SMT-Based Bounded Model Checking of C++ Programs. ECBS 2013: 147-156 - [c18]Jeremy Morse, Lucas C. Cordeiro
, Denis A. Nicole, Bernd Fischer
:
Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution). TACAS 2013: 619-622 - [i5]Renato B. Abreu, Lucas C. Cordeiro, Eddie B. L. Filho:
Verifying Fixed-Point Digital Filters using SMT-Based Bounded Model Checking. CoRR abs/1305.2892 (2013) - 2012
- [j3]Lucas C. Cordeiro
, Bernd Fischer
, João Marques-Silva
:
SMT-Based Bounded Model Checking for Embedded ANSI-C Software. IEEE Trans. Software Eng. 38(4): 957-974 (2012) - [c17]Herbert Rocha
, Raimundo S. Barreto
, Lucas C. Cordeiro
, Arilo Dias Neto:
Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples. IFM 2012: 128-142 - [c16]David Cohen, Eduardo Valentin, Raimundo S. Barreto
, Horacio A. B. F. de Oliveira, Lucas C. Cordeiro
:
A car racing based strategy for the Dynamic Voltage and Frequency Scaling technique. ISIE 2012: 774-779 - [c15]Lucas C. Cordeiro
, Jeremy Morse, Denis A. Nicole, Bernd Fischer
:
Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution). TACAS 2012: 534-537 - 2011
- [b1]Lucas C. Cordeiro:
SMT-based bounded model checking of multi-threaded software in embedded systems. University of Southampton, UK, 2011 - [c14]Vicente Ferreira de Lucena
, José Pinheiro de Queiroz Neto, Joao Edgar Chaves Filho, Waldir Sabino da Silva Jr., Lucas Carvalho Cordeiro
:
Gift young engineers: An extra-curricular initiative for updating computer and electrical engineering courses. FIE 2011: S1 - [c13]Lucas C. Cordeiro
, Bernd Fischer
:
Verifying multi-threaded software using smt-based context-bounded model checking. ICSE 2011: 331-340 - [c12]Raimundo S. Barreto
, Lucas C. Cordeiro
, Bernd Fischer
:
Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker. SBESC 2011: 46-52 - [c11]Jeremy Morse, Lucas C. Cordeiro
, Denis A. Nicole, Bernd Fischer
:
Context-Bounded Model Checking of LTL Properties for ANSI-C Software. SEFM 2011: 302-317 - [i4]Raimundo S. Barreto, Lucas C. Cordeiro, Bernd Fischer:
Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker. CoRR abs/1106.2320 (2011) - 2010
- [c10]Lucas C. Cordeiro
, Bernd Fischer
, João Marques-Silva
:
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking. ECBS 2010: 160-169 - [c9]Lucas C. Cordeiro
:
SMT-based bounded model checking for multi-threaded software in embedded systems. ICSE (2) 2010: 373-376 - [i3]Lucas C. Cordeiro, Bernd Fischer:
Bounded Model Checking of Multi-threaded Software using SMT solvers. CoRR abs/1003.3830 (2010)
2000 – 2009
- 2009
- [c8]Lucas C. Cordeiro
, Bernd Fischer
, Huan Chen, João Marques-Silva
:
Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. ICESS 2009: 396-403 - [c7]Lucas C. Cordeiro
, Bernd Fischer
, João Marques-Silva
:
SMT-Based Bounded Model Checking for Embedded ANSI-C Software. ASE 2009: 137-148 - [i2]Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva:
SMT-Based Bounded Model Checking for Embedded ANSI-C Software. CoRR abs/0907.2072 (2009) - [i1]Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva:
Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking. CoRR abs/0911.3784 (2009) - 2008
- [j2]Lucas C. Cordeiro, Carlos Mar, Eduardo Valentin, Fabiano Cruz, Daniel Patrick, Raimundo S. Barreto, Vicente Lucena
:
An agile development methodology applied to embedded control software under stringent hardware constraints. ACM SIGSOFT Softw. Eng. Notes 33(1) (2008) - [c6]Mauro Teófilo, Lucas C. Cordeiro
, Raimundo S. Barreto
, José Raimundo Pereira, Ayres Mardem, Pedro Freitas:
Mandos: A User Interaction Method in Embedded Applications for Mobile Telephony. ACHI 2008: 271-276 - [c5]Fabiano Cruz, Raimundo S. Barreto
, Lucas C. Cordeiro
, Paulo Romero Martins Maciel:
ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis. DATE 2008: 1510-1515 - [c4]Lucas C. Cordeiro
, Carlos Mar, Eduardo Valentin, Fabiano Cruz, Daniel Patrick, Raimundo S. Barreto
, Vicente Lucena
:
A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit. ECBS 2008: 408-417 - [c3]Lucas C. Cordeiro, Raimundo S. Barreto, Meuse N. Oliveira Jr.:
Towards a Semiformal Development Methodology for Embedded Systems. ENASE 2008: 5-12 - [c2]Fabiano Cruz, Raimundo S. Barreto
, Lucas C. Cordeiro
:
Towards a model-driven engineering approach for developing embedded hard real-time software. SAC 2008: 308-314 - 2007
- [j1]Lucas C. Cordeiro, Raimundo S. Barreto, Rafael Barcelos, Meuse N. Oliveira Jr., Vicente Lucena
, Paulo Romero Martins Maciel:
TXM: an agile HW/SW development methodology for building medical devices. ACM SIGSOFT Softw. Eng. Notes 32(6) (2007) - [c1]Lucas C. Cordeiro
, Raimundo S. Barreto
, Rafael Barcelos, Meuse N. Oliveira Jr., Vicente Lucena
, Paulo Romero Martins Maciel:
Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach. ECBS 2007: 195-202
Coauthor Index
aka: Iury Valente de Bessa
aka: Joao Edgar Chaves Filho
aka: Mikhail Y. R. Gadelha
aka: Hussama Ibrahim Ismail
aka: Felipe Rodrigues Monteiro Sousa
aka: Herbert O. Rocha

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-06 21:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint