logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
J

Javier Godoy

university of buenos aires

2H-index
5Paper Count
10Citation Count
Published Papers 2
Publication Date
logo
Automated construction of predicate abstractions for smart contract validation
errSOFTWARE AND SYSTEMS MODELING
IF3.2
err2025-10-01
err0
PREAI
errGodoy, Javier; Torres, Eden; Galeotti, Juan P.; Garbervetsky, Diego; Uchitel, Sebastian
errShare
errSave
Enabledness-based Testing of Object Protocols
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2021-01-03
err1
errOAAI
errGodoy, Javier; Pablo Galeotti, Juan; Garbervetsky, Diego; Uchitel, Sebastian
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
E
E. López Torres
H-index: 51 · Papers: 117
S
Sebastián Uchitel
H-index: 35 · Papers: 203
J
Juan Pablo Galeotti
H-index: 18 · Papers: 65
D
Diego Garbervetsky
H-index: 13 · Papers: 78
All loaded