| ESBMC-GPU A context-bounded model checking tool to verify CUDA programs FR Monteiro, EHS Alves, IS Silva, HI Ismail, LC Cordeiro, ... Science of Computer Programming 152, 63-69, 2018 | 31 | 2018 |
| A method to localize faults in concurrent C programs EHS Alves, LC Cordeiro, EB de L Filho Journal of Systems and Software 132, 336-352, 2017 | 17 | 2017 |
| Fault localization in multi-threaded C programs using bounded model checking EHS Da Alves, LC Cordeiro, EB de Lima Filho 2015 Brazilian Symposium on Computing Systems Engineering (SBESC), 96-101, 2015 | 12 | 2015 |
| Verifying quantized neural networks using SMT-based model checking L Sena, X Song, E Alves, I Bessa, E Manino, L Cordeiro arXiv preprint arXiv:2106.05997, 2021 | 8 | 2021 |
| QNNVerifier: A tool for verifying neural networks using SMT-based model checking X Song, E Manino, L Sena, E Alves, I Bessa, M Lujan, L Cordeiro arXiv preprint arXiv:2111.13110, 2021 | 5 | 2021 |
| Localização de falhas em programas concorrentes em C EHS Alves Universidade Federal do Amazonas, 2018 | 2 | 2018 |
| Verifying security vulnerabilities in large software systems using multi-core k-induction T Silva, C Porto, E Alves, L Cordeiro, H Rocha arXiv preprint arXiv:2102.02368, 2021 | 1 | 2021 |
| Incremental Verification of Fixed-Point Implementations of Neural Networks L Sena, E Alves, I Bessa, L Cordeiro arXiv preprint arXiv:2012.11220, 2020 | | 2020 |
| Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version) EHS Alves, LC Cordeiro arXiv preprint arXiv:1509.02490, 2015 | | 2015 |
