Get started
Author

Pierre V. Dantas

Observed names: DANTAS, PIERRE, Dantas, Pierre, Dantas, Pierre Vilar, Pierre Dantas, Pierre Vilar Dantas
ORCID: 0000-0001-6390-9340
Observed ORCID: 0000-0001-6390-9340
OpenAlex ID: A5008778243
A comprehensive review of model compression techniques in machine learning
2024 · Pierre Vilar Dantas, Waldir Sabino da Silva, et al. · Applied Intelligence · 314
PDF
Graph Signal Processing and Applications: A Survey
2022 · William C. da Rosa, Pierre V. Dantas, et al. · International Conference on Consumer Electronics · 17
A review of state-of-the-art techniques for large language model compression
2025 · Pierre V. Dantas, Lucas C. Cordeiro, et al. · Complex & Intelligent Systems · 16
PDF
Toward Safe LLM Agents: A Survey of Specification, Verification, and Enforcement
2026 · Dantas, Pierre, Cordeiro, Lucas, et al. · arXiv (Cornell University) · 3
PDF
Energy Disaggregation via Data Mining
2019 · Pierre Dantas, Waldir Sabino, et al. · Smart innovation, systems and technologies · 3
A Benchmark Suite and Ground-Truth Methodology for Formal Verification of IEC 61131-3 Ladder Diagram Programs
2026 · Dantas, Pierre, Cordeiro, Lucas C., et al. · Zenodo (CERN European Organization for Nuclear Research) · 2
ESBMC-PLC: Formal Verification of IEC 61131-3 Ladder Diagram Programs
2026 · DANTAS, PIERRE, Cordeiro, Lucas, et al. · Zenodo (CERN European Organization for Nuclear Research) · 2
Energy Disaggregation Using Principal Component Analysis Representation
2020 · Pierre V. Dantas, Waldir Sabino S. Júnior, et al. · Frontiers in artificial intelligence and applications · 2
PDF
ESBMC-PLC+: A Unified IEC 61131-3 Formal Verification Framework as a PLCverif Successor
2026 · Dantas, Pierre, Cordeiro, Lucas, et al. · arXiv (Cornell University) · 1
PDF
ESBMC-PLC: Formal Verification of IEC 61131-3 Ladder Diagram Programs Using SMT-Based Model Checking
2026 · Dantas, Pierre, Cordeiro, Lucas, et al. · arXiv (Cornell University) · 1
PDF
ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification
2026 · Dantas, Pierre, Cordeiro, Lucas, et al. · arXiv (Cornell University) · 1
PDF
The 4/$δ$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
2025 · Dantas, Pierre, Cordeiro, Lucas, et al. · arXiv (Cornell University) · 1
PDF
Artifact for "ESBMC-PLC: Verifying IEC 61131-3 Ladder Diagrams with a Validated Translation to SMT-Based Model Checking"
2026 · Dantas, Pierre, Cordeiro, Lucas C., et al. · Zenodo (CERN European Organization for Nuclear Research)
Artifact for "ESBMC-PLC: Verifying IEC 61131-3 Ladder Diagrams with a Validated Translation to SMT-Based Model Checking"
2026 · Dantas, Pierre, Cordeiro, Lucas C., et al. · Zenodo (CERN European Organization for Nuclear Research)
Data and Materials for "Toward Safe LLM Agents: A Survey of Specification, Verification, and Enforcement"
2026 · DANTAS, PIERRE, Carvalho Cordeiro, Lucas, et al. · Zenodo (CERN European Organization for Nuclear Research)
LAAF: A Layered Accountability Architecture Framework for LLM Applications
2026 · Chaturvedi, Prachi, Ahmad, Shahnawaz, et al. · arXiv (Cornell University)
PDF
A Benchmark Suite and Ground-Truth Methodology for Formal Verification of IEC 61131-3 Ladder Diagram Programs
2026 · Dantas, Pierre, Cordeiro, Lucas, et al. · arXiv (Cornell University)
PDF
K-ESBMC: An Executable Formal Semantics of IEC 61131-3 Ladder Diagram for Validating Verifier Translations
2026 · Dantas, Pierre, Cordeiro, Lucas, et al. · arXiv (Cornell University)
PDF
Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis
2026 · Dantas, Pierre, Cordeiro, Lucas, et al. · arXiv (Cornell University)
PDF
ESBMC-Arduino: Closing the Deployment Gap for Formal Verification of Open-Hardware PLCs
2026 · Dantas, Pierre, Cordeiro, Lucas, et al. · arXiv (Cornell University)
PDF
Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+ — Artifact
2026 · Dantas, Pierre, Cordeiro, Lucas, et al. · Zenodo (CERN European Organization for Nuclear Research)
SQUEEZE: Spectral QUEnching and Eigenvalue ZEroing — Code and Compressed Model Checkpoints
2026 · Dantas, Pierre, Junior, Waldir, et al. · Zenodo (CERN European Organization for Nuclear Research)
ESBMC-PLC+: A Unified Framework for Formal Verification of IEC 61131-3 PLC Programs — Artifact
2026 · Dantas, Pierre, Cordeiro, Lucas C., et al. · Zenodo (CERN European Organization for Nuclear Research)
ESBMC-GraphPLC: Formal Verification of Graphical PLCopen XML Ladder Diagram Programs Using SMT-Based Model Checking
2026 · Dantas, Pierre, Cordeiro, Lucas, et al. · arXiv (Cornell University)
PDF
ESBMC-GraphPLC: Formal Verification of Graphical PLCopen XML Ladder Diagram Programs Using SMT-Based Model Checking
2026 · Dantas, Pierre, Cordeiro, Lucas, et al. · Zenodo (CERN European Organization for Nuclear Research)
Works count: 31
Citation count: 363
H-index: 3
I10-index: 3
Year
Topic
Type