Erickson H. da S. Alves

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 6

Top Topics

Formal Verification

Fault Localization

Top Venues

Sci. Comput. Program.

J. Syst. Softw.

Publications

Xidan Song, Edoardo Manino, Luiz H. Sena, Erickson H. da S. Alves, Eddie Batista de Lima Filho, Iury Bessa, Mikel Lujan, Lucas C. Cordeiro
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking. CoRR (2021)
Luiz H. Sena, Xidan Song, Erickson H. da S. Alves, Iury Bessa, Edoardo Manino, Lucas C. Cordeiro
Verifying Quantized Neural Networks using SMT-Based Model Checking. CoRR (2021)
Thales Silva, Carmina Porto, Erickson H. da S. Alves, Lucas C. Cordeiro, Herbert Rocha
Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction. CoRR (2021)
Luiz H. Sena, Erickson H. da S. Alves, Iury Bessa, Eddie B. L. Filho, Lucas C. Cordeiro
Incremental Verification of Fixed-Point Implementations of Neural Networks. CoRR (2020)
Felipe R. Monteiro, Erickson H. da S. Alves, Isabela da Silva, Hussama Ismail, Lucas C. Cordeiro, Eddie Batista de Lima Filho
ESBMC-GPU A context-bounded model checking tool to verify CUDA programs. Sci. Comput. Program. 152 (2018)
Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho
A method to localize faults in concurrent C programs. J. Syst. Softw. 132 (2017)
Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho
Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version). CoRR (2015)
Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho
Fault Localization in Multi-threaded C Programs Using Bounded Model Checking. SBESC (2015)