Garbervetsky's publications at DC

Publications in 2004
1- Alejandra Alfonso, Víctor Braberman, Diego Garbervetsky, Nicolas Kicillof, Alfredo Olivero , "Scenario-Based Property Description and Model Slicing for Real-Time Systems" , ASE2004: ACM SigSoft 19th International Conference on Automated Software Engineering, page short-paper - accepted but not published 2004


3- Alejandra Alfonso, Víctor Braberman, Diego Garbervetsky, Nicolas Kicillof, Alfredo Olivero, Fernando Schapachnik , "VInTiMe: Combining High-Level Finesse with Low-Level Muscle to Verify Real-Time Systems" , PRISE 2004: First International Conference on Principles of Software Engineering - oct 2004 ABGKOS_PRISE2004.pdf
 
Publications in 2002
1- Víctor Braberman, Diego Garbervetsky, Alfredo Olivero , "Improving the Verification of Timed Systems Using Influence Information" , TACAS 2002: International Conference on Tools and Algorithms for The Construction and Analysis of Systems, Volume 2280, page 21--36 - apr 2002 BGO_TACAS2002.pdf