Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(27)
Víctor A. Braberman
14
Sergio Yovine
10
Alfredo Olivero
5
Guido de Caso
4
Nicolas Kicillof
3
Conferences
(7)
ICSE
2
TACAS
2
ETX
2
ISMM
1
CAV
1
Journals
(3)
JOT
2
ENTCS
2
VLSI
1
Keywords
(72)
Embed
Subscribe
Academic
Authors
Diego Garbervetsky
Edit
Diego Garbervetsky
Universidad de Buenos Aires
Publications: 23
|
Citations: 124
|
G-Index: 10
|
H-Index: 8
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Algorithms & Theory
,
Hardware & Architecture
View FAQ about top research area and research interests
Collaborated with
27 co-authors
from 2002 to 2011
; Cited by
173 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(23)
BibTeX
|
RIS
|
RefWorks
Download
Enforcing Structural Invariants Using Dynamic Frames
Diego Garbervetsky
,
Daniel Gorín
,
Ariel Neisen
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 65-80, 2011
Program abstractions for behaviour validation
Guido de Caso
,
Víctor A. Braberman
,
Diego Garbervetsky
,
Sebastián Uchitel
Conference:
International Conference on Software Engineering - ICSE
, pp. 381-390, 2011
Reducing the Number of Annotations in a Verification-oriented Imperative Language
(
Citations: 1
)
Guido de Caso
,
Diego Garbervetsky
,
Daniel Gorín
Published in 2010.
Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation
(
Citations: 10
)
Philippe Clauss
,
Federico Javier Fernández
,
Diego Garbervetsky
,
Sven Verdoolaege
Journal:
IEEE Transactions on Very Large Scale Integration Systems - VLSI
, vol. 17, no. 8, pp. 983-996, 2009
Validation of contracts using enabledness preserving finite state abstractions
(
Citations: 5
)
Guido De Caso
,
Víctor A. Braberman
,
Diego Garbervetsky
,
Sebastián Uchitel
Conference:
International Conference on Software Engineering - ICSE
, pp. 452-462, 2009
Order by:
Citations
(124 times by 96 publications)
Task-level analysis for a language with async/finish parallelism
(
Citations: 1
)
Elvira Albert
,
Puri Arenas
,
Samir Genaim
,
Damiano Zanardini
Conference:
Languages, Compilers, and Tools for Embedded Systems - LCTES
, pp. 21-30, 2011
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections
Patrick Cousot
,
Radhia Cousot
,
Francesco Logozzo
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 150-168, 2011
A semi-formal approach for Java programs verification
Toufik Benouhiba
,
Hanene Cheriet
Conference:
International Symposium on Programming and Systems - ISPS
, 2011
A Framework for Automated Learning of Application Memory Usage Behaviour
Tanvire Elahi
,
Cameron Kiddle
,
Rob Simmonds
Conference:
High Performance Computing and Communications - HPCC
, 2011
RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to JavaScript Optimization
(
Citations: 4
)
Francesco Logozzo
,
Herman Venter
Conference:
Compiler Construction - CC
, pp. 66-83, 2010
Comments