Erickson H. da S. Alves
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
- [j2]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: 63-69 (2018) - 2017
- [j1]Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
A method to localize faults in concurrent C programs. Journal of Systems and Software 132: 336-352 (2017) - 2015
- [c1]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: 96-101 - [i1]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 abs/1509.02490 (2015)
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-01-03 21:49 CET by the dblp team