Get started
Author

Diego Garbervetsky

Parametric prediction of heap memory requirements
2008 · Víctor Braberman, Federico Fernández, et al. · International Symposium on Memory Management · 74
Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation
2009 · P. Clauss, F.J. Fernandez, et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 43
Automated Abstractions for Contract Validation
2010 · Guido de Caso, Victor Braberman, et al. · IEEE Transactions on Software Engineering · 41
A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption.
2006 · Victor Braberman, Diego Garbervetsky, et al. · The Journal of Object Technology · 39
PDF
Toward full elasticity in distributed static analysis: the case of callgraph analysis
2017 · Diego Garbervetsky, Edgardo Zoppi, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 25
Enabledness-based program abstractions for behavior validation
2013 · Guido De Caso, Victor Braberman, et al. · ACM Transactions on Software Engineering and Methodology · 25
Improving the Verification of Timed Systems Using Influence Information
2002 · Victor Braberman, Diego Garbervetsky, et al. · Lecture notes in computer science · 22
Program abstractions for behaviour validation
2011 · Guido de Caso, Víctor Braberman, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 21
Validation of contracts using enabledness preserving finite state abstractions
2009 · Guido de Caso, Victor Braberman, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 19
Program Instrumentation and Run-Time Analysis of Scoped Memory in Java
2005 · D. Garbervetsky, C. Nakhli, et al. · Electronic Notes in Theoretical Computer Science · 17
PDF
Predicate abstractions for smart contract validation
2022 · Javier Godoy, Juan Pablo Galeotti, et al. · ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) · 16
InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript
2022 · Saikat Dutta, Diego Garbervetsky, et al. · IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) · 15
PDF
Model checker execution reports
2017 · Rodrigo Castano, Victor Braberman, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 15
PDF
Supporting incremental behaviour model elaboration
2012 · Sebastian Uchitel, Dalal Alrajeh, et al. · Computer Science - Research and Development · 15
Annotations for (more) Precise Points-to Analysis
2007 · Mike Barnett, Manuel Fähndrich, et al. · 15
Towards fully reflective environments
2015 · Guido Chari, Diego Garbervetsky, et al. · ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!) · 13
PDF
Fast Escape Analysis for Region-based Memory Management
2005 · G. Salagnac, S. Yovine, et al. · Electronic Notes in Theoretical Computer Science · 13
PDF
Enabledness-based Testing of Object Protocols
2021 · Javier Godoy, Juan Pablo Galeotti, et al. · ACM Transactions on Software Engineering and Methodology · 11
PDF
Integrated program verification tools in education
2012 · Guido de Caso, Diego Garbervetsky, et al. · Software Practice and Experience · 10
JScoper: Eclipse support for research on scoping and instrumentation for real time Java applications
2005 · Andrés Ferrari, Diego Garbervetsky, et al. · Eclipse Technology eXchange · 10
ObsSlice: A Timed Automata Slicer Based on Observers
2004 · Víctor Braberman, Diego Garbervetsky, et al. · Lecture notes in computer science · 10
PDF
Summary-based inference of quantitative bounds of live heap objects
2013 · Víctor Braberman, Diego Garbervetsky, et al. · Science of Computer Programming · 9
Quantitative dynamic‐memory analysis for Java
2010 · Diego Garbervetsky, Sergio Yovine, et al. · Concurrency and Computation Practice and Experience · 9
Abstraction-Aware Inference of Metamorphic Relations
2024 · Agustín Nolasco, Facundo Molina, et al. · Proceedings of the ACM on software engineering. · 8
On transforming Java-like programs into memory-predictable code
2009 · Diego Garbervetsky, Sergio Yovine, et al. · International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES) · 8
Works count: 102
Citation count: 597
H-index: 15
I10-index: 21
Year
Topic
Type