Follow
Herbert Rocha
Herbert Rocha
Professor of Computer Science, Federal University of Roraima
Verified email at ufrr.br - Homepage
Title
Cited by
Cited by
Year
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs: (Competition Contribution)
W Rocha, H Rocha, H Ismail, L Cordeiro, B Fischer
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
472017
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
372017
Understanding programming bugs in ANSI-C software using bounded model checking counter-examples
H Rocha, R Barreto, L Cordeiro, AD Neto
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa …, 2012
362012
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
172011
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 23 (2), 115-135, 2021
142021
Map2Check: Using Symbolic Execution and Fuzzing: (Competition Contribution)
H Rocha, R Menezes, LC Cordeiro, R Barreto
Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020
142020
Hunting Memory Bugs in C Programs with Map2Check: (Competition Contribution)
HO Rocha, RS Barreto, LC Cordeiro
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
142016
Memory management test-case generation of C programs using bounded model checking
H Rocha, R Barreto, L Cordeiro
Software Engineering and Formal Methods: 13th International Conference, SEFM …, 2015
132015
Map2Check Using LLVM and KLEE: (Competition Contribution)
R Menezes, H Rocha, L Cordeiro, R Barreto
Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018
62018
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
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
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
12021
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
12015
Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking
HO Rocha
Universidade Federal do Amazonas, 2015
12015
Map2Check: Using Symbolic Execution and Fuzzing:(Competition Contribution)
R Menezes, L Cordeiro, R Barreto, H Rocha
2020
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
The system can't perform the operation now. Try again later.
Articles 1–18