Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Barbosa, Haniel
83  Ergebnisse:
Personensuche X
?
1

IsaRare: Automatic Verification of SMT Rewrites in Isabelle..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Lachnitt, Hanna ; Fleury, Mathias ; Aniva, Leni... - p. 311-330 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Formal Methods: Foundations and Applications: 26th Brazilia.. 

Lecture Notes in Computer Science, 14414
Barbosa, Haniel ; Zohar, Yoni - 1st ed. 2024 . , 2024
Link: https://doi.org/10.1007/..
 
?
3

Carcara: An Efficient Proof Checker and Elaborator for SMT ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Andreotti, Bruno ; Lachnitt, Hanna ; Barbosa, Haniel - p. 367-386 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Generating and Exploiting Automated Reasoning Proof Certifi..:

Barbosa, Haniel ; Barrett, Clark ; Cook, Byron...
Communications of the ACM.  66 (2023)  10 - p. 86-95 , 2023
Link: https://doi.org/10.1145/..
 
?
5

Synthesising Programs with Non-trivial Constants:

Abate, Alessandro ; Barbosa, Haniel ; Barrett, Clark...
Journal of Automated Reasoning.  67 (2023)  2 - p. , 2023
Link: https://doi.org/10.1007/..
 
?
6

Flexible Proof Production in an Industrial-Strength SMT Sol..:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Barbosa, Haniel ; Reynolds, Andrew ; Kremer, Gereon... - p. 15-35 , 2022
Link: https://doi.org/10.1007/..
 
?
7

cvc5: A Versatile and Industrial-Strength SMT Solver:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Barbosa, Haniel ; Barrett, Clark ; Brain, Martin... - p. 415-442 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Even Faster Conflicts and Lazier Reductions for String Solv..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Nötzli, Andres ; Reynolds, Andrew ; Barbosa, Haniel.. - p. 205-226 , 2022
Link: https://doi.org/10.1007/..
 
?
9

Reconstructing Fine-Grained Proofs of Rewrites Using a Doma..:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Notzli, Andres ; Barbosa, Haniel ; Niemetz, Aina... - p. 65-74 , 2022
Link: https://doi.org/10.34727..
 
?
10

On-line synthesis of parsers for string events:

Saffran, João ; Barbosa, Haniel ; Pereira, Fernando Magno Quintão.
Journal of Computer Languages.  62 (2021)  - p. 101022 , 2021
Link: https://doi.org/10.1016/..
 
?
11

Scalable Algorithms for Abduction via Enumerative Syntax-Gu..:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Reynolds, Andrew ; Barbosa, Haniel ; Larraz, Daniel. - p. 141-160 , 2020
Link: https://doi.org/10.1007/..
 
?
12

Extending SMT Solvers to Higher-Order Logic:

, In: Lecture Notes in Computer Science; Automated Deduction – CADE 27,
Barbosa, Haniel ; Reynolds, Andrew ; El Ouraoui, Daniel.. - p. 35-54 , 2019
Link: https://doi.org/10.1007/..
 
?
13

Scalable Fine-Grained Proofs for Formula Processing:

Barbosa, Haniel ; Blanchette, Jasmin Christian ; Fleury, Mathias.
Journal of Automated Reasoning.  64 (2019)  3 - p. 485-510 , 2019
Link: https://doi.org/10.1007/..
 
?
14

Syntax-Guided Rewrite Rule Enumeration for SMT Solvers:

, In: Lecture Notes in Computer Science; Theory and Applications of Satisfiability Testing – SAT 2019,
Nötzli, Andres ; Reynolds, Andrew ; Barbosa, Haniel... - p. 279-297 , 2019
Link: https://doi.org/10.1007/..
 
?
15

cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided S..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Reynolds, Andrew ; Barbosa, Haniel ; Nötzli, Andres.. - p. 74-83 , 2019
Link: https://doi.org/10.1007/..
 
1-15