ask others

Isabela da Silva

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

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/concurrency/PereiraASMMFC17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/concurrency/PereiraASMMFC17
Phillipe A. Pereira, Higo F. Albuquerque, Isabela da Silva, Hendrio Marques, Felipe R. Monteiro, Ricardo Ferreira, Lucas C. Cordeiro:
SMT-based context-bounded model checking for CUDA programs. Concurrency and Computation: Practice and Experience 29(22) (2017)
2016
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sac/PereiraAMSCCSF16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sac/PereiraAMSCCSF16
Phillipe A. Pereira, Higo F. Albuquerque, Hendrio Marques, Isabela da Silva, Celso Carvalho, Lucas C. Cordeiro, Vanessa Santos, Ricardo Ferreira:
Verifying CUDA programs using SMT-based context-bounded model checking. SAC 2016: 1648-1653

Coauthor Index

see FAQ

maintained by

, founded at