Get started
Author

Herbert Oliveira Rocha

Observed names: H. Rocha, Herbert O. Rocha, Herbert Rocha, Rocha, Herbert, Rocha, Herbert Oliveira
ORCID: 0000-0002-2648-8468
Observed ORCID: 0000-0002-2648-8468
OpenAlex ID: A5038140267
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs
2017 · Williame Rocha, Herbert Rocha, et al. · Lecture notes in computer science · 34
Model Checking Embedded C Software Using k-Induction and Invariants
2015 · Herbert Rocha, Hussama Ismail, et al. · Brazilian Symposium on Computing System Engineering (SBESC) · 27
Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples
2012 · Herbert Rocha, Raimundo Barreto, et al. · Lecture notes in computer science · 21
Verification and refutation of C programs based on k-induction and invariant inference
2020 · Omar M. Alhawi, Herbert Rocha, et al. · International Journal on Software Tools for Technology Transfer · 16
PDF
Formal Verification of UML Sequence Diagrams in the Embedded Systems Context
2011 · E. Cunha, M. Custodio, et al. · Brazilian Symposium on Computing System Engineering (SBESC) · 15
Map2Check: Using Symbolic Execution and Fuzzing
2020 · Herbert Rocha, Rafael Menezes, et al. · Lecture notes in computer science · 11
PDF
Memory Management Test-Case Generation of C Programs Using Bounded Model Checking
2015 · Herbert Rocha, Raimundo Barreto, et al. · Lecture notes in computer science · 9
Hunting Memory Bugs in C Programs with Map2Check
2016 · Herbert O. Rocha, Raimundo S. Barreto, et al. · Lecture notes in computer science · 7
Map2Check Using LLVM and KLEE
2018 · Rafael Menezes, Herbert Rocha, et al. · Lecture notes in computer science · 6
INEXT: A Computer System for Indoor Object Location using RFID
2023 · Luarkian Sousa, Herbert Rocha, et al. · 4
PDF
Exploiting Safety Properties in Bounded Model Checking for Test Cases Generation of C Programs
2010 · Herbert Rocha, Lucas C. Cordeiro, et al. · ePrints Soton (University of Southampton) · 3
PDF
Model Checking Embedded C Software Using k-Induction and Invariants
2017 · Herbert Rocha, Hussama Ismail, et al. · Embedded systems · 2
Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction
2021 · Silva, Thales, Porto, Carmina, et al. · arXiv (Cornell University) · 1
PDF
JFORTES: Java Formal Unit TESt Generation
2016 · Larissa Bentes, Herbert Rocha, et al. · Brazilian Symposium on Computing System Engineering (SBESC) · 1
Map2Check (Test-Comp 2027)
2026 · Bernardo, Guilherme, Rocha, Herbert, et al. · Zenodo (CERN European Organization for Nuclear Research)
Empowering Farmers Through Privacy-Preserving AI: A Federated Learning Approach for Soybean Disease Classification
2026 · Jorge Serrão, Thais Almeida, et al. · Lecture notes in computer science
Implementação De Um Sistema De Gerenciamento De Carga Para Controle Do Aquecimento De Água No Setor Hoteleiro
2026 · Alex Alves de Souza, Herbert Oliveira Rocha, et al. · RCT - Revista de Ciência e Tecnologia
PDF
Open Technologies in Formal Verification: Transforming Code for Circuit Validation
2025 · Kevin Oliveira, Herbert Rocha, et al. · Congresso Latino-Americano de Software Livre e Tecnologias Abertas (Latinoware)
PDF
Kraken: Open-Source Computer Vision for Underwater Fish Detection and Measurement
2025 · Pedro Gohl, Herbert Rocha, et al. · Congresso Latino-Americano de Software Livre e Tecnologias Abertas (Latinoware)
PDF
Uso de learning analytics para Avaliação de eficiência de curso de introdução à Inteligência Artificial
2024 · Marcelo Henrique Oliveira Henklain, Filipe Dwan Pereira, et al.
PDF
IEEE VIS 2016 and 2017 Arts Program Gallery
2019 · Benedikt Groß, Raphael Reimann, et al. · Leonardo
Model Checking Embedded C Software using k-Induction and Invariants (extended version)
2015 · Rocha, Herbert, Ismail, Hussama, et al. · arXiv (Cornell University)
PDF
Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking
2015 · Herbert Rocha · Americanae (AECID Library)
Model Checking C Programs with Loops via k-Induction and Invariants
2015 · Rocha, Herbert, Ismail, Hussama, et al. · arXiv (Cornell University)
PDF
Verificação e comprovação de erros em códigos C usando bounded model checker
2011 · Herbert Rocha · Americanae (AECID Library)
Works count: 27
Citation count: 159
H-index: 7
I10-index: 6
Year
Topic
Type