pith. sign in

Lucas Cordeiro

Identifiers

  • name variant Lucas Cordeiro 0.60 · backfill

Papers (20)

  1. ESBMC-PLC+: A Unified IEC 61131-3 Formal Verification Framework as a PLCverif Successor cs.PL · 2026 · author #2
  2. ESBMC-GraphPLC: Formal Verification of Graphical PLCopen XML Ladder Diagram Programs Using SMT-Based Model Checking cs.PL · 2026 · author #2
  3. ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification cs.SE · 2026 · author #2
  4. The 4/$\delta$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee cs.AI · 2025 · author #2
  5. Automated Verification of Stand-alone Solar Photovoltaic Systems cs.LO · 2018 · author #2
  6. Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP) cs.LO · 2018 · author #1
  7. Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants cs.SY · 2017 · author #4
  8. Automated Verification and Synthesis of Embedded Systems using Machine Learning cs.LO · 2017 · author #1
  9. Verifying Digital Systems with MATLAB cs.SY · 2017 · author #3
  10. DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration) cs.SY · 2016 · author #3
  11. Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants cs.SY · 2016 · author #4
  12. Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version) cs.LO · 2015 · author #3
  13. Model Checking Embedded C Software using k-Induction and Invariants (extended version) cs.LO · 2015 · author #3
  14. Model Checking C Programs with Loops via k-Induction and Invariants cs.LO · 2015 · author #3
  15. SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers cs.SY · 2014 · author #4
  16. Verifying Fixed-Point Digital Filters using SMT-Based Bounded Model Checking cs.SE · 2013 · author #2
  17. Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker cs.LO · 2011 · author #2
  18. Bounded Model Checking of Multi-threaded Software using SMT solvers cs.LO · 2010 · author #1
  19. Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking cs.SE · 2009 · author #1
  20. SMT-Based Bounded Model Checking for Embedded ANSI-C Software cs.SE · 2009 · author #1

Mentions

  • 2512.02080 #2 · arxiv_oai · confidence 0.70 Lucas Cordeiro
  • 2606.23870 #2 · arxiv_oai · confidence 0.70 Lucas Cordeiro
  • 2606.18941 #2 · arxiv_oai · confidence 0.70 Lucas Cordeiro
  • 1509.02492 #3 · backfill · confidence 0.70 Lucas Cordeiro
  • 1509.02471 #3 · backfill · confidence 0.70 Lucas Cordeiro
  • 1705.00981 #4 · arxiv_oai · confidence 0.70 Lucas Cordeiro
  • 1702.07847 #1 · arxiv_oai · confidence 0.70 Lucas Cordeiro
  • 1702.05591 #3 · arxiv_oai · confidence 0.70 Lucas Cordeiro
  • 1610.07066 #3 · arxiv_oai · confidence 0.70 Lucas Cordeiro
  • 1610.04761 #4 · arxiv_oai · confidence 0.70 Lucas Cordeiro
  • 1403.5172 #4 · arxiv_oai · confidence 0.70 Lucas Cordeiro
  • 1502.02327 #3 · backfill · confidence 0.70 Lucas Cordeiro
  • 1403.5172 #4 · backfill · confidence 0.70 Lucas Cordeiro
  • 2605.26169 #2 · arxiv_oai · confidence 0.70 Lucas Cordeiro
  • 1305.2892 #2 · backfill · confidence 0.70 Lucas Cordeiro
  • 1106.2320 #2 · backfill · confidence 0.70 Lucas Cordeiro
  • 1003.3830 #1 · backfill · confidence 0.70 Lucas Cordeiro
  • 0911.3784 #1 · backfill · confidence 0.70 Lucas Cordeiro
  • 0907.2072 #1 · backfill · confidence 0.70 Lucas Cordeiro

Frequent Coauthors