| 2008 |
|---|
| 8 | EE | Víctor A. Braberman,
Federico Fernández,
Diego Garbervetsky,
Sergio Yovine:
Parametric prediction of heap memory requirements.
ISMM 2008: 141-150 |
| 2006 |
|---|
| 7 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Víctor A. Braberman,
Diego Garbervetsky,
Alfredo Olivero:
ObsSlice: A Timed Automata Slicer Based on Observers.
CAV 2004: 470-474 |
| 2002 |
|---|
| 1 | EE | Víctor A. Braberman,
Diego Garbervetsky,
Alfredo Olivero:
Improving the Verification of Timed Systems Using Influence Information.
TACAS 2002: 21-36 |
