Herbert Rocha
Herbert Rocha
Professor of Computer Science, Federal University of Roraima
Dirección de correo verificada de ufrr.br - Página principal
Título
Citado por
Citado por
Año
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs
W Rocha, H Rocha, H Ismail, L Cordeiro, B Fischer
International Conference on Tools and Algorithms for the Construction and …, 2017
332017
Model Checking Embedded C Software Using k-Induction and Invariants
H Rocha, H Ismail, L Cordeiro, R Barreto
Embedded Software Verification and Debugging, 159-182, 2017
312017
Understanding programming bugs in ANSI-C software using bounded model checking counter-examples
H Rocha, R Barreto, L Cordeiro, AD Neto
International Conference on Integrated Formal Methods, 128-142, 2012
272012
Formal verification of UML sequence diagrams in the embedded systems context
E Cunha, M Custódio, H Rocha, R Barreto
2011 Brazilian Symposium on Computing System Engineering, 39-45, 2011
112011
Hunting memory bugs in C programs with Map2Check
HO Rocha, RS Barreto, LC Cordeiro
International Conference on Tools and Algorithms for the Construction and …, 2016
92016
Memory management test-case generation of C programs using bounded model checking
H Rocha, R Barreto, L Cordeiro
SEFM 2015 Collocated Workshops, 251-267, 2015
82015
Exploiting safety properties in bounded model checking for test cases generation of C programs
H Rocha, L Cordeiro, R Barreto, J Netto
52010
Model Checking C Programs with Loops via k-induction and Invariants
H Rocha, H Ismail, L Cordeiro, R Barreto
arXiv preprint arXiv:1502.02327, 2015
42015
Map2Check: Using Symbolic Execution and Fuzzing
H Rocha, R Menezes, LC Cordeiro, R Barreto
International Conference on Tools and Algorithms for the Construction and …, 2020
32020
Map2Check using LLVM and KLEE
R Menezes, H Rocha, L Cordeiro, R Barreto
International Conference on Tools and Algorithms for the Construction and …, 2018
32018
Jfortes: Java formal unit test generation
L Bentes, H Rocha, E Valentin, R Barreto
2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), 16-23, 2016
22016
Verification and refutation of C programs based on k-induction and invariant inference
OM Alhawi, H Rocha, MR Gadelha, LC Cordeiro, E Batista
International Journal on Software Tools for Technology Transfer, 1-21, 2020
12020
Map2Check Using LLVM and KLEE-(Competition Contribution).
R Menezes, H Rocha, LC Cordeiro, RS Barreto
TACAS (2), 437-441, 2018
12018
Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction
T Silva, C Porto, E Alves, L Cordeiro, H Rocha
arXiv preprint arXiv:2102.02368, 2021
2021
Model Checking Embedded C Software using k-Induction and Invariants (extended version)
H Rocha, H Ismail, L Cordeiro, R Barreto
arXiv preprint arXiv:1509.02471, 2015
2015
Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking
HO Rocha
Universidade Federal do Amazonas, 2015
2015
Verificação e comprovação de erros em códigos C usando bounded model checker
HO Rocha
Universidade Federal do Amazonas, 2011
2011
Verification and Refutation using Witness Checker in ESBMC+ DepthK v2.
W Rocha, H Rocha, L Cordeiro, B Fischer
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–18