Sign in
Rafael Sá Menezes
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Fuzzy Artmap
Embedded Systems
Learning Vector Quantization
Real Time Image Processing
Top Venues
CoRR
SBESC
</>
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)
Edoardo Manino
,
Rafael Sá Menezes
,
Fedor Shmarov
,
Lucas C. Cordeiro
NeuroCodeBench: a plain C neural network benchmark for software verification.
CoRR
(2023)