Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Diego Garbervetsky
2010 – today
- 2013
[j10]Diego Garbervetsky, Sunghun Kim: Report from 2nd international workshop on developing tools as plug-ins (TOPI 2012). ACM SIGSOFT Software Engineering Notes 38(1): 49-51 (2013)- [j9]Guido de Caso, Diego Garbervetsky, Daniel Gorín: Integrated program verification tools in education. Softw., Pract. Exper. 43(4): 403-418 (2013)
- [c13]Michael Barnett, Martin Nordio, Judith Bishop, Karin Koogan Breitman, Diego Garbervetsky: 3rd international workshop on developing tools as plug-ins (TOPI 2013). ICSE 2013: 1555
- 2012
- [j8]Diego Garbervetsky, Sunghun Kim: Report from 2nd international workshop on developing tools as plug-ins (TOPI 2012). ACM SIGSOFT Software Engineering Notes 37(6): 24-27 (2012)
- [j7]Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel: Automated Abstractions for Contract Validation. IEEE Trans. Software Eng. 38(1): 141-162 (2012)
- [c12]Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel: Abstractions for Validation in Action. SFM 2012: 192-218
- 2011
- [j6]Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada: Quantitative dynamic-memory analysis for Java. Concurrency and Computation: Practice and Experience 23(14): 1665-1678 (2011)
- [c11]Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel: Program abstractions for behaviour validation. ICSE 2011: 381-390
- [c10]Bruno Cuervo Parrino, Juan P. Galeotti, Diego Garbervetsky, Marcelo F. Frias: A Dataflow Analysis to Improve SAT-Based Bounded Program Verification. SEFM 2011: 138-154
- [c9]Diego Garbervetsky, Daniel Gorín, Ariel Neisen: Enforcing Structural Invariants Using Dynamic Frames. TACAS 2011: 65-80
- 2010
- [i1]Guido de Caso, Diego Garbervetsky, Daniel Gorín: Reducing the Number of Annotations in a Verification-oriented Imperative Language. CoRR abs/1011.3407 (2010)
2000 – 2009
- 2009
- [j5]Philippe Clauss, Federico Javier Fernández, Diego Garbervetsky, Sven Verdoolaege: Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation. IEEE Trans. VLSI Syst. 17(8): 983-996 (2009)
- [c8]Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Daniel Monteverde, Alfredo Olivero: Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis. FORMATS 2009: 58-72
- [c7]Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel: Validation of contracts using enabledness preserving finite state abstractions. ICSE 2009: 452-462
- [c6]Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada: On transforming Java-like programs into memory-predictable code. JTRES 2009: 140-149
- 2008
- [j4]Manuel Fähndrich, Diego Garbervetsky, Wolfram Schulte: A Static Analysis to Detect Re-Entrancy in Object Oriented Programs. Journal of Object Technology 7(5): 5-23 (2008)
- [c5]Víctor A. Braberman, Federico Javier Fernández, Diego Garbervetsky, Sergio Yovine: Parametric prediction of heap memory requirements. ISMM 2008: 141-150
- 2006
- [j3]Víctor A. Braberman, Diego Garbervetsky, Sergio Yovine: A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption. Journal of Object Technology 5(5): 31-58 (2006)
- [c4]Lucía Cavatorta, Guido de Caso, Andrés Ferrari, Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Fernando Schapachnik, Alfredo Olivero: A toolsuite for the verification of real-time systems in Eclipse. ETX 2006: 35-39
- 2005
- [j2]Diego Garbervetsky, Chaker Nakhli, Sergio Yovine, Hichem Zorgati: Program Instrumentation and Run-Time Analysis of Scoped Memory in Java. Electr. Notes Theor. Comput. Sci. 113: 105-121 (2005)
- [j1]Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky: Fast Escape Analysis for Region-based Memory Management. Electr. Notes Theor. Comput. Sci. 131: 99-110 (2005)
- [c3]Andrés Ferrari, Diego Garbervetsky, Víctor A. Braberman, Pablo Listingart, Sergio Yovine: JScoper: Eclipse support for research on scoping and instrumentation for real time Java applications. ETX 2005: 50-54
- 2004
- [c2]Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero: ObsSlice: A Timed Automata Slicer Based on Observers. CAV 2004: 470-474
- 2002
- [c1]Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero: Improving the Verification of Timed Systems Using Influence Information. TACAS 2002: 21-36
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-24 22:18 CEST by the dblp team