Diego Garbervetsky
Diego Garbervetsky
Professor of Computer Science, Universidad de Buenos Aires
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
722008
A Static Analysis for Synthesizing Paramet-ric Specifications of Dynamic Memory Con-sumption
V Braberman
Journal of Object Technology 5 (5), 2006
512006
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
472009
Automated abstractions for contract validation
G de Caso, V Braberman, D Garbervetsky, S Uchitel
IEEE Transactions on Software Engineering 38 (1), 141-162, 2010
382010
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
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
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
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
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
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), 1-46, 2013
172013
On synthesizing parametric specifications of dynamic memory utilization
V Braberman, D Garbervetsky, S Yovine
technical report TR-2004-03, VERIMAG, 2003
172003
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
122011
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
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
102017
Building efficient and highly run-time adaptable virtual machines
G Chari, D Garbervetsky, S Marr
ACM SIGPLAN Notices 52 (2), 60-71, 2016
92016
Towards fully reflective environments
G Chari, D Garbervetsky, S Marr, S Ducasse
2015 ACM International Symposium on New Ideas, New Paradigms, and …, 2015
92015
The system can't perform the operation now. Try again later.
Articles 1–20