Herbert Rocha

Orcid: 0000-0002-2648-8468

According to our database1, Herbert Rocha authored at least 14 papers between 2011 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Verification and refutation of C programs based on k-induction and invariant inference.
Int. J. Softw. Tools Technol. Transf., 2021

Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction.
CoRR, 2021

2020
Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2018
Map2Check Using LLVM and KLEE - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2017
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016
Hunting Memory Bugs in C Programs with Map2Check - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

JFORTES: Java Formal Unit TESt Generation.
Proceedings of the VI Brazilian Symposium on Computing Systems Engineering, 2016

2015
Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking.
PhD thesis, 2015

Model Checking Embedded C Software using k-Induction and Invariants (extended version).
CoRR, 2015

Model Checking C Programs with Loops via k-Induction and Invariants.
CoRR, 2015

Memory Management Test-Case Generation of C Programs Using Bounded Model Checking.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Model Checking Embedded C Software Using k-Induction and Invariants.
Proceedings of the 2015 Brazilian Symposium on Computing Systems Engineering, 2015

2012
Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011
Formal Verification of UML Sequence Diagrams in the Embedded Systems Context.
Proceedings of the Brazilian Symposium on Computing System Engineering, 2011


  Loading...