Diego Garbervetsky
Diego Garbervetsky
Department of Computer Science, Universidad de Buenos Aires. ICC-CONICET
Verified email at dc.uba.ar - Homepage
Title
Cited by
Cited by
Year
Parametric prediction of heap memory requirements
V Braberman, F Fernández, D Garbervetsky, S Yovine
Proceedings of the 7th international symposium on Memory management, 141-150, 2008
772008
A Static Analysis for Synthesizing Paramet-ric Specifications of Dynamic Memory Con-sumption
V Braberman
Journal of Object Technology 5 (5), 2006
522006
Symbolic polynomial maximization over convex sets and its application to memory requirement estimation
P Clauss, FJ Fernández, D Garbervetsky, S Verdoolaege
IEEE transactions on very large scale integration (VLSI) systems 17 (8), 983-996, 2009
482009
Automated abstractions for contract validation
G De Caso, V Braberman, D Garbervetsky, S Uchitel
IEEE Transactions on Software Engineering 38 (1), 141-162, 2010
452010
Program instrumentation and run-time analysis of scoped memory in java
D Garbervetsky, C Nakhli, S Yovine, H Zorgati
Electronic Notes in Theoretical Computer Science 113, 105-121, 2005
372005
Improving the verification of timed systems using influence information
V Braberman, D Garbervetsky, A Olivero
International Conference on Tools and Algorithms for the Construction and …, 2002
312002
Program abstractions for behaviour validation
G De Caso, V Braberman, D Garbervetsky, S Uchitel
Proceedings of the 33rd International Conference on Software Engineering …, 2011
242011
Validation of contracts using enabledness preserving finite state abstractions
G de Caso, V Braberman, D Garbervetsky, S Uchitel
2009 IEEE 31st International Conference on Software Engineering, 452-462, 2009
232009
Fast escape analysis for region-based memory management
G Salagnac, S Yovine, D Garbervetsky
Electronic Notes in Theoretical Computer Science 131, 99-110, 2005
222005
Annotations for (more) precise points-to analysis
M Barnett, M Fahndrich, F Logozzo, D Garbervetsky
212007
Enabledness-based program abstractions for behavior validation
GD Caso, V Braberman, D Garbervetsky, S Uchitel
ACM Transactions on Software Engineering and Methodology (TOSEM) 22 (3), 1-46, 2013
202013
ObsSlice: A Timed Automata Slicer Based on Observers
V Braberman, D Garbervetsky, A Olivero
International Conference on Computer Aided Verification, 470-474, 2004
182004
On synthesizing parametric specifications of dynamic memory utilization
V Braberman, D Garbervetsky, S Yovine
technical report TR-2004-03, VERIMAG, 2003
162003
Toward full elasticity in distributed static analysis: the case of callgraph analysis
D Garbervetsky, E Zoppi, B Livshits
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
152017
Supporting incremental behaviour model elaboration
S Uchitel, D Alrajeh, S Ben-David, V Braberman, M Chechik, G De Caso, ...
Computer Science-Research and Development 28 (4), 279-293, 2013
152013
Jscoper: Eclipse support for research on scoping and instrumentation for real time java applications
A Ferrari, D Garbervetsky, V Braberman, P Listingart, S Yovine
Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange, 50-54, 2005
142005
Contractor. net: inferring typestate properties to enrich code contracts
E Zoppi, V Braberman, G de Caso, D Garbervetsky, S Uchitel
Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 44-47, 2011
132011
Model checker execution reports
R Castaño, V Braberman, D Garbervetsky, S Uchitel
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
112017
Speeding up model checking of timed-models by combining scenario specialization and live component analysis
V Braberman, D Garbervestky, N Kicillof, D Monteverde, A Olivero
International Conference on Formal Modeling and Analysis of Timed Systems, 58-72, 2009
112009
Synthesizing parametric specifications of dynamic memory utilization in object-oriented programs
V Braberman, D Garbervetsky, S Yovine
FTfJP 2005: Formal Techiques for Java-like Programs. Glasgow, Scotland, 2005
112005
The system can't perform the operation now. Try again later.
Articles 1–20