Williame Rocha

According to our database, Williame Rocha authored at least 3 papers between 2017 and 2024.

Collaborative distances:

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

2024

Smart Security: A Biometric Access Control and Tracking Architecture for IIoT Environments.

Aneil De Souza Filho, Brendon De Lima, Celso Barbosa Carvalho, Diogenes Paz Junior, Otoniel De C. Mendes, Vitoriano Casas, Williame Rocha

Proceedings of the 12th Euro American Conference on Telematics and Information Systems, 2024

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