Login / Signup
Hendrio Marques
Publication Activity (10 Years)
Years Active: 2013-2017
Publications (10 Years): 2
Top Topics
Formal Verification
Context Sensitive
Temporal Logic
Control Flow
Top Venues
SAC
ECBS
Concurr. Comput. Pract. Exp.
</>
Publications
</>
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)
Mikhail Ramalho
,
Mauro Freitas
,
Felipe Rodrigues Monteiro Sousa
,
Hendrio Marques
,
Lucas C. Cordeiro
,
Bernd Fischer
SMT-Based Bounded Model Checking of C++ Programs.
ECBS
(2013)