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

Diego Garbervetsky

university of buenos aires

13H-index
78Paper Count
535Citation Count
Published Papers 5
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
Fully Reflective Execution Environments: Virtual Machines for More Flexible Software
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2019-09-01
err2
errOAAI
errChari, Guido; Garbervetsky, Diego; Marr, Stefan; Ducasse, Stephane
errShare
errSave
Enabledness-Based Program Abstractions for Behavior Validation
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2013-07-30
err14
errOAAI
errde Caso, Guido; Braberman, Victor; Garbervetsky, Diego; Uchitel, Sebastian
errShare
errSave
Automated Abstractions for Contract Validation
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2012-01-01
err27
errOAAI
errde Caso, Guido; Braberman, Victor; 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
Sté́phane Ducasse
H-index: 48 · Papers: 603
S
Sebastián Uchitel
H-index: 35 · Papers: 203
V
Vı́ctor Braberman
H-index: 21 · Papers: 108
J
Juan Pablo Galeotti
H-index: 18 · Papers: 65
View more