Fault Localization in Multi-threaded C Programs Using Bounded Model Checking. - Erickson H. da S. Alves; Lucas C. Cordeiro; Eddie Batista de Lima Filho (SBESC, 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)

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)

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)

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)

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)

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)

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)