Lucas C. Cordeiro

231 papers A* 7A 13B 13C 10Misc 3Journal 126Unranked 58
YearRankTypeTitle / Venue / Authors
2026 C conf
Memory Safety in Linux Device Drivers: Enhancing Security with Formal Verification.
ICCE
Janislley O. Sousa, David A. O. Ferreira, Eddie B. de Lima Filho, Lucas C. Cordeiro
2026 J jnl
Specification Vibing for Automated Program Repair.
CoRR
Taohong Zhu, Lucas C. Cordeiro, Mustafa A. Mustafa, Youcheng Sun
2025 C conf
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification.
AST
Norbert Tihanyi, Yiannis Charalambous, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro
2025 J jnl
A review of state-of-the-art techniques for large language model compression.
Complex Intell. Syst.
Pierre V. Dantas, Lucas C. Cordeiro, Waldir S. S. Júnior
2025 C conf
Automated Evaluation of Digital TV Middleware: Using Fuzzing and Pairwise for Test Generation.
ICCE
Sergillam Barroso Oliveira, Eddie Batista de Lima Filho, Orlewilson B. Maia, Lucas C. Cordeiro
2025 Misc conf
CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs Towards CWE Detection.
TASE
Richard A. Dubniczky, Krisztofer Zoltán Horvát, Tamás Bisztray, Mohamed Amine Ferrag, Lucas C. Cordeiro, Norbert Tihanyi
2025 J jnl
CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs towards CWE Detection.
CoRR
Richard A. Dubniczky, Krisztofer Zoltán Horvát, Tamás Bisztray, Mohamed Amine Ferrag, Lucas C. Cordeiro, Norbert Tihanyi
2025 J jnl
ESBMC v7.6: Enhanced model checking of C++ programs with clang AST.
Sci. Comput. Program.
Xianzhiyu Li, Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Konstantin Korovin, Lucas C. Cordeiro
2025 B conf
ESBMC v7.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving - (Competition Contribution).
FASE
Chenfeng Wei, Tong Wu, Rafael Sá Menezes, Fedor Shmarov, Fatimah Aljaafari, Sangharatna Godboley, Kaled M. Alshmrany, Rosiane de Freitas, Lucas C. Cordeiro
2025 — conf
ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution).
TACAS (3)
Tong Wu, Xianzhiyu Li, Edoardo Manino, Rafael Sá Menezes, Mikhail R. Gadelha, Shale Xiong, Norbert Tihanyi, Pavlos Petoumenos, Lucas C. Cordeiro
2025 C conf
Enhanced User Experience in Digital TV: Recommending Content in Free-to-Air TV Contexts.
ICCE
Sergillam Barroso Oliveira, Tiago Souza, Petrina Kimura, Haydê Machado, Orlewilson Bentes Maia, Eddie B. de Lima Filho, Edson Weslley Almeida do Nascimento, Leandro Negreiros, Rafaell Guimarães Santana, Lucas C. Cordeiro
2025 J jnl
Floating-Point Neural Network Verification at the Software Level.
CoRR
Edoardo Manino, Bruno Farias, Rafael Sá Menezes, Fedor Shmarov, Lucas C. Cordeiro
2025 J jnl
GPT, But Backwards: Exactly Inverting Language Model Outputs.
CoRR
Adrians Skapars, Edoardo Manino, Youcheng Sun, Lucas C. Cordeiro
2025 J jnl
How secure is AI-generated code: a large-scale comparison of large language models.
Empir. Softw. Eng.
Norbert Tihanyi, Tamás Bisztray, Mohamed Amine Ferrag, Ridhi Jain, Lucas C. Cordeiro
2025 B conf
Montague semantics and modifier consistency measurement in neural language models.
COLING
Danilo Silva de Carvalho, Edoardo Manino, Julia Rozanova, Lucas C. Cordeiro, André Freitas
2025 C conf
Natural Language Processing Models for Named Entity Recognition in Digital TV Audio.
ICCE
Edson Weslley Almeida do Nascimento, Petrina Kimura, Tiago Souza, Sergillam Barroso Oliveira, Haydê Machado, Lucas C. Cordeiro, Rômulo Fabrício, Eddie B. de Lima Filho
2025 — conf
Neural Network Verification is a Programming Language Challenge.
ESOP (1)
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
2025 J jnl
Neural Network Verification is a Programming Language Challenge.
CoRR
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
2025 C conf
Optimizing User Experience: A Feedback-Based Performance Evaluation Methodology for Recommendation Systems.
ICCE
Sergillam Barroso Oliveira, Tiago Souza, Petrina Kimura, Haydê Machado, Orlewilson Bentes Maia, Eddie B. de Lima Filho, Edson Weslley Almeida do Nascimento, Lucas C. Cordeiro
2025 A conf
ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation.
RE
Taohong Zhu, Lucas C. Cordeiro, Youcheng Sun
2025 J jnl
ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation.
CoRR
Taohong Zhu, Lucas C. Cordeiro, Youcheng Sun
2025 J jnl
SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection With LLMs?
IEEE Trans. Software Eng.
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
2025 A conf
Supporting Software Formal Verification with Large Language Models: An Experimental Study.
RE
Weiqi Wang, Marie Farrell, Lucas C. Cordeiro, Liping Zhao
2025 J jnl
Supporting Software Formal Verification with Large Language Models: An Experimental Study.
CoRR
Weiqi Wang, Marie Farrell, Lucas C. Cordeiro, Liping Zhao
2025 J jnl
The 4/δ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee.
CoRR
Pierre V. Dantas, Lucas C. Cordeiro, Youcheng Sun, Waldir S. S. Júnior
2025 J jnl
UnitTenX: Generating Tests for Legacy Packages with AI Agents Powered by Formal Verification.
CoRR
Yiannis Charalambous, Claudionor N. Coelho Jr., Luís C. Lamb, Lucas C. Cordeiro
2025 — conf
VO-GCSE: Verification Optimization through Global Common Subexpression Elimination.
SIGSOFT FSE Companion
Rafael Sá Menezes, Norbert Tihanyi, Ridhi Jain, Alexander Levin, Rosiane de Freitas, Lucas C. Cordeiro
2025 A* conf
VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Formal Methods.
ASE
Chenfeng Wei, Shiyu Cai, Yiannis Charalambous, Tong Wu, Sangharatna Godboley, Lucas C. Cordeiro
2025 J jnl
Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview.
CoRR
Norbert Tihanyi, Tamás Bisztray, Mohamed Amine Ferrag, Bilel Cherif, Richard A. Dubniczky, Ridhi Jain, Lucas C. Cordeiro
2024 J jnl
Automated Repair of AI Code with Large Language Models and Formal Verification.
CoRR
Yiannis Charalambous, Edoardo Manino, Lucas C. Cordeiro
2024 J jnl
Counterexample Guided Neural Network Quantization Refinement.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
João Batista Pereira Matos Jr., Eddie B. de Lima Filho, Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
2024 J jnl
Do Neutral Prompts Produce Insecure Code? FormAI-v2 Dataset: Labelling Vulnerabilities in Code Generated by Large Language Models.
CoRR
Norbert Tihanyi, Tamás Bisztray, Mohamed Amine Ferrag, Ridhi Jain, Lucas C. Cordeiro
2024 B conf
Dynamic Intelligence Assessment: Benchmarking LLMs on the Road to AGI with a Focus on Model Confidence.
IEEE Big Data
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
2024 J jnl
Dynamic Intelligence Assessment: Benchmarking LLMs on the Road to AGI with a Focus on Model Confidence.
CoRR
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
2024 — conf
ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution).
TACAS (3)
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
2024 J jnl
ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST.
CoRR
Xianzhiyu Li, Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Konstantin Korovin, Lucas C. Cordeiro
2024 A conf
ESBMC-Python: A Bounded Model Checker for Python Programs.
ISSTA
Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro
2024 J jnl
ESBMC-Python: A Bounded Model Checker for Python Programs.
CoRR
Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro
2024 J jnl
FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning.
CoRR
Kaled M. Alshmrany, Mohannad Aldughaim, Chenfeng Wei, Tom Sweet, Richard Allmendinger, Lucas C. Cordeiro
2024 J jnl
FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis.
Formal Aspects Comput.
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
2024 J jnl
Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study.
CoRR
Rafael Sá Menezes, Edoardo Manino, Fedor Shmarov, Mohannad Aldughaim, Rosiane de Freitas, Lucas C. Cordeiro
2024 A conf
JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking.
ISSTA
Zaiyu Cheng, Tong Wu, Peter Schrammel, Norbert Tihanyi, Eddie B. de Lima Filho, Lucas C. Cordeiro
2024 A* conf
LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling.
ASE
Muhammad A. A. Pirzada, Giles Reger, Ahmed Bhayat, Lucas C. Cordeiro
2024 — conf
Rapid Taint Assisted Concolic Execution (TACE).
SIGSOFT FSE Companion
Ridhi Jain, Norbert Tihanyi, Mthandazo Ndhlovu, Mohamed Amine Ferrag, Lucas C. Cordeiro
2024 J jnl
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, Mérouane Debbah, Thierry Lestable, Narinderjit Singh Thandi
2024 J jnl
Synthetic Data Aided Federated Learning Using Foundation Models.
CoRR
Fatima Abacha, Sin G. Teo, Lucas C. Cordeiro, Mustafa A. Mustafa
2024 J jnl
Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches.
CoRR
Víctor A. Braberman, Flavia Bonomo-Braberman, Yiannis Charalambous, Juan Gabriel Colonna, Lucas C. Cordeiro, Rosiane de Freitas
2024 B conf
Verifying Components of Arm
SAS
Tong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro
2024 J jnl
Verifying components of Arm(R) Confidential Computing Architecture with ESBMC.
CoRR
Tong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro
2024 J jnl
Was it Slander? Towards Exact Inversion of Generative Language Models.
CoRR
Adrians Skapars, Edoardo Manino, Youcheng Sun, Lucas C. Cordeiro
2023 J jnl
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification.
CoRR
Yiannis Charalambous, Norbert Tihanyi, Ridhi Jain, Youcheng Sun, Mohamed Amine Ferrag, Lucas C. Cordeiro
2023 J jnl
A Privacy-Preserving and Accountable Billing Protocol for Peer-to-Peer Energy Trading Markets.
CoRR
Kamil Erdayandi, Lucas C. Cordeiro, Mustafa A. Mustafa
2023 J jnl
A fuzzing-based test-creation approach for evaluating digital TV receivers via transport streams.
Softw. Test. Verification Reliab.
Fabrício Izumi, Eddie B. de Lima Filho, Lucas C. Cordeiro, Orlewilson B. Maia, Rômulo Fabrício, Bruno Farias, Aguinaldo Silva
2023 — conf
AIREPAIR: A Repair Platform for Neural Networks.
ICSE Companion
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
2023 — conf
Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement.
FoMLAS@CAV
Edoardo Manino, Bernardo Magri, Mustafa A. Mustafa, Lucas C. Cordeiro
2023 — conf
EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution).
TACAS (2)
Fatimah Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, Lucas C. Cordeiro
2023 — conf
ESBMC v7.3: Model Checking C++ Programs Using Clang AST.
SBMF
Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro
2023 J jnl
ESBMC v7.3: Model Checking C++ Programs using Clang AST.
CoRR
Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro
2023 J jnl
ESBMC v7.4: Harnessing the Power of Intervals.
CoRR
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
2023 J jnl
Edge Learning for 6G-Enabled Internet of Things: A Comprehensive Survey of Vulnerabilities, Datasets, and Defenses.
IEEE Commun. Surv. Tutorials
Mohamed Amine Ferrag, Othmane Friha, Burak Kantarci, Norbert Tihanyi, Lucas C. Cordeiro, Mérouane Debbah, Djallel Hamouda, Muna Al-Hawawreh, Kim-Kwang Raymond Choo
2023 J jnl
Edge Learning for 6G-enabled Internet of Things: A Comprehensive Survey of Vulnerabilities, Datasets, and Defenses.
CoRR
Mohamed Amine Ferrag, Othmane Friha, Burak Kantarci, Norbert Tihanyi, Lucas C. Cordeiro, Mérouane Debbah, Djallel Hamouda, Muna Al-Hawawreh, Kim-Kwang Raymond Choo
2023 — conf
Evaluation of Ginga's CC-Web-Service Module.
ICCE-Taiwan
Sergillam Barroso Oliveira, Andre R. da Silva Conceição, Eddie Batista de Lima Filho, Lucas C. Cordeiro
2023 J jnl
Finding Software Vulnerabilities in Open-Source C Projects via Bounded Model Checking.
CoRR
Janislley Oliveira de Sousa, Bruno Carvalho de Farias, Thales Araujo da Silva, Eddie Batista de Lima Filho, Lucas C. Cordeiro
2023 B conf
FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution).
FASE
Mohannad Aldughaim, Kaled M. Alshmrany, Mikhail R. Gadelha, Rosiane de Freitas, Lucas C. Cordeiro
2023 — conf
Interventional Probing in High Dimensions: An NLI Case Study.
EACL (Findings)
Julia Rozanova, Marco Valentino, Lucas C. Cordeiro, André Freitas
2023 J jnl
Interventional Probing in High Dimensions: An NLI Case Study.
CoRR
Julia Rozanova, Marco Valentino, Lucas C. Cordeiro, André Freitas
2023 J jnl
JBMC: A Bounded Model Checking Tool for Java Bytecode.
CoRR
Romain Brenguier, Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
2023 J jnl
LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution).
CoRR
Tong Wu, Edoardo Manino, Fatimah Aljaafari, Pavlos Petoumenos, Lucas C. Cordeiro
2023 J jnl
NeuroCodeBench: a plain C neural network benchmark for software verification.
CoRR
Edoardo Manino, Rafael Sá Menezes, Fedor Shmarov, Lucas C. Cordeiro
2023 — conf
Poisoning Attacks in Federated Edge Learning for Digital Twin 6G-Enabled IoTs: An Anticipatory Study.
ICC Workshops
Mohamed Amine Ferrag, Burak Kantarci, Lucas C. Cordeiro, Mérouane Debbah, Kim-Kwang Raymond Choo
2023 J jnl
Poisoning Attacks in Federated Edge Learning for Digital Twin 6G-enabled IoTs: An Anticipatory Study.
CoRR
Mohamed Amine Ferrag, Burak Kantarci, Lucas C. Cordeiro, Mérouane Debbah, Kim-Kwang Raymond Choo
2023 B conf
QNNRepair: Quantized Neural Network Repair.
SEFM
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
2023 J jnl
QNNRepair: Quantized Neural Network Repair.
CoRR
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
2023 J jnl
Revolutionizing Cyber Threat Detection with Large Language Models.
CoRR
Mohamed Amine Ferrag, Mthandazo Ndhlovu, Norbert Tihanyi, Lucas C. Cordeiro, Mérouane Debbah, Thierry Lestable
2023 J jnl
SecureFalcon: The Next Cyber Reasoning System for Cyber Security.
CoRR
Mohamed Amine Ferrag, Ammar Battah, Norbert Tihanyi, Mérouane Debbah, Thierry Lestable, Lucas C. Cordeiro
2023 J jnl
The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification.
CoRR
Norbert Tihanyi, Tamás Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, Vasileios Mavroeidis
2023 — conf
The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification.
PROMISE
Norbert Tihanyi, Tamás Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, Vasileios Mavroeidis
2023 — conf
Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration.
SBESC
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
2023 J jnl
Towards global neural network abstractions with locally-exact reconstruction.
Neural Networks
Edoardo Manino, Iury Bessa, Lucas C. Cordeiro
2022 J jnl
AIREPAIR: A Repair Platform for Neural Networks.
CoRR
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
2022 — conf
CEG4N: Counter-Example Guided Neural Network Quantization Refinement.
NSV/FoMLAS@CAV
João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
2022 J jnl
CEG4N: Counter-Example Guided Neural Network Quantization Refinement.
CoRR
João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
2022 J jnl
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs.
IEEE Access
Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro
2022 J jnl
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs.
CoRR
Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro
2022 A conf
ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC.
ISSTA
Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro
2022 J jnl
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation.
CoRR
Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro
2022 A conf
ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation.
ISSTA
Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro
2022 — conf
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts.
ICSE-Companion
Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro
2022 — conf
EnnCore: End-to-End Conceptual Guarding of Neural Architectures.
SafeAI@AAAI
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
2022 J jnl
FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis.
CoRR
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Fedor Shmarov, Fatimah Aljaafari, Lucas C. Cordeiro
2022 B conf
FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing - (Competition Contribution).
FASE
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
2022 J jnl
Model checking C++ programs.
Softw. Test. Verification Reliab.
Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro
2022 J jnl
Montague semantics and modifier consistency measurement in neural language models.
CoRR
Danilo S. Carvalho, Edoardo Manino, Julia Rozanova, Lucas C. Cordeiro, André Freitas
2022 — conf
Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities.
SecDev
Kaled M. Alshmrany, Ahmed Bhayat, Franz Brauße, Lucas C. Cordeiro, Konstantin Korovin, Tom Melham, Mustafa A. Mustafa, Pierre Olivier, Giles Reger, Fedor Shmarov
2022 J jnl
Privacy-Friendly Peer-to-Peer Energy Trading: A Game Theoretical Approach.
CoRR
Kamil Erdayandi, Amrit Paudel, Lucas C. Cordeiro, Mustafa A. Mustafa
2022 A conf
Summary of Model Checking C++ Programs.
ICST
Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro
2022 — conf
Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective.
ACL (Findings)
Edoardo Manino, Julia Rozanova, Danilo S. Carvalho, André Freitas, Lucas C. Cordeiro
2022 J jnl
Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective.
CoRR
Edoardo Manino, Julia Rozanova, Danilo S. Carvalho, André Freitas, Lucas C. Cordeiro
2022 J jnl
Towards Global Neural Network Abstractions with Locally-Exact Reconstruction.
CoRR
Edoardo Manino, Iury Bessa, Lucas C. Cordeiro
2022 — conf
Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).
TACAS (2)
Tong Wu, Peter Schrammel, Lucas C. Cordeiro
2021 — conf
Assisted Counterexample-Guided Inductive Optimization for Robot Path Planning.
SBESC
Mengze Li, Lucas C. Cordeiro
2021 J jnl
EBF: A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols.
CoRR
Fatimah Aljaafari, Lucas C. Cordeiro, Mustafa A. Mustafa, Rafael Menezes
2021 J jnl
ESBMC 6.1: automated test case generation using bounded model checking.
Int. J. Softw. Tools Technol. Transf.
Mikhail R. Gadelha, Rafael S. Menezes, Lucas C. Cordeiro
2021 J jnl
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts.
CoRR
Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro
2021 — conf
Exploiting the SAT Revolution for Automated Software Verification: Report from an Industrial Case Study.
LADC (Companion)
Lucas C. Cordeiro
2021 J jnl
FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing.
CoRR
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
2021 B conf
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution).
FASE
Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro
2021 — conf
FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs.
TAP@STAF
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
2021 J jnl
Model Checking C++ Programs.
CoRR
Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro
2021 J jnl
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking.
CoRR
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
2021 J jnl
Verification and refutation of C programs based on k-induction and invariant inference.
Int. J. Softw. Tools Technol. Transf.
Omar M. Alhawi, Herbert Rocha, Mikhail R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2021 J jnl
Verifying Quantized Neural Networks using SMT-Based Model Checking.
CoRR
Luiz H. Sena, Xidan Song, Erickson H. da S. Alves, Iury Bessa, Edoardo Manino, Lucas C. Cordeiro
2021 — conf
Verifying Security Vulnerabilities for Blockchain-based Smart Contracts.
SBESC
Nedas Matulevicius, Lucas C. Cordeiro
2021 J jnl
Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction.
CoRR
Thales Silva, Carmina Porto, Erickson H. da S. Alves, Lucas C. Cordeiro, Herbert Rocha
2020 — conf
An Efficient Floating-Point Bit-Blasting API for Verifying C Programs.
VSTTE
Mikhail R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
2020 J jnl
An Efficient Floating-Point Bit-Blasting API for Verifying C Programs.
CoRR
Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
2020 J jnl
Automated formal synthesis of provably safe digital controllers for continuous plants.
Acta Informatica
Alessandro Abate, Iury Bessa, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
2020 J jnl
Bounded Model Checking of Software Using Interval Methods via Contractors.
CoRR
Mohannad Aldughaim, Kaled M. Alshmrany, Mohamed Mustafa, Lucas C. Cordeiro, Alexandru Stancu
2020 B conf
ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution).
FASE
Mikhail Y. R. Gadelha, Rafael Menezes, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole
2020 J jnl
Finding Security Vulnerabilities in Network Protocol Implementations.
CoRR
Kaled M. Alshmrany, Lucas C. Cordeiro
2020 J jnl
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs.
CoRR
Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro
2020 J jnl
Incremental Verification of Fixed-Point Implementations of Neural Networks.
CoRR
Luiz H. Sena, Erickson H. da S. Alves, Iury Bessa, Eddie B. L. Filho, Lucas C. Cordeiro
2020 — conf
Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution).
TACAS (2)
Herbert Rocha, Rafael Menezes, Lucas C. Cordeiro, Raimundo S. Barreto
2020 J jnl
Survey on automated symbolic verification and its application for synthesising cyber-physical systems.
IET Cyper-Phys. Syst.: Theory & Appl.
Lucas C. Cordeiro, Eddie Batista de Lima Filho, Iury Valente de Bessa
2020 — conf
Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison.
VSTTE
Alessandro Trindade, Lucas C. Cordeiro
2020 J jnl
Verifying Software Vulnerabilities in IoT Cryptographic Protocols.
CoRR
Fatimah Aljaafari, Lucas C. Cordeiro, Mustafa A. Mustafa
2019 J jnl
Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space.
CoRR
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Enrico Steffinlongo, Lucas C. Cordeiro, Denis A. Nicole
2019 J jnl
Boost the Impact of Continuous Formal Verification in Industry.
CoRR
Felipe R. Monteiro, Mikhail Y. R. Gadelha, Lucas C. Cordeiro
2019 — conf
ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference - (Competition Contribution).
TACAS (3)
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole
2019 — conf
Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification.
SIoT
Omar M. Alhawi, Mustafa A. Mustafa, Lucas C. Cordeiro
2019 J jnl
Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification.
CoRR
Omar M. Alhawi, Mustafa A. Mustafa, Lucas C. Cordeiro
2019 — conf
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA.
SBESC
Luiz H. Sena, Iury Valente de Bessa, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota
2019 J jnl
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA.
CoRR
Luiz H. Sena, Iury Valente de Bessa, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota
2019 — conf
JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution).
TACAS (3)
Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
2019 J jnl
Optimal Sizing of Stand-alone Solar PV Systems via Automated Formal Synthesis.
CoRR
Alessandro Trindade, Lucas C. Cordeiro
2019 — conf
SMT-based refutation of spurious bug reports in the clang static analyzer.
ICSE (Companion Volume)
Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
2019 J jnl
Verifying fragility in digital systems with uncertainties using DSVerifier
J. Syst. Softw.
Lennon C. Chaves, Hussama Ibrahim Ismail, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2018 J jnl
Automated Verification of Stand-alone Solar Photovoltaic Systems.
CoRR
Alessandro Trindade, Lucas C. Cordeiro
2018 J jnl
Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP).
CoRR
Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
2018 J jnl
Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP).
ACM SIGSOFT Softw. Eng. Notes
Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
2018 A* conf
Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract).
ASE
Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2018 J jnl
Counterexample guided inductive optimization based on satisfiability modulo theories.
Sci. Comput. Program.
Rodrigo F. Araujo, Higo F. Albuquerque, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho
2018 — conf
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems.
HSCC
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening
2018 J jnl
DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles.
IEEE Trans. Reliab.
Lennon C. Chaves, Iury Bessa, Hussama Ismail, Adriano Bruno dos Santos Frutuoso, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2018 A* conf
ESBMC 5.0: an industrial-strength C model checker.
ASE
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
2018 J jnl
ESBMC-GPU A context-bounded model checking tool to verify CUDA programs.
Sci. Comput. Program.
Felipe R. Monteiro, Erickson H. da S. Alves, Isabela da Silva, Hussama Ismail, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2018 — conf
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode.
CAV (1)
Lucas C. Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtík
2018 — conf
Map2Check Using LLVM and KLEE - (Competition Contribution).
TACAS (2)
Rafael Menezes, Herbert Rocha, Lucas C. Cordeiro, Raimundo S. Barreto
2018 J jnl
SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer.
CoRR
Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
2018 J jnl
Sim3Tanks: A Benchmark Model Simulator for Process Control and Monitoring.
IEEE Access
Arllem O. Farias, Gabriel Alisson C. Queiroz, Iury Valente de Bessa, Renan Landau Paiva de Medeiros, Lucas C. Cordeiro, Reinaldo M. Palhares
2018 — conf
Towards counterexample-guided k-induction for fast bug detection.
ESEC/SIGSOFT FSE
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole
2017 J jnl
A method to localize faults in concurrent C programs.
J. Syst. Softw.
Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2017 — conf
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants.
CAV (1)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
2017 J jnl
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants.
CoRR
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
2017 J jnl
Automated Verification and Synthesis of Embedded Systems using Machine Learning.
CoRR
Lucas C. Cordeiro
2017 J jnl
BMCLua: A Translator for Model Checking Lua Programs.
ACM SIGSOFT Softw. Eng. Notes
Felipe R. Monteiro, Francisco A. P. Januário, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2017 J jnl
Bounded model checking of C++ programs based on the Qt cross-platform framework.
Softw. Test. Verification Reliab.
Felipe R. Monteiro, Mário Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2017 J jnl
Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version).
CoRR
Rodrigo F. Araujo, Alexandre Ribeiro, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho
2017 J jnl
Counterexample Guided Inductive Optimization.
CoRR
Rodrigo F. Araujo, Higo F. Albuquerque, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho
2017 — conf
Counterexample guided inductive optimization applied to mobile robots path planning.
LARS/SBR
Rodrigo F. Araujo, Alexandre Ribeiro, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho
2017 J jnl
Counterexample-Guided k-Induction Verification for Fast Bug Detection.
CoRR
Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
2017 A* conf
DSSynth: an automated digital controller synthesis tool for physical plants.
ASE
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon C. Chaves, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
2017 — conf
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution).
TACAS (2)
Williame Rocha, Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Bernd Fischer
2017 — conf
Encoding Floating-Point Numbers Using the SMT Theory in ESBMC: An Empirical Evaluation over the SV-COMP Benchmarks.
SBMF
Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
2017 J jnl
Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty.
IEEE Trans. Computers
Iury Bessa, Hussama Ismail, Reinaldo M. Palhares, Lucas C. Cordeiro, Joao Edgar Chaves Filho
2017 J jnl
Handling loops in bounded model checking of C programs via k-induction.
Int. J. Softw. Tools Technol. Transf.
Mikhail Y. R. Gadelha, Hussama Ibrahim Ismail, Lucas C. Cordeiro
2017 — conf
OptCE: A Counterexample-Guided Inductive Optimization Solver.
SBMF
Higo F. Albuquerque, Rodrigo F. Araujo, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2017 J jnl
SMT-based context-bounded model checking for CUDA programs.
Concurr. Comput. Pract. Exp.
Phillipe A. Pereira, Higo F. Albuquerque, Isabela da Silva, Hendrio Marques, Felipe R. Monteiro, Ricardo Ferreira, Lucas C. Cordeiro
2017 — conf
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants.
HSCC
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening
2017 J jnl
Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters.
CoRR
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
2017 J jnl
Verifying Digital Systems with MATLAB.
CoRR
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho
2017 A conf
Verifying digital systems with MATLAB.
ISSTA
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho
2016 J jnl
Application of Global Route-Planning Algorithms with Geodesy.
CoRR
William C. da Rosa, Iury Valente de Bessa, Lucas C. Cordeiro
2016 J jnl
Applying SMT-based verification to hardware/software partitioning in embedded systems.
Des. Autom. Embed. Syst.
Alessandro Trindade, Lucas C. Cordeiro
2016 J jnl
Bounded model checking for fixed-point digital filters.
J. Braz. Comput. Soc.
Renato B. Abreu, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Waldir S. S. Júnior
2016 J jnl
Complementary Training Programme for Electrical and Computer Engineering Students Through an Industrial-Academic Collaboration (Extended Version).
CoRR
Felipe R. Monteiro, Phillipe A. Pereira, Lucas C. Cordeiro, Cicero Ferreira Fernandes Costa Filho, Marly Guimarães Fernandes Costa
2016 C conf
Complementary training programme for electrical and computer engineering students through an industrial-academic collaboration.
FIE
Felipe R. Monteiro, Phillipe A. Pereira, Lucas C. Cordeiro, Cicero Ferreira Fernandes Costa Filho, Marly Guimarães Fernandes Costa
2016 J jnl
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration).
CoRR
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro
2016 — conf
ESBMC
SPIN
Mário Garcia, Felipe R. Monteiro, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2016 A conf
Hunting Memory Bugs in C Programs with Map2Check - (Competition Contribution).
TACAS
Herbert O. Rocha, Raimundo S. Barreto, Lucas C. Cordeiro
2016 J jnl
SMT-Based Context-Bounded Model Checking for Embedded Systems: Challenges and Future Trends.
ACM SIGSOFT Softw. Eng. Notes
Lucas C. Cordeiro, Eddie Batista de Lima Filho
2016 J jnl
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants.
CoRR
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening
2016 J jnl
Verification of fixed-point digital controllers using direct and delta forms realizations.
Des. Autom. Embed. Syst.
Iury Valente de Bessa, Hussama Ismail, Lucas C. Cordeiro, João Edgar Chaves Filho
2016 Misc conf
Verifying CUDA programs using SMT-based context-bounded model checking.
SAC
Phillipe A. Pereira, Higo F. Albuquerque, Hendrio Marques, Isabela da Silva, Celso B. Carvalho, Lucas C. Cordeiro, Vanessa Santos, Ricardo Ferreira
2015 J jnl
Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version).
CoRR
Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro
2015 — conf
Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded Systems.
SBESC
Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro
2015 J jnl
Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version).
CoRR
Felipe Rodrigues Monteiro Sousa, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2015 — conf
Bounded model checking of C++ programs based on the Qt framework.
GCCE
Felipe Rodrigues Monteiro Sousa, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2015 — conf
DSVerifier: A Bounded Model Checking Tool for Digital Systems.
SPIN
Hussama Ismail, Iury Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Joao Edgar Chaves Filho
2015 J jnl
Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version).
CoRR
Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2015 — conf
Fault Localization in Multi-threaded C Programs Using Bounded Model Checking.
SBESC
Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2015 C conf
Hardware reconfiguration based on broadcasted digital TV signal.
ICCE
Rodrigo R. Oliveira, Lucas C. Cordeiro, Vicente Ferreira de Lucena Jr.
2015 B conf
Memory Management Test-Case Generation of C Programs Using Bounded Model Checking.
SEFM
Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro
2015 J jnl
Model Checking C Programs with Loops via k-Induction and Invariants.
CoRR
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto
2015 — conf
Model Checking Embedded C Software Using k-Induction and Invariants.
SBESC
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto
2015 J jnl
Model Checking Embedded C Software using k-Induction and Invariants (extended version).
CoRR
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto
2015 J jnl
Model checking LTL properties over ANSI-C programs with bounded traces.
Softw. Syst. Model.
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
2014 — conf
A secondary screen architecture to accurately capture viewers' interactions in an iTV environment.
GCCE
Ricardo Erikson Veras De Sena Rosa, Lucas C. Cordeiro, Vicente Ferreira de Lucena Jr.
2014 J jnl
Applying symbolic bounded model checking to the 2012 RERS greybox challenge.
Int. J. Softw. Tools Technol. Transf.
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
2014 — conf
BMCLua: Verification of Lua programs in digital TV interactive applications.
GCCE
Francisco A. P. Januário, Lucas C. Cordeiro, Vicente Ferreira de Lucena Jr., Eddie Batista de Lima Filho
2014 A conf
ESBMC 1.22 - (Competition Contribution).
TACAS
Jeremy Morse, Mikhail Ramalho, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
2014 J jnl
SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers.
CoRR
Iury Bessa, Renato B. Abreu, Joao Edgar Chaves Filho, Lucas C. Cordeiro
2014 C conf
SMT-based bounded model checking of fixed-point digital controllers.
IECON
Iury Bessa, Renato B. Abreu, João Edgar Chaves Filho, Lucas C. Cordeiro
2013 J jnl
Dynamic and automated product derivation for consumer electronics software applications.
IEEE Trans. Consumer Electron.
Ricardo Erikson Veras De Sena Rosa, Vicente Ferreira de Lucena Jr., Lucas C. Cordeiro, Joao Edgar Chaves Filho
2013 A conf
Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution).
TACAS
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
2013 — conf
SMT-Based Bounded Model Checking of C++ Programs.
ECBS
Mikhail Ramalho, Mauro Freitas, Felipe Rodrigues Monteiro Sousa, Hendrio Marques, Lucas C. Cordeiro, Bernd Fischer
2013 J jnl
Verifying Fixed-Point Digital Filters using SMT-Based Bounded Model Checking
CoRR
Renato B. Abreu, Lucas C. Cordeiro, Eddie B. L. Filho
2012 — conf
A car racing based strategy for the Dynamic Voltage and Frequency Scaling technique.
ISIE
David Cohen, Eduardo Valentin, Raimundo S. Barreto, Horacio A. B. F. de Oliveira, Lucas C. Cordeiro
2012 A conf
Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution).
TACAS
Lucas C. Cordeiro, Jeremy Morse, Denis A. Nicole, Bernd Fischer
2012 J jnl
SMT-Based Bounded Model Checking for Embedded ANSI-C Software.
IEEE Trans. Software Eng.
Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva
2012 B conf
Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples.
IFM
Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro, Arilo Dias Neto
2011 B conf
Context-Bounded Model Checking of LTL Properties for ANSI-C Software.
SEFM
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
2011 — —
SMT-based bounded model checking of multi-threaded software in embedded systems.
Lucas C. Cordeiro
2011 — conf
Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker.
SBESC
Raimundo S. Barreto, Lucas C. Cordeiro, Bernd Fischer
2011 J jnl
Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker
CoRR
Raimundo S. Barreto, Lucas C. Cordeiro, Bernd Fischer
2011 A* conf
Verifying multi-threaded software using smt-based context-bounded model checking.
ICSE
Lucas C. Cordeiro, Bernd Fischer
2010 J jnl
Bounded Model Checking of Multi-threaded Software using SMT solvers
CoRR
Lucas C. Cordeiro, Bernd Fischer
2010 — conf
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking.
ECBS
Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva
2010 — conf
SMT-based bounded model checking for multi-threaded software in embedded systems.
ICSE (2)
Lucas C. Cordeiro
2009 J jnl
Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking
CoRR
Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva
2009 J jnl
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
CoRR
Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva
2009 A* conf
SMT-Based Bounded Model Checking for Embedded ANSI-C Software.
ASE
Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva
2009 — conf
Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints.
ICESS
Lucas C. Cordeiro, Bernd Fischer, Huan Chen, João Marques-Silva
2008 — conf
A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit.
ECBS
Lucas C. Cordeiro, Carlos Mar, Eduardo Valentin, Fabiano Cruz, Daniel Patrick, Raimundo S. Barreto, Vicente Lucena
2008 J jnl
An agile development methodology applied to embedded control software under stringent hardware constraints.
ACM SIGSOFT Softw. Eng. Notes
Lucas C. Cordeiro, Carlos Mar, Eduardo Valentin, Fabiano Cruz, Daniel Patrick, Raimundo S. Barreto, Vicente Lucena
2008 C conf
Mandos: A User Interaction Method in Embedded Applications for Mobile Telephony.
ACHI
Mauro Teófilo, Lucas C. Cordeiro, Raimundo S. Barreto, José Raimundo Pereira, Ayres Mardem, Pedro Freitas
2008 B conf
Towards a Semiformal Development Methodology for Embedded Systems.
ENASE
Lucas C. Cordeiro, Raimundo S. Barreto, Meuse N. Oliveira Jr.
2008 Misc conf
Towards a model-driven engineering approach for developing embedded hard real-time software.
SAC
Fabiano Cruz, Raimundo S. Barreto, Lucas C. Cordeiro
2008 A conf
ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis.
DATE
Fabiano Cruz, Raimundo S. Barreto, Lucas C. Cordeiro, Paulo Romero Martins Maciel
2007 — conf
Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach.
ECBS
Lucas C. Cordeiro, Raimundo S. Barreto, Rafael Barcelos, Meuse N. Oliveira Jr., Vicente Lucena, Paulo Romero Martins Maciel
2007 J jnl
TXM: an agile HW/SW development methodology for building medical devices.
ACM SIGSOFT Softw. Eng. Notes
Lucas C. Cordeiro, Raimundo S. Barreto, Rafael Barcelos, Meuse N. Oliveira Jr., Vicente Lucena, Paulo Romero Martins Maciel