Herbert Rocha

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 7

Top Topics

Linear Temporal Logic

Symbolic Execution

Software Systems

Verification Method

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Thales Silva, Carmina Porto, Erickson H. da S. Alves, Lucas C. Cordeiro, Herbert Rocha
Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction. CoRR (2021)
Omar M. Alhawi, Herbert Rocha, Mikhail R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho
Verification and refutation of C programs based on k-induction and invariant inference. Int. J. Softw. Tools Technol. Transf. 23 (2) (2021)
Ygor R. Serpa, Matheus Batista Nogueira, Herbert Rocha, Daniel Valente de Macedo, Maria Andréia F. Rodrigues
An interactive simulation-based game of a manufacturing process in heavy industry. Entertain. Comput. 34 (2020)
Herbert Rocha, Rafael Menezes, Lucas C. Cordeiro, Raimundo S. Barreto
Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution). TACAS (2) (2020)
Rafael Menezes, Herbert Rocha, Lucas C. Cordeiro, Raimundo S. Barreto
Map2Check Using LLVM and KLEE - (Competition Contribution). TACAS (2) (2018)
Williame Rocha, Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Bernd Fischer
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution). TACAS (2) (2017)
Larissa Bentes, Herbert Rocha, Eduardo Valentin, Raimundo S. Barreto
JFORTES: Java Formal Unit TESt Generation. SBESC (2016)
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto
Model Checking Embedded C Software Using k-Induction and Invariants. SBESC (2015)
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto
Model Checking Embedded C Software using k-Induction and Invariants (extended version). CoRR (2015)
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto
Model Checking C Programs with Loops via k-Induction and Invariants. CoRR (2015)
Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro
Memory Management Test-Case Generation of C Programs Using Bounded Model Checking. SEFM (2015)
Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro, Arilo Dias Neto
Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples. IFM (2012)
Elisabete Cunha, Marcelo Custódio, Herbert Rocha, Raimundo S. Barreto
Formal Verification of UML Sequence Diagrams in the Embedded Systems Context. SBESC (2011)