Get started
Author

Williame Rocha

ORCID: 0009-0002-9608-1265
Observed ORCID: 0009-0002-9608-1265
OpenAlex ID: A5012232793
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs
2017 · Williame Rocha, Herbert Rocha, et al. · Lecture notes in computer science · 34
Design and Implementation of an Architecture for Monitoring and Controlling Solar Energy Production for Industrial IoT
2025 · Aneil Martins de Souza Filho, Brendon Andrade de Lima, et al. · Lecture notes in networks and systems
Smart Security: A Biometric Access Control and Tracking Architecture for IIoT Environments
2024 · Aneil De Souza Filho, Brendon De Lima, et al. · Euro American Conference on Telematics and Information Systems
Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration
2023 · Rafael G. Silvestrim, Felipe V. Trigo, et al. · Brazilian Symposium on Computing System Engineering (SBESC)
Projection of Cyclic and Non-Cyclic Job Rotation to Reduce Exposure to Ergonomic Risks
2023 · Williame Rocha, Walter C. S. S. Simões, et al. · Zenodo (CERN European Organization for Nuclear Research)
Requirements Validation Process in the Context of Internet of Things (IoT) and Health Care
2022 · Walter C. S. S. Simoes, Williame Rocha, et al. · Zenodo (CERN European Organization for Nuclear Research)
Processo de validação de requisitos no contexto de internet das coisas (IoT) e HealthCare
2022 · Walter Charles Sousa Seiffert Simões, Williame Rocha · STUDIES IN ENGINEERING AND EXACT SCIENCES
PDF
Works count: 8
Citation count: 34
H-index: 1
I10-index: 1
Year
Topic
Type