| 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 | 72 | 2008 |
| 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 | 47 | 2009 |
| Automated abstractions for contract validation G de Caso, V Braberman, D Garbervetsky, S Uchitel IEEE Transactions on Software Engineering 38 (1), 141-162, 2010 | 37 | 2010 |
| 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 | 36 | 2005 |
| 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 | 31 | 2002 |
| Program abstractions for behaviour validation G de Caso, V Braberman, D Garbervetsky, S Uchitel Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 22 | 2011 |
| 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 | 22 | 2009 |
| Fast escape analysis for region-based memory management G Salagnac, S Yovine, D Garbervetsky Electronic Notes in Theoretical Computer Science 131, 99-110, 2005 | 22 | 2005 |
| Annotations for (more) precise points-to analysis M Barnett, M Fahndrich, F Logozzo, D Garbervetsky | 21 | 2007 |
| ObsSlice: A Timed Automata Slicer Based on Observers V Braberman, D Garbervetsky, A Olivero International Conference on Computer Aided Verification, 470-474, 2004 | 18 | 2004 |
| On synthesizing parametric specifications of dynamic memory utilization V Braberman, D Garbervetsky, S Yovine technical report TR-2004-03, VERIMAG, 2003 | 17 | 2003 |
| 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 | 16 | 2013 |
| 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 | 15 | 2013 |
| 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 | 14 | 2005 |
| 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 | 12 | 2011 |
| 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 | 10 | 2009 |
| 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 | 9 | 2017 |
| Building efficient and highly run-time adaptable virtual machines G Chari, D Garbervetsky, S Marr ACM SIGPLAN Notices 52 (2), 60-71, 2016 | 9 | 2016 |
| Towards fully reflective environments G Chari, D Garbervetsky, S Marr, S Ducasse 2015 ACM International Symposium on New Ideas, New Paradigms, and …, 2015 | 9 | 2015 |
| 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 | 9 | 2011 |
Sergio YovineUniversidad ORT Uruguay & Universidad de Buenos AiresVerified email at ort.edu.uy
