default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLucas C. Cordeiro
Lucas Carvalho 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
showing all ?? records
2020 – today
- 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) - [c90]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 - [c89]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 - [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 - [i79]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) - [i78]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) - [i77]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) - [i76]Yiannis Charalambous, Edoardo Manino, Lucas C. Cordeiro:
Automated Repair of AI Code with Large Language Models and Formal Verification. CoRR abs/2405.08848 (2024) - [i75]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) - [i74]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) - [i73]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) - [i72]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) - [i71]Fatima Abacha, Sin G. Teo, Lucas C. Cordeiro, Mustafa A. Mustafa:
Synthetic Data Aided Federated Learning Using Foundation Models. CoRR abs/2407.05174 (2024) - [i70]Adrians Skapars, Edoardo Manino, Youcheng Sun, Lucas C. Cordeiro:
Was it Slander? Towards Exact Inversion of Generative Language Models. CoRR abs/2407.11059 (2024) - [i69]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) - 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 - [d2]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 - [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]