dblp.uni-trier.dewww.uni-trier.de

Diego Garbervetsky Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
11EEVí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
10EEGuido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel: Validation of contracts using enabledness preserving finite state abstractions. ICSE 2009: 452-462
9EEDiego 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
8EEVíctor A. Braberman, Federico Fernández, Diego Garbervetsky, Sergio Yovine: Parametric prediction of heap memory requirements. ISMM 2008: 141-150
2006
7EELucí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
6EEVí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
5EEAndré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
4EEDiego 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)
3EEGuillaume Salagnac, Sergio Yovine, Diego Garbervetsky: Fast Escape Analysis for Region-based Memory Management. Electr. Notes Theor. Comput. Sci. 131: 99-110 (2005)
2004
2EEVíctor A. Braberman, Diego Garbervetsky, Alfredo Olivero: ObsSlice: A Timed Automata Slicer Based on Observers. CAV 2004: 470-474
2002
1EEVíctor A. Braberman, Diego Garbervetsky, Alfredo Olivero: Improving the Verification of Timed Systems Using Influence Information. TACAS 2002: 21-36

Coauthor Index

1Víctor A. Braberman [1] [2] [5] [6] [7] [8] [9] [10] [11]
2Guido de Caso [7] [10]
3Lucía Cavatorta [7]
4Federico Fernández [8]
5Andrés Ferrari [5] [7]
6Nicolas Kicillof [7] [11]
7Pablo Listingart [5]
8Daniel Monteverde [11]
9Chaker Nakhli [4]
10Alfredo Olivero [1] [2] [7] [11]
11Martín Rouaux [9]
12Guillaume Salagnac [3]
13Fernando Schapachnik [7]
14Alejandro Taboada [9]
15Sebastián Uchitel [10]
16Sergio Yovine [3] [4] [5] [6] [8] [9]
17Hichem Zorgati [4]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)