Lucas C. Cordeiro
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
55
Venues
24
Active years
2008–2025
Best venue rank
A*
Where they publish
- ATACAS13 papers
- BFASE5 papers
- AISSTA5 papers
- A*ICSE5 papers
- A*CAV4 papers
- BSEFM3 papers
- ARE2 papers
- MulticonferenceSAC2 papers
- CAST1 paper
- BCOLING1 paper
- AESOP1 paper
- NationalTASE1 paper
- BSAS1 paper
- AEACL1 paper
- A*AAAI1 paper
- A*ACL1 paper
- AICST1 paper
- CTAP1 paper
- CFIE1 paper
- CIECON1 paper
- BIFM1 paper
- CACHI1 paper
- ADATE1 paper
- BENASE1 paper
Papers
55 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AST | A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification. | Norbert Tihanyi, Yiannis Charalambous, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro |
| 2025 | COLING | Montague semantics and modifier consistency measurement in neural language models. | Danilo Silva de Carvalho, Edoardo Manino, Julia Rozanova, Lucas C. Cordeiro, Andr Freitas |
| 2025 | ESOP | Neural Network Verification is a Programming Language Challenge. | 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 | FASE | ESBMC v7.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving - (Competition Contribution). | Chenfeng Wei, Tong Wu, Rafael S Menezes, Fedor Shmarov, Fatimah Aljaafari, Sangharatna Godboley, Kaled M. Alshmrany, Rosiane de Freitas, Lucas C. Cordeiro |
| 2025 | RE | Supporting Software Formal Verification with Large Language Models: An Experimental Study. | Weiqi Wang, Marie Farrell, Lucas C. Cordeiro, Liping Zhao |
| 2025 | RE | ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation. | Taohong Zhu, Lucas C. Cordeiro, Youcheng Sun |
| 2025 | TACAS | ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution). | Tong Wu, Xianzhiyu Li, Edoardo Manino, Rafael S Menezes, Mikhail R. Gadelha, Shale Xiong, Norbert Tihanyi, Pavlos Petoumenos, Lucas C. Cordeiro |
| 2025 | TASE | CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs Towards CWE Detection. | Richard A. Dubniczky, Krisztofer Zoltn Horvt, Tams Bisztray, Mohamed Amine Ferrag, Lucas C. Cordeiro, Norbert Tihanyi |
| 2024 | ISSTA | ESBMC-Python: A Bounded Model Checker for Python Programs. | Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro |
| 2024 | ISSTA | JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking. | Zaiyu Cheng, Tong Wu, Peter Schrammel, Norbert Tihanyi, Eddie B. de Lima Filho, Lucas C. Cordeiro |
| 2024 | SAS | Verifying Components of Arm | Tong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro |
| 2024 | TACAS | ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution). | Rafael S Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Braue, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro |
| 2023 | CAV | Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement. | Edoardo Manino, Bernardo Magri, Mustafa A. Mustafa, Lucas C. Cordeiro |
| 2023 | EACL | Interventional Probing in High Dimensions: An NLI Case Study. | Julia Rozanova, Marco Valentino, Lucas C. Cordeiro, Andr Freitas |
| 2023 | FASE | FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution). | Mohannad Aldughaim, Kaled M. Alshmrany, Mikhail R. Gadelha, Rosiane de Freitas, Lucas C. Cordeiro |
| 2023 | ICSE | AIREPAIR: A Repair Platform for Neural Networks. | Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro |
| 2023 | SEFM | QNNRepair: Quantized Neural Network Repair. | Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro |
| 2023 | TACAS | EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution). | Fatimah Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, Lucas C. Cordeiro |
| 2022 | AAAI | EnnCore: End-to-End Conceptual Guarding of Neural Architectures. | Edoardo Manino, Danilo S. Carvalho, Yi Dong, Julia Rozanova, Xidan Song, Mustafa A. Mustafa, Andr Freitas, Gavin Brown, Mikel Lujn, Xiaowei Huang, Lucas C. Cordeiro |
| 2022 | ACL | Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective. | Edoardo Manino, Julia Rozanova, Danilo S. Carvalho, Andr Freitas, Lucas C. Cordeiro |
| 2022 | CAV | CEG4N: Counter-Example Guided Neural Network Quantization Refinement. | Joo Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro |
| 2022 | FASE | FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing - (Competition Contribution). | Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro |
| 2022 | ICSE | ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts. | Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro |
| 2022 | ICST | Summary of Model Checking C++ Programs. | Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro |
| 2022 | ISSTA | ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC. | Franz Braue, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro |
| 2022 | ISSTA | ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation. | Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro |
| 2022 | TACAS | Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution). | Tong Wu, Peter Schrammel, Lucas C. Cordeiro |
| 2021 | FASE | FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution). | Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro |
| 2021 | TAP | FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs. | Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro |
| 2020 | FASE | ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution). | Mikhail Y. R. Gadelha, Rafael Menezes, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole |
| 2020 | TACAS | Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution). | Herbert Rocha, Rafael Menezes, Lucas C. Cordeiro, Raimundo S. Barreto |
| 2019 | ICSE | SMT-based refutation of spurious bug reports in the clang static analyzer. | Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole |
| 2019 | TACAS | JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution). | Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel |
| 2019 | TACAS | ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference - (Competition Contribution). | Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole |
| 2018 | CAV | JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. | Lucas C. Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtk |
| 2018 | TACAS | Map2Check Using LLVM and KLEE - (Competition Contribution). | Rafael Menezes, Herbert Rocha, Lucas C. Cordeiro, Raimundo S. Barreto |
| 2017 | CAV | Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. | Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen |
| 2017 | ISSTA | Verifying digital systems with MATLAB. | Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho |
| 2017 | TACAS | DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution). | Williame Rocha, Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Bernd Fischer |
| 2016 | FIE | Complementary training programme for electrical and computer engineering students through an industrial-academic collaboration. | Felipe R. Monteiro, Phillipe A. Pereira, Lucas C. Cordeiro, Cicero Ferreira Fernandes Costa Filho, Marly Guimares Fernandes Costa |
| 2016 | SAC | Verifying CUDA programs using SMT-based context-bounded model checking. | Phillipe A. Pereira, Higo F. Albuquerque, Hendrio Marques, Isabela da Silva, Celso B. Carvalho, Lucas C. Cordeiro, Vanessa Santos, Ricardo Ferreira |
| 2016 | TACAS | Hunting Memory Bugs in C Programs with Map2Check - (Competition Contribution). | Herbert O. Rocha, Raimundo S. Barreto, Lucas C. Cordeiro |
| 2015 | SEFM | Memory Management Test-Case Generation of C Programs Using Bounded Model Checking. | Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro |
| 2014 | IECON | SMT-based bounded model checking of fixed-point digital controllers. | Iury Bessa, Renato B. Abreu, Joo Edgar Chaves Filho, Lucas C. Cordeiro |
| 2014 | TACAS | ESBMC 1.22 - (Competition Contribution). | Jeremy Morse, Mikhail Ramalho, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer |
| 2013 | TACAS | Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution). | Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer |
| 2012 | IFM | Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples. | Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro, Arilo Dias Neto |
| 2012 | TACAS | Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution). | Lucas C. Cordeiro, Jeremy Morse, Denis A. Nicole, Bernd Fischer |
| 2011 | ICSE | Verifying multi-threaded software using smt-based context-bounded model checking. | Lucas C. Cordeiro, Bernd Fischer |
| 2011 | SEFM | Context-Bounded Model Checking of LTL Properties for ANSI-C Software. | Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer |
| 2010 | ICSE | SMT-based bounded model checking for multi-threaded software in embedded systems. | Lucas C. Cordeiro |
| 2008 | ACHI | Mandos: A User Interaction Method in Embedded Applications for Mobile Telephony. | Mauro Tefilo, Lucas C. Cordeiro, Raimundo S. Barreto, Jos Raimundo Pereira, Ayres Mardem, Pedro Freitas |
| 2008 | DATE | ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis. | Fabiano Cruz, Raimundo S. Barreto, Lucas C. Cordeiro, Paulo Romero Martins Maciel |
| 2008 | ENASE | Towards a Semiformal Development Methodology for Embedded Systems. | Lucas C. Cordeiro, Raimundo S. Barreto, Meuse N. Oliveira Jr. |
| 2008 | SAC | Towards a model-driven engineering approach for developing embedded hard real-time software. | Fabiano Cruz, Raimundo S. Barreto, Lucas C. Cordeiro |