Pierre Dantas

Identifiers

• name variant Pierre Dantas 0.60 · backfill

Papers (4)

1. ESBMC-PLC+: A Unified IEC 61131-3 Formal Verification Framework as a PLCverif Successor cs.PL · 2026 · author #1
2. ESBMC-GraphPLC: Formal Verification of Graphical PLCopen XML Ladder Diagram Programs Using SMT-Based Model Checking cs.PL · 2026 · author #1
3. ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification cs.SE · 2026 · author #1
4. The 4/$\delta$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee cs.AI · 2025 · author #1

Mentions

• 2512.02080 #1 · arxiv_oai · confidence 0.70 Pierre Dantas
• 2606.23870 #1 · arxiv_oai · confidence 0.70 Pierre Dantas
• 2606.18941 #1 · arxiv_oai · confidence 0.70 Pierre Dantas
• 2605.26169 #1 · arxiv_oai · confidence 0.70 Pierre Dantas

Frequent Coauthors

• Lucas Cordeiro 4 shared papers
• Waldir Junior 4 shared papers
• Youcheng Sun 1 shared papers