author-photo

Erickson H. da S. Alves

Federal University of Amazonas

8

Papers

27

Citations

Citation Trend

Filter By

Papers (5) Sort By

Journal Conference Others

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

2021 arXiv: Cryptography and Security
Show All
- Source
- Cite
- Save
Citations (0)
Incremental Verification of Fixed-Point Implementations of Neural Networks.

2020 arXiv: Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (0)
ESBMC-GPU A context-bounded model checking tool to verify CUDA programs

2018 Science of Computer Programming
Show All
- Source
- Cite
- Save
Citations (15)
A method to localize faults in concurrent C programs

2017 Journal of Systems and Software
Show All
- Source
- Cite
- Save
Citations (7)
Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version).

2015 arXiv: Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (0)