Herbert Rocha
Orcid: 0000-0002-2648-8468
According to our database1,
Herbert Rocha
authored at least 14 papers
between 2011 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
2018
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
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
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
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015
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
Proceedings of the Brazilian Symposium on Computing System Engineering, 2011