Improving the Verification of Timed Systems Using Influence Information. - Víctor A. Braberman; Diego Garbervetsky; Alfredo Olivero (TACAS, 2002)

ObsSlice: A Timed Automata Slicer Based on Observers. - Víctor A. Braberman; Diego Garbervetsky; Alfredo Olivero (CAV, 2004)

Program Instrumentation and Run-Time Analysis of Scoped Memory in Java. - Diego Garbervetsky; Chaker Nakhli; Sergio Yovine; Hichem Zorgati (RV@ETAPS, 2004)

JScoper: Eclipse support for research on scoping and instrumentation for real time Java applications. - Andrés Ferrari; Diego Garbervetsky; Víctor A. Braberman; Pablo Listingart; Sergio Yovine (eTX, 2005)

Fast Escape Analysis for Region-based Memory Management. - Guillaume Salagnac; Sergio Yovine; Diego Garbervetsky (AIOOL@VMCAI, 2005)

A toolsuite for the verification of real-time systems in Eclipse. - Lucía Cavatorta; Guido de Caso; Andrés Ferrari; Víctor A. Braberman; Diego Garbervetsky; Nicolas Kicillof; Fernando Schapachnik; Alfredo Olivero (ETX, 2006)

A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption. - Víctor A. Braberman; Diego Garbervetsky; Sergio Yovine (J. Object Technol., 2006)

Parametric prediction of heap memory requirements. - Víctor A. Braberman; Federico Javier Fernández; Diego Garbervetsky; Sergio Yovine (ISMM, 2008)

A Static Analysis to Detect Re-Entrancy in Object Oriented Programs. - Manuel Fähndrich; Diego Garbervetsky; Wolfram Schulte (J. Object Technol., 2008)

Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis. - Víctor A. Braberman; Diego Garbervetsky; Nicolas Kicillof; Daniel Monteverde; Alfredo Olivero (FORMATS, 2009)

Validation of contracts using enabledness preserving finite state abstractions. - Guido de Caso; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (ICSE, 2009)

On transforming Java-like programs into memory-predictable code. - Diego Garbervetsky; Sergio Yovine; Víctor A. Braberman; Martín Rouaux; Alejandro Taboada (JTRES, 2009)

Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation. - Philippe Clauss; Federico Javier Fernández; Diego Garbervetsky; Sven Verdoolaege (IEEE Trans. Very Large Scale Integr. Syst., 2009)

Reducing the Number of Annotations in a Verification-oriented Imperative Language - Guido de Caso; Diego Garbervetsky; Daniel Gorín (CoRR, 2010)

Program abstractions for behaviour validation. - Guido de Caso; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (ICSE, 2011)

Pest: from the lab to the classroom. - Guido de Caso; Diego Garbervetsky; Daniel Gorín (TOPI@ICSE, 2011)

Resource usage contracts for .NET. - Jonathan Tapicer; Diego Garbervetsky; Martín Rouaux (TOPI@ICSE, 2011)

Contractor.NET: inferring typestate properties to enrich code contracts. - Edgardo Zoppi; Víctor A. Braberman; Guido de Caso; Diego Garbervetsky; Sebastián Uchitel (TOPI@ICSE, 2011)

A Dataflow Analysis to Improve SAT-Based Bounded Program Verification. - Bruno Cuervo Parrino; Juan P. Galeotti; Diego Garbervetsky; Marcelo F. Frias (SEFM, 2011)

Enforcing Structural Invariants Using Dynamic Frames. - Diego Garbervetsky; Daniel Gorín; Ariel Neisen (TACAS, 2011)

Quantitative dynamic-memory analysis for Java. - Diego Garbervetsky; Sergio Yovine; Víctor A. Braberman; Martín Rouaux; Alejandro Taboada (Concurr. Comput. Pract. Exp., 2011)

Abstractions for Validation in Action. - Guido de Caso; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (SFM, 2012)

Automated Abstractions for Contract Validation. - Guido de Caso; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (IEEE Trans. Software Eng., 2012)

3rd international workshop on developing tools as plug-ins (TOPI 2013). - Michael Barnett 001; Martin Nordio; Judith Bishop; Karin Koogan Breitman; Diego Garbervetsky (ICSE, 2013)

The DynAlloy Visualizer. - Pablo Bendersky; Juan Pablo Galeotti; Diego Garbervetsky (LAFM, 2013)

On Verifying Resource Contracts using Code Contracts. - Rodrigo Castaño; Juan Pablo Galeotti; Diego Garbervetsky; Jonathan Tapicer; Edgardo Zoppi (LAFM, 2013)

Waterfall: Primitives Generation on the Fly. - Guido Chari; Diego Garbervetsky; Camillo Bruni; Marcus Denker; Stéphane Ducasse (CoRR, 2013)

Supporting incremental behaviour model elaboration. - Sebastián Uchitel; Dalal Alrajeh; Shoham Ben-David; Víctor A. Braberman; Marsha Chechik; Guido de Caso; Nicolás D'Ippolito; Dario Fischbein; Diego Garbervetsky; Jeff Kramer; Alessandra Russo; German E. Sibay (Comput. Sci. Res. Dev., 2013)

Report from 2nd international workshop on developing tools as plug-ins (TOPI 2012). - Diego Garbervetsky; Sunghun Kim 001 (ACM SIGSOFT Softw. Eng. Notes, 2013)

Integrated program verification tools in education. - Guido de Caso; Diego Garbervetsky; Daniel Gorín (Softw. Pract. Exp., 2013)

Enabledness-based program abstractions for behavior validation. - Guido de Caso; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (ACM Trans. Softw. Eng. Methodol., 2013)

Summary-based inference of quantitative bounds of live heap objects. - Víctor A. Braberman; Diego Garbervetsky; Samuel Hym; Sergio Yovine (Sci. Comput. Program., 2014)

Developing tools as plug-ins: TOPI 2012 special issue. - Diego Garbervetsky; Sunghun Kim 001 (Softw. Pract. Exp., 2014)

Towards fully reflective environments. - Guido Chari; Diego Garbervetsky; Stefan Marr; Stéphane Ducasse (Onward!, 2015)

TacoFlow: optimizing SAT program verification using dataflow analysis. - Bruno Cuervo Parrino; Juan Pablo Galeotti; Diego Garbervetsky; Marcelo F. Frias (Softw. Syst. Model., 2015)

Building efficient and highly run-time adaptable virtual machines. - Guido Chari; Diego Garbervetsky; Stefan Marr (DLS, 2016)

A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability. - Guido Chari; Diego Garbervetsky; Stefan Marr (ICOOOLPS@ECOOP, 2017)

Fully-reflective VMs for ruling software adaptation. - Guido Chari; Diego Garbervetsky; Stefan Marr (ICSE (Companion Volume), 2017)

High-Coverage Testing of Navigation Models in Android Applications. - Fernando Paulovsky; Esteban Pavese; Diego Garbervetsky (AST@ICSE, 2017)

Model checker execution reports. - Rodrigo Castaño; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (ASE, 2017)

Static analysis for optimizing big data queries. - Diego Garbervetsky; Zvonimir Pavlinovic; Michael Barnett 001; Madanlal Musuvathi; Todd Mytkowicz; Edgardo Zoppi (ESEC/SIGSOFT FSE, 2017)

Toward full elasticity in distributed static analysis: the case of callgraph analysis. - Diego Garbervetsky; Edgardo Zoppi; Benjamin Livshits (ESEC/SIGSOFT FSE, 2017)

Verification Coverage. - Rodrigo Castaño; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (CoRR, 2017)

Testing and validating end user programmed calculated fields. - Víctor A. Braberman; Diego Garbervetsky; Javier Godoy; Sebastián Uchitel; Guido de Caso; Ignacio Perez; Santiago Pérez (ESEC/SIGSOFT FSE, 2018)

Simulator-based diff-time performance testing. - Ivan Postolski; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (ICSE (NIER), 2019)

Fully Reflective Execution Environments: Virtual Machines for More Flexible Software. - Guido Chari; Diego Garbervetsky; Stefan Marr; Stéphane Ducasse (IEEE Trans. Software Eng., 2019)

Algorithm or Representation?: An empirical study on how SAPIENZ achieves coverage. - Iván Arcuschin Moreno; Juan Pablo Galeotti; Diego Garbervetsky (AST@ICSE, 2020)

Enabledness-based Testing of Object Protocols. - Javier Godoy; Juan Pablo Galeotti; Diego Garbervetsky; Sebastián Uchitel (ACM Trans. Softw. Eng. Methodol., 2021)

InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript. - Saikat Dutta 001; Diego Garbervetsky; Shuvendu K. Lahiri; Max Schäfer (ICSE (SEIP), 2022)

Predicate abstractions for smart contract validation. - Javier Godoy; Juan Pablo Galeotti; Diego Garbervetsky; Sebastián Uchitel (MoDELS, 2022)

Focused Dynamic Slicing for Large Applications using an Abstract Memory-Model. - Alexis Soifer; Diego Garbervetsky; Víctor A. Braberman; Sebastián Uchitel (CoRR, 2022)

Dynamic Slicing by On-demand Re-execution. - Ivan Postolski; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (CoRR, 2022)

An Empirical Study on How Sapienz Achieves Coverage and Crash Detection. - Iván Arcuschin; Juan Pablo Galeotti; Diego Garbervetsky (J. Softw. Evol. Process., 2023)

Verification of Programs with Common Fragments. - Ivan Postolski; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (SIGSOFT FSE Companion, 2024)

Abstraction-Aware Inference of Metamorphic Relations. - Agustín Nolasco; Facundo Molina; Renzo Degiovanni; Alessandra Gorla; Diego Garbervetsky; Mike Papadakis; Sebastián Uchitel; Nazareno Aguirre; Marcelo F. Frias (Proc. ACM Softw. Eng., 2024)

Live Objects All The Way Down: Removing the Barriers between Applications and Virtual Machines. - Javier E. Pimás; Stefan Marr; Diego Garbervetsky (Art Sci. Eng. Program., 2024)

Abstraction-Aware Inference of Metamorphic Relations (Replication Package). - Agustín Nolasco; Facundo Molina; Renzo Degiovanni; Alessandra Gorla; Diego Garbervetsky; Mike Papadakis; Sebastián Uchitel; Nazareno Aguirre; Marcelo F. Frias (Zenodo, 2024)