Williame Rocha

According to our database, Williame Rocha authored at least 2 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration.

Rafael G. Silvestrim, Felipe V. Trigo, Williame Rocha, Michael R. S. Vieira, Jogno V. Junior, Otoniel Da C. Mendes, Rafael Sá Menezes, Lucas C. Cordeiro

Proceedings of the XIII Brazilian Symposium on Computing Systems Engineering, 2023

2017

DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution).

Williame Rocha, Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Bernd Fischer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017