Williame Rocha

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 2

Top Topics

Affine Invariant

Embedded Systems

Real Time Image Processing

Inference Engine

Top Venues

Publications

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
Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration. SBESC (2023)
Williame Rocha, Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Bernd Fischer
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution). TACAS (2) (2017)