Sign up & Download
Sign in

Diego Garbervetsky, Ph.D's Publications

Fulltime Professor, Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires
Buenos Aires, Argentina

Research field: Computer and Information Science - Software Engineering
program analysis with focus in resource usage and verification of Java like programs, program understanding and validation.
Report (2) | Conference Proceedings (17) | Journal Article (6)

Conference Proceedings

Bruno Cuervo Parrino, Juan P. Galeotti, Diego Garbervetsky, Marcelo F. Frias (2011) A Dataflow Analysis to Improve SAT-Based Bounded Program Verification, 138-154. In SEFM.
Download PDF (439.12 KB)
Edgardo Zoppi, Víctor Braberman, Guido de Caso, Diego Garbervetsky, Sebastián Uchitel (2011) Contractor.NET, 44. In Proceeding of the 1st workshop on Developing tools as plug-ins - TOPI '11.
Download PDF (220.66 KB)
Diego Garbervetsky, Daniel Gorín, Ariel Neisen (2011) Enforcing Structural Invariants Using Dynamic Frames, 65-80. In TACAS.
Download PDF (416.93 KB)
Guido de Caso, Diego Garbervetsky, Daniel Gorín (2011) Pest, 5. In Proceeding of the 1st workshop on Developing tools as plug-ins - TOPI '11.
Download PDF (289.56 KB)
Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastián Uchitel (2011) Program abstractions for behaviour validation, 381. In Proceeding of the 33rd international conference on Software engineering - ICSE '11.
Download PDF (454.39 KB)
Jonathan Tapicer, Diego Garbervetsky, Martin Rouaux (2011) Resource usage contracts for .NET, 56. In Proceeding of the 1st workshop on Developing tools as plug-ins - TOPI '11.
Download PDF (289.83 KB)
Diego Garbervetsky, Sergio Yovine, Víctor Braberman, Martín Rouaux, Alejandro Taboada (2009) On transforming Java-like programs into memory-predictable code, 140. In Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems - JTRES '09.
Download PDF (325.18 KB)
G. De Caso, Diego Garbervetsky, D. Gor\'\in (2009) Reducing the number of annotations in a verification-oriented imperative language. In Proceedings of Automatic Program Verification.
Download PDF (514.89 KB)
Víctor A Braberman, Diego Garbervetsky, Nicolás Kicillof, Daniel Monteverde, Alfredo Olivero (2009) Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis, 58--72. In Formal Modeling and Analysis of Timed SystemsSpeeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis.
Download PDF (471.88 KB)
Guido de Caso, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel (2009) Validation of contracts using enabledness preserving finite state abstractions, 452-462. In 2009 IEEE 31st International Conference on Software Engineering.
Download PDF (225.82 KB)
Víctor Braberman, Federico Fernández, Diego Garbervetsky, Sergio Yovine (2008) Parametric prediction of heap memory requirements, 141. In Proceedings of the 7th international symposium on Memory management - ISMM '08 7 (5).
Download PDF (474.08 KB)
Mike Barnett, Manuel Fändrich, Diego Garbervetsky, Francesco Logozzo (2007) Annotations for (more) Precise Points-to Analysis. In IWACO 2007: ECOOP International Workshop on Aliasing, Confinement and Ownership in object-oriented programming.
Download PDF (179.57 KB)
Lucía Cavatorta, Guido de Caso, Andrés Ferrari, Víctor Braberman, Diego Garbervetsky, Nicolás Kicillof, Fernando Schapachnik, Alfredo Olivero (2006) A toolsuite for the verification of real-time systems in Eclipse, 35-39. In Proceedings of the 2006 OOPSLA workshop on eclipse technology eXchange - eclipse '06.
Andrés Ferrari, Diego Garbervetsky, Victor Braberman, Pablo Listingart, Sergio Yovine (2005) JScoper: Eclipse support for research on scoping and instrumentation for real time Java applications, 50-54. In eclipse '05: Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange.
Víctor Braberman, Diego Garbervetsky, Sergio Yovine (2005) Synthesizing parametric specifications of dynamic memory utilization in object-oriented programs. In FTfJP'2005: 7th Workshop on Formal Techniques for Java-like Programs.
Download PDF (312.57 KB)
Víctor Braberman, Diego Garbervetsky, Alfredo Olivero (2004) ObsSlice: A Timed Automata Slicer Based on Observers, 276--280. In Computer Aided Verification.
Download PDF (156.83 KB)
Víctor A Braberman, Diego Garbervetsky, Alfredo Olivero (2002) Improving the Verification of Timed Systems Using Influence Information, 21--36. In Tools and Algorithms for the Construction and Analysis of Systems.
Download PDF (276.51 KB)