Login / Signup
Jonata Pastro
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Lightweight
Verification Method
Asynchronous Circuits
Person Identification
Top Venues
IEEE Trans. Software Eng.
</>
Publications
</>
Adriano Torres
,
Pedro Henrique Teixeira Costa
,
Luis Henrique Vieira Amaral
,
Jonata Pastro
,
Rodrigo Bonifácio
,
Marcelo d'Amorim
,
Owolabi Legunsen
,
Eric Bodden
,
Edna Dias Canedo
Runtime Verification of Crypto APIs: An Empirical Study.
IEEE Trans. Software Eng.
49 (10) (2023)