Login / Signup
Isabela da Silva
Publication Activity (10 Years)
Years Active: 2016-2018
Publications (10 Years): 3
Top Topics
Parallel Implementation
Contextual Information
Evaluation Function
Temporal Logic
Top Venues
SAC
Sci. Comput. Program.
Concurr. Comput. Pract. Exp.
</>
Publications
</>
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 (2018)
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.
Concurr. Comput. Pract. Exp.
29 (22) (2017)
Phillipe A. Pereira
,
Higo F. Albuquerque
,
Hendrio Marques
,
Isabela da Silva
,
Celso B. Carvalho
,
Lucas C. Cordeiro
,
Vanessa Santos
,
Ricardo Ferreira
Verifying CUDA programs using SMT-based context-bounded model checking.
SAC
(2016)