Diego Garbervetsky

	2012
19		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)
	2011
18		Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel: Program abstractions for behaviour validation. ICSE 2011: 381-390
17		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
16		Diego Garbervetsky, Daniel Gorín, Ariel Neisen: Enforcing Structural Invariants Using Dynamic Frames. TACAS 2011: 65-80
15		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)
	2010
14		Guido de Caso, Diego Garbervetsky, Daniel Gorín: Reducing the Number of Annotations in a Verification-oriented Imperative Language CoRR abs/1011.3407: (2010)
	2009
13		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
12		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
11		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
10		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)
	2008
9		Víctor A. Braberman, Federico Javier Fernández, Diego Garbervetsky, Sergio Yovine: Parametric prediction of heap memory requirements. ISMM 2008: 141-150
8		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)
	2006
7		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
6		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)
	2005
5		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
4		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)
3		Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky: Fast Escape Analysis for Region-based Memory Management. Electr. Notes Theor. Comput. Sci. 131: 99-110 (2005)
	2004
2		Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero: ObsSlice: A Timed Automata Slicer Based on Observers. CAV 2004: 470-474
	2002
1		Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero: Improving the Verification of Timed Systems Using Influence Information. TACAS 2002: 21-36

Coauthor Index

1	Víctor A. Braberman	[1] [2] [5] [6] [7] [9] [11] [12] [13] [15] [18] [19]
2	Guido de Caso	[7] [12] [14] [18] [19]
3	Lucía Cavatorta	[7]
4	Philippe Clauss	[10]
5	Manuel Fähndrich	[8]
6	Federico Javier Fernández	[9] [10]
7	Andrés Ferrari	[5] [7]
8	Marcelo F. Frias (Marcelo Fabiùn Frias)	[17]
9	Juan P. Galeotti	[17]
10	Daniel Gorín	[14] [16]
11	Nicolas Kicillof	[7] [13]
12	Pablo Listingart	[5]
13	Daniel Monteverde	[13]
14	Chaker Nakhli	[4]
15	Ariel Neisen	[16]
16	Alfredo Olivero	[1] [2] [7] [13]
17	Bruno Cuervo Parrino	[17]
18	Martín Rouaux	[11] [15]
19	Guillaume Salagnac	[3]
20	Fernando Schapachnik	[7]
21	Wolfram Schulte	[8]
22	Alejandro Taboada	[11] [15]
23	Sebastián Uchitel	[12] [18] [19]
24	Sven Verdoolaege	[10]
25	Sergio Yovine	[3] [4] [5] [6] [9] [11] [15]
26	Hichem Zorgati	[4]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page