Diego Garbervetsky
Diego Garbervetsky
Professor of Computer Science, Universidad de Buenos Aires
Verified email at dc.uba.ar - Homepage
TitleCited byYear
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
742008
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
462009
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
362005
Automated abstractions for contract validation
G de Caso, V Braberman, D Garbervetsky, S Uchitel
IEEE Transactions on Software Engineering 38 (1), 141-162, 2010
352010
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
222011
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
222009
Annotations for (more) precise points-to analysis
M Barnett, M Fahndrich, F Logozzo, D Garbervetsky
212007
Fast escape analysis for region-based memory management
G Salagnac, S Yovine, D Garbervetsky
Electronic Notes in Theoretical Computer Science 131, 99-110, 2005
212005
ObsSlice: A Timed Automata Slicer Based on Observers
V Braberman, D Garbervetsky, A Olivero
International Conference on Computer Aided Verification, 470-474, 2004
182004
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), 25, 2013
172013
On synthesizing parametric specifications of dynamic memory utilization
V Braberman, D Garbervetsky, S Yovine
technical report TR-2004-03, VERIMAG, 2003
172003
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
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
132013
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
122011
Towards fully reflective environments
G Chari, D Garbervetsky, S Marr, S Ducasse
2015 ACM International Symposium on New Ideas, New Paradigms, and …, 2015
112015
Building efficient and highly run-time adaptable virtual machines
G Chari, D Garbervetsky, S Marr
ACM SIGPLAN Notices 52 (2), 60-71, 2016
102016
Summary-based inference of quantitative bounds of live heap objects
V Braberman, D Garbervetsky, S Hym, S Yovine
Science of Computer Programming 92, 56-84, 2014
102014
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
102009
Quantitative dynamic‐memory analysis for Java
D Garbervetsky, S Yovine, V Braberman, M Rouaux, A Taboada
Concurrency and Computation: Practice and Experience 23 (14), 1665-1678, 2011
92011
The system can't perform the operation now. Try again later.
Articles 1–20