Erickson H. da S. Alves

According to our database, Erickson H. da S. Alves authored at least 8 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking.

Xidan Song, Edoardo Manino, Luiz H. Sena, Erickson H. da S. Alves, Eddie Batista de Lima Filho, Iury Bessa, Mikel Luján, Lucas C. Cordeiro

CoRR, 2021

Verifying Quantized Neural Networks using SMT-Based Model Checking.

Luiz H. Sena, Xidan Song, Erickson H. da S. Alves, Iury Bessa, Edoardo Manino, Lucas C. Cordeiro

CoRR, 2021

Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction.

Thales Silva, Carmina Porto, Erickson H. da S. Alves, Lucas C. Cordeiro, Herbert Rocha

CoRR, 2021

2020

Incremental Verification of Fixed-Point Implementations of Neural Networks.

Luiz H. Sena, Erickson H. da S. Alves, Iury Bessa, Eddie B. L. Filho, Lucas C. Cordeiro

CoRR, 2020

2018

ESBMC-GPU A context-bounded model checking tool to verify CUDA programs.

Felipe R. Monteiro, Erickson H. da S. Alves, Isabela da Silva, Hussama Ismail, Lucas C. Cordeiro, Eddie Batista de Lima Filho

Sci. Comput. Program., 2018

2017

A method to localize faults in concurrent C programs.

Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho

J. Syst. Softw., 2017

2015

Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version).

Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho

CoRR, 2015

Fault Localization in Multi-threaded C Programs Using Bounded Model Checking.

Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho

Proceedings of the 2015 Brazilian Symposium on Computing Systems Engineering, 2015