Williame Rocha
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2017–2024
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | EATIS | 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 |
| 2017 | TACAS | 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 |