"Resource usage contracts for .NET" (2011) Tapicer, J.; Garbervetsky, D.; Rouaux, M. 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Co-located with ICSE 2011:56

"Quantitative dynamic-memory analysis for Java" (2011) Garbervetsky, D.;Yovine, S.;Braberman, V. (...)Taboada, A. Concurrency Computation Practice and Experience. 23(14):1665-1678

"Program abstractions for behaviour validation" (2011) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. 33rd International Conference on Software Engineering, ICSE 2011:381-390

"Pest: From the lab to the classroom" (2011) De Caso, G.; Garbervetsky, D.; Gorín, D. 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Co-located with ICSE 2011:5-8

"Enforcing structural invariants using dynamic frames" (2011) Garbervetsky, D.; Gorín, D.; Neisen, A. 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011. 6605 LNCS:65-80

"Contractor.NET: Inferring typestate properties to enrich code contracts" (2011) Zoppi, E.;Braberman, V.;De Caso, G. (...)Uchitel, S. 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Co-located with ICSE 2011:44-47

"A dataflow analysis to improve SAT-based bounded program verification" (2011) Cuervo Parrino, B.; Galeotti, J.P.; Garbervetsky, D.; Frias, M.F. 9th International Conference on Software Engineering and Formal Methods, SEFM 2011. 7041 LNCS:138-154