Haniel Barbosa
Universidade Federal de Minas Gerais
H-index: 13
Latin America-Brazil
Top articles of Haniel Barbosa
IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL
2024/4/4
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings
2023/12/1
Haniel Barbosa
H-Index: 8
Yoni Zohar
H-Index: 5
Generating and exploiting automated reasoning proof certificates
Communications of the ACM
2023/9/22
An interactive smt tactic in coq using abductive reasoning
2023/6/4
Synthesising programs with non-trivial constants
Journal of Automated Reasoning
2023/6
CVC5 at the SMT Competition 2023
2023
Challenges in SMT Proof Production and Checking for Arithmetic Reasoning
2023
Haniel Barbosa
H-Index: 8
Carcara: An efficient proof checker and elaborator for SMT proofs in the Alethe format
2023
Haniel Barbosa
H-Index: 8
Flexible Proof Production in an Industrial-Strength SMT Solver
2022/8
CVC5 at the SMT Competition 2022
2022
cvc5: A Versatile and Industrial-Strength SMT Solver
2022
Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language
2022/10/12
Even Faster Conflicts and Lazier Reductions for String Solvers
2022/8/6
Alethe: Towards a generic SMT proof format
arXiv preprint arXiv:2107.02354
2021/7/6
On-line synthesis of parsers for string events
Journal of Computer Languages
2021/2/1
Haniel Barbosa
H-Index: 8
Fair and Adventurous Enumeration of Quantifier Instantiations
2021
Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis
2020/6
Lifting Congruence Closure with Free Variables to Encoding
2020
Pascal Fontaine
H-Index: 15
Haniel Barbosa
H-Index: 8
Scalable Fine-Grained Proofs for Formula Processing
Journal of Automated Reasoning
2020
Sintetizador de Gramáticas para Obfuscação de Dados em Sistemas de Logs
2020
Haniel Barbosa
H-Index: 8