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 002 (TACAS (2), 2017)

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 (SBESC, 2023)

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 (EATIS, 2024)