JAVIER GODOY; MARGARITA CAPRETTO; MARTIN CERESA; JUAN PABLO GALEOTTI; DIEGO GARBERVETSKY; CESAR SANCHEZ; SEBASTIÁN UCHITEL

Modal Abstractions for Smart Contract Validation

28th International Conference on Model Driven Engineering Language and Systems

Lugar: Michigan; Año: 2025;

IVAN POSTOLSKI; VÍCTOR BRABERMAN; DIEGO GARBERVETSKY; SEBASTIÁN UCHITEL

Verification of Programs with Common Fragments

32nd ACM International Conference on the Foundations of Software Engineering

Lugar: Recife; Año: 2024;

AGUSTIN NOLASCO; FACUNDO MOLINA; RENZO DEGIOVANINI; ALESSANDRA GORLA; DIEGO GARBERVETSKY; MIKE PAPADAKIS; SEBASTIÁN UCHITEL; NAZARENO AGUIRRE; MARCELO FRIAS

Abstraction-Aware Inference of Metamorphic Relations

32nd ACM International Conference on the Foundations of Software Engineering

Lugar: Recife; Año: 2024;

SAIKAT DUTKA; DIEGO GARBERVETSKY; SHUVENDU LAHIRI; MAX SCHÄFER

InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript

4th International Conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP 2022)

Lugar: Pittsburgh; Año: 2022;

JAVIER GODOY; JUAN PABLO GALEOTTI; DIEGO GARBERVETSKY; SEBASTIÁN UCHITEL

Predicate abstractions for smart contract validation

25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022

Lugar: Montreal; Año: 2022;

DIEGO GARBERVETSKY

Program analysis tools for software auditors

Dagstuhl Seminar 21431

Lugar: Dagstuhl; Año: 2021;

IVAN ARSCUSCHIN MORENO; JUAN PABLO GALEOTTI; DIEGO GARBERVETSKY

Algorithm or Representation?: An empirical study on how SAPIENZ achieves coverage

1st International Conference on Automation of Software Test,

Lugar: Madrid; Año: 2020;

IVAN POSTOLSKI; VÍCTOR BRABERMAN; DIEGO GARBERVETSKY; SEBASTIÁN UCHITEL

Simulator-based diff-time performance testing

41st International Conference on Software Engineering: New Ideas and Emerging Results

Lugar: Montreal; Año: 2019;

VÍCTOR BRABERMAN; GARBERVETSKY, DIEGO; JAVIER GODOY; SEBASTIÁN UCHITEL; GUIDO DE CASO; IGNACIO PEREZ; SANTIAGO PEREZ

Testing and Validating End User Programmed Calculated Fields

26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

Lugar: Orlando; Año: 2018;

CHARI, GUIDO; DIEGO GARBERVETSKY; MARR, STEFAN

Fully-reflective VMs for ruling software adaptation

39th International Conference on Software Engineering

Lugar: Buenos Aires; Año: 2017;

FERNANDO PAULOVSKY; DIEGO GARBERVETSKY; ESTEBAN PAVESE

High-coverage testing of navigation models in Android applications

12th International Workshop on Automation of Software Testing

Lugar: Buenos Aires; Año: 2017;

CHARI, GUIDO; GARBERVETSKY, DIEGO; MARR, STEFAN

A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability

12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems

Lugar: Barcelona; Año: 2017;

DIEGO GARBERVETSKY; EDGARDO ZOPPI; BENJAMIN LIVSHITS

Toward full elasticity in distributed static analysis: the case of callgraph analysis

11th Joint Meeting on Foundations of Software Engineering

Lugar: Paderborn; Año: 2017;

DIEGO GARBERVETSKY; ZVONIMIR PAVLINOVIC; MICHAEL BARNETT; MADANLAL MUSUVATHI; TODD MYTKOWICZ; EDGARDO ZOPPI

Static analysis for optimizing big data queries

11th Joint Meeting on Foundations of Software Engineering

Lugar: Paderborn; Año: 2017;

ALEJANDRO HERNANDEZ; JUAN ECHAGUE; DANIEL YANKELEVICH; GUILLERMO FILIA; MAXIMILIANO GOMEZ; CRHISTIAN GUEDE; VÍCTOR BRABERMAN; DIEGO GARBERVETSKY; CAMILO DIAZ; JULIAN JAMARDO; SEBASTIÁN UCHITEL

Sobre la dinámica de un equipo de vinculación tecnológica

9º Jornadas de Vinculación Universidad - Industria

Lugar: Rosario; Año: 2015;

ADRIAN ANACLETO; VICTOR BRABERMAN; JUAN ECHAGUE; GUILLERMO FILIA; DIEGO GARBERVETSKY; MAXIMILIANO GOMEZ; ESTEBAN FERNANDEZ ROJO; SEBASTIÁN UCHITEL

Experiencias de I+D+I en productos avanzados para el analisis de software

8va Jornadas de Vinculación Universidad - Industria, Jornadas Argentinas de Informática (JAIIO)

Lugar: Buenos Aires; Año: 2014;

RODRIGO CASTAÑO; JUAN PABLO GALEOTTI; DIEGO GARBERVETSKY; JONATHAN TAPICER; EDGARDO ZOPPI

On Verifying Resource Contracts using Code Contracts

First Latin American Workshop on Formal Methods

Lugar: Buenos Aires; Año: 2013;

MICHAEL BARNETT; MARTIN NORDIO; JUDITH BISHOP; KARIN K. BREITMAN; DIEGO GARBERVETSKY

3rd International Workshop on Developing Tools as Plug-Ins (TOPI 2013)

International Workshop on Developing Tools as Plug-ins TOPI 2013

Lugar: San Francisco; Año: 2013;

PABLO BENDERSKY; JUAN PABLO GALEOTTI; DIEGO GARBERVETSKY

The DynAlloy Visualizer

First Latin American Workshop on Formal Methods

Lugar: Buenos Aires; Año: 2013;

JONATHAN TAPICER; DIEGO GARBERVETSKY; MARTÍN ROUAUX

Resource Usage Contracts for .NET

1st Workshop on Developing Tools as Plug-ins (TOPI)

Lugar: Hawai; Año: 2011;

EGDARDO ZOPPI; VÍCTOR BRABERMAN; GUIDO DE CASO; DIEGO GARBERVETSKY; SEBASTIÁN UCHITEL

Contractor.NET: Inferring Typestate Properties to Enrich Code Contracts

1st Workshop on Developing Tools as Plug-ins (TOPI)

Lugar: Hawai; Año: 2011;

CUERVO PARRINO, BRUNO; JUAN PABLO GALEOTTI; DIEGO GARBERVETSKY; MARCELO FRIAS

A dataflow analysis to improve SAT-based program verification

SEFM 2011: Software Engineering and Formal Methods

Lugar: Montevideo; Año: 2011;

GUIDO DE CASO; DIEGO GARBERVETSKY; DANIEL GORÍN

Pest: from the lab to the classroom

1st Workshop on Developing Tools as Plug-ins (TOPI)

Lugar: Hawai; Año: 2011;

DIEGO GARBERVETSKY; DANIEL GORÍN; ARIEL NEISEN

Enforcing Structural Invariants Using Dynamic Frames

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS) 2011

Lugar: Saarbrücken; Año: 2011;

DIEGO GARBERVETSKY; SERGIO YOVINE; VÍCTOR BRABERMAN; MARTÍN ROUAUX; ALEJANDRO TABOADA

On transforming Java like programs into memory-predictable code

7th International Workshop on Java Technologies for Real-time and Embedded Systems

Lugar: Madrid; Año: 2009;

GUIDO DE CASO; DIEGO GARBERVETSKY; DANIEL GORÍN

Reducing the number of annotations in a verification-oriented imperative language

1st International Symposium on Automatic Program Verification

Lugar: Cordoba; Año: 2009;

MIKE BARNETT; MANUEL FANHDRICH; DIEGO GARBERVETSKY; FRANCESCO LOGOZZO

Annotations for (more) Precise Points-to Analysis

International Workshop on Aliasing, Confinement and Ownership in object-oriented programming

Lugar: Berlin, Alemania; Año: 2007;

MANUEL FAHNDRICH; DIEGO GARBERVETSKY; WOLFRAM SCHULTE

A Reentrancy Analysis for object oriented programs

9th Workshop on Formal Techniques for Java-like Programs

Lugar: Berlin, Alemania; Año: 2007;

GUIDO DE CASO; LUCÍA CAVATORTA; ANDRÉS FERRARI; VÍCTOR BRABERMAN; DIEGO GARBERVETSKY; NICOLÁS KICILLOF; ALFREDO OLIVERO; FERNANDO SCHAPACHNIK

A Toolsuite for the Verification of RealTime Systems in Eclipse

ETX 2006: OOPSLA workshop on eclipse Technology eXchangeETX 2006: OOPSLA workshop on eclipse Technology eXchange

Lugar: Portland; Año: 2006;

ANDRÉS FERRARI; DIEGO GARBERVETSKY; VÍCTOR BRABERMAN; PABLO LISTINGART; SERGIO YOVINE

JScoper: Eclipe support for Research on Scoping and Instrumentation for Real Time Java Applications

ETX 2005: OOPSLA workshop on eclipse Technology eXchange

Lugar: San Diego; Año: 2005;

VÍCTOR BRABERMAN; DIEGO GARBERVETSKY; SERGIO YOVINE

Synthesizing parametric specifications of dynamic memory utilization in object oriented programs

7th Workshop on Formal Techiques for Java-like Programs (FTfJP 2005)

Lugar: Glasgow; Año: 2005;

VÍCTOR BRABERMAN; NICOLÁS KICILLOF; DIEGO GARBERVETSKY; ALEJANDRA ALFONSO; ALFREDO OLIVERO

Scenario-Based Property Description and Model Slicing for Real-Time Systems

ASE 2004: 19th International IEEE Automated Software Engineering Conference

Lugar: Viena; Año: 2004;

ALEJANDRA ALFONSO; VÍCTOR BRABERMAN; DIEGO GARBERVETSKY; NICOLÁS 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

Lugar: Buenos Aires; Año: 2004;