ask others

Erickson H. da S. Alves

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/MonteiroASICF18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/MonteiroASICF18
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jss/AlvesCF17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jss/AlvesCF17
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sbesc/AlvesCF15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbesc/AlvesCF15
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]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/AlvesCF15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/AlvesCF15
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)

Coauthor Index

see FAQ

maintained by

at