Search the dblp DataBase

Publications of Author

1. Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero
   ObsSlice: A Timed Automata Slicer Based on Observers. [Citation Graph (0, 0)][DBLP]
   CAV, 2004, pp:470-474 [Conf]
   
2. Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero
   Improving the Verification of Timed Systems Using Influence Information. [Citation Graph (0, 0)][DBLP]
   TACAS, 2002, pp:21-36 [Conf]
   
3. Diego Garbervetsky, Chaker Nakhli, Sergio Yovine, Hichem Zorgati
   Program Instrumentation and Run-Time Analysis of Scoped Memory in Java. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:105-121 [Journal]
   
4. Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky
   Fast Escape Analysis for Region-based Memory Management. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:99-110 [Journal]
   
5. Víctor A. Braberman, Diego Garbervetsky, Sergio Yovine
   A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption. [Citation Graph (0, 0)][DBLP]
   Journal of Object Technology, 2006, v:5, n:5, pp:31-58 [Journal]
   
6. 
   Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis. [Citation Graph (, )][DBLP]
   
   
7. 
   Validation of contracts using enabledness preserving finite state abstractions. [Citation Graph (, )][DBLP]
   
   
8. 
   Parametric prediction of heap memory requirements. [Citation Graph (, )][DBLP]
   
   
9. 
   A toolsuite for the verification of real-time systems in Eclipse. [Citation Graph (, )][DBLP]
   
   
10. 
    JScoper: Eclipse support for research on scoping and instrumentation for real time Java applications. [Citation Graph (, )][DBLP]
    
    
11. 
    On transforming Java-like programs into memory-predictable code. [Citation Graph (, )][DBLP]