JAVIER PIMAS; MARR, STEFAN; DIEGO GARBERVETSKY

Live Objects All The Way Down: Removing the Barriers between Applications and Virtual Machines.

The Art, Science, and Engineering of Programming; Año: 2023 vol. 8

ARCUSCHIN, IVÁN; JUAN PABLO GALEOTTI; DIEGO GARBERVETSKY

An Empirical Study on How Sapienz Achieves Coverage and Crash Detection

Journal of Software Evolution and Process; Año: 2022

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

Enabledness-Based Testing of Object Protocols

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Lugar: New York - USA; Año: 2021 vol. 30

RODRIGO CASTRO; GUILLERMO DURAN; DIEGO GARBERVETSKY; ROBERTO ETCHENIQUE

Mathematical and Computational Initiatives from the University of Buenos Aires to Contribute to Decision-Making in the Context of COVID-19 in Argentina

Science Reviews - from the end of the world; Lugar: CABA; Año: 2021 vol. 2

CHARI, GUIDO; GARBERVETSKY, DIEGO; MARR, STEFAN; DUCASSE, STÉPHANE

Fully Reflective Execution Environments: Virtual Machines for More Flexible Software

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Lugar: Los Alamitos, CA, USA; Año: 2019 vol. 45 p. 858 - 876

CHARI, GUIDO; GARBERVETSKY, DIEGO; MARR, STEFAN

Building efficient and highly run-time adaptable virtual machines

ACM SIGPLAN NOTICES; Año: 2016 vol. 52 p. 60 - 71

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

TacoFlow: optimizing SAT program verification using dataflow analysis

SOFTWARE AND SYSTEMS MODELING; Lugar: Berlin; Año: 2015 p. 1 - 19

CHARI, GUIDO; GARBERVETSKY, DIEGO; MARR, STEFAN; DUCASSE, STÉPHANE

Towards fully reflective environments

Onward! 2015 - Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Part of SPLASH 2015; Lugar: New York; Año: 2015 p. 240 - 253

VÍCTOR BRABERMAN; DIEGO GARBERVETSKY; SAMUEL HYM; SERGIO YOVINE

Summary-based inference of quantitative bounds of live heap objects

SCIENCE OF COMPUTER PROGRAMMING; Lugar: Amsterdam; Año: 2014

GUIDO DE CASO; DIEGO GARBERVETSKY; DANIEL GORÍN

Integrated Program Verification Tools in Education

SOFTWARE: PRACTICE AND EXPERIENCE; Lugar: Londres; Año: 2013 vol. 43 p. 403 - 418

SEBASTIÁN UCHITEL; DALAL ALRAJEH; SHOHAM BEN-DAVID; VICTOR BRABERMAN; MARSHA CHECHIK; GUIDO DE CASO; NICOLAS DIPPOLITO; DARIO FISCHBEIN; DIEGO GARBERVETSKY; JEFF KRAMER; ALESSANDRA RUSSO; GERMAN SYBAY

Supporting incremental behaviour model elaboration

Computer Science - Research and Development; Lugar: Berlin; Año: 2013 vol. 28 p. 279 - 293

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

Enabledness-based Program Abstractions for Behaviour Validation

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Lugar: New York - USA; Año: 2013 vol. 22 p. 1 - 46

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

Automated Abstractions for Contract Validation

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Año: 2012 vol. 38 p. 141 - 162

DIEGO GARBERVETSKY; SUNGHUM KIM

Report from 2nd International Workshop on Developing Tools as Plug-ins (TOPI 2012)

ACM SOFTWARE ENGINEERING NOTES; Lugar: New York - USA; Año: 2012 vol. 37 p. 24 - 27

SEBASTIÁN UCHITEL; DALAL ALRAJEH; SHOHAM BEN-DAVID; VÍCTOR BRABERMAN; MARSHA CHECHIK ; GUIDO DE CASO; NICOLAS DIPPOLITO; DARIO FISCHBEIN; DIEGO GARBERVETSKY; JEFF KRAMER; ALESSANDRA RUSSO; GERMAN SYBAY

Computer Science - Research and Development

Computer Science - Research and Development; Año: 2012 p. 1 - 15

DIEGO GARBERVETSKY; DANIEL GORÍN; ARIEL NEISEN

Enforcing Structural Invariants using Dynamic Frames

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2011 vol. 6605 p. 65 - 80

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

A dataflow analysis to improve SAT-based program verification

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin; Año: 2011 vol. 7041 p. 138 - 154

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

Quantitative dynamic-memory analysis for Java

CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE; Año: 2011 vol. 23 p. 1665 - 1678

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

Program Abstractions for Behaviour Validation

IEEE/ACM International Conference of Software Engineering; Año: 2011 p. 381 - 390

VÍCTOR BRABERMAN; DIEGO GARBERVETSKY; NICOLÁS KICILLOF; DANIEL MONTEVERDE; ALFREDO OLIVERO

Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2009 vol. 5813 p. 58 - 72

PHILIPPE CLAUSS; FEDERICO FERNÁNDEZ; DIEGO GARBERVETSKY; SVEN VERDOOLAEGE

Symbolic polynomial maximization over convex sets and its application to memory requirement estimation

IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS; Año: 2009 vol. 17 p. 983 - 996

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

Validation of Contracts using Enabledness Preserving Finite State Abstractions

31st IEEE/ACM International Conference on Software Engineering (ICSE); Año: 2009 p. 452 - 462

VÍCTOR BRABERMAN; FEDERICO FERNÁNDEZ; DIEGO GARBERVETSKY; SERGIO YOVINE

Parametric Prediction of Heap Memory Requirements

ACM SIGPLAN NOTICES; Año: 2008 vol. 43 p. 141 - 150

MANUEL FAHNDRICH; DIEGO GARBERVETSKY; WOLFRAM SCHULTE

A Static Analysis to Detect Re-entrancy in Object Oriented Programs

Journal of Object Technology; Lugar: Suiza; Año: 2008 vol. 7 p. 5 - 23

VÍCTOR BRABERMAN; DIEGO GARBERVETSKY; SERGIO YOVINE

A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption

Journal of Object Technology; Lugar: Zurich; Año: 2006 vol. 5 p. 31 - 58

DIEGO GARBERVETSKY; CHAKER NAGHLI; SERGIO YOVINE; HICHEM ZORGATI

Program Instrumentation and Run-Time Analysis of Scoped Memory in Java

Electronic Notes in Theoretical Computer Sciences; Año: 2005 vol. 113 p. 105 - 121

GUILLAUME SALAGNAC; SERGIO YOVINE; DIEGO GARBERVETSKY

Fast Escape Analysis for Region-based Memory Management

Electronic Notes in Theoretical Computer Science; Año: 2005 vol. 131 p. 99 - 110

VÍCTOR BRABERMAN; DIEGO GARBERVETSKY; ALFREDO OLIVERO

ObsSlice: A Timed Automata Slicer Based on Observers

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2004 vol. 3114 p. 470 - 474

VÍCTOR BRABERMAN; DIEGO GARBERVETSKY; ALFREDO OLIVERO

Improving the Verification of Timed Systems Using Influence Information

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2002 vol. 2280 p. 21 - 36