DIEGO DAVID GARBERVETSKY

Datos académicos

Lugar de trabajo	UNIVERSIDAD DE BUENOS AIRES / FACULTAD DE CIENCIAS EXACTAS Y NATURALES / DEPARTAMENTO DE COMPUTACION
Título	Doctor de la Universidad de Buenos Aires, área Ciencias de la Computación
Grado	Universitario de posgrado/doctorado
Campo de aplicación	Prod.Metal.,Maq.y Equ.-Equip.de Procesamien
Especialidad	Análisis estático de código

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-12 de 12

Artículo Abstraction-Aware Inference of Metamorphic Relations

Nolasco, Franco Agustín ; Molina, Facundo Joaquín ; Degiovanni, Renzo Gastón ; Gorla, Alessandra; Garbervetsky, Diego David ; Papadakis, Mike; Uchitel, Sebastian ; Aguirre, Nazareno Matias ; Frias, Marcelo Fabian (Association for Computing Machinery, 2024-07)
Artículo An Empirical Study on How Sapienz Achieves Coverage and Crash Detection

Arcuschin, Iván; Galeotti, Juan Pablo ; Garbervetsky, Diego David (John Wiley & Sons, 2023-04)
Artículo Automated abstractions for contract validation

de Caso, Guido ; Braberman, Victor Adrian ; Garbervetsky, Diego David ; Uchitel, Sebastian (IEEE Computer Society, 2012-01)
Artículo Building efficient and highly run-time adaptable virtual machines

Chari, Guido ; Garbervetsky, Diego David ; Marr, Stefan (Association for Computing Machinery, 2016-11)
Artículo Enabledness-based program abstractions for behavior validation

de Caso, Guido ; Braberman, Victor Adrian ; Garbervetsky, Diego David ; Uchitel, Sebastian (Assoc Computing Machinery, 2013-07)
Artículo Enabledness-based Testing of Object Protocols

Godoy, Javier Ignacio; Galeotti, Juan Pablo ; Garbervetsky, Diego David ; Uchitel, Sebastian (Association for Computing Machinery, 2021-03)
Artículo Iniciativas matemático computacionales desde la Universidad de Buenos Aires para contribuir a la toma de decisiones en el contexto del COVID-19

Arrar, Mehrnoosh ; Belloli, Laouen Mayal Louan ; Bianco, Ana Maria ; Boechi, Leonardo ; Castro, Rodrigo Daniel ; Duran, Guillermo Alfredo ; Etchenique, Roberto Argentino ; Fernández, Natalia Brenda ; Ferrer, Luciana ; Garbervetsky, Diego David ; Goldsmit, Rodrigo; Grillo, Carolina; Maidana, Rodrigo; Mendiluce, Mauricio; Minoldo, Sol; Pepino, Leonardo Daniel ; Pecker Marcosig, Ezequiel ; Puerta, Ezequiel; Quiroga, Rodrigo ; Solovey, Guillermo ; Valdora, Marina Silvia; Zapatero, Mariano (Universidad de Chile, 2020-12)
Artículo Integrated program verification tools in education

de Caso, Guido ; Garbervetsky, Diego David ; Gorin, Daniel Alejadro (Wiley, 2013-04)
Artículo Mathematical and Computational Initiatives from the University of Buenos Aires to Contribute to Decision-Making in the Context of COVID-19 in Argentina

Arrar, Mehrnoosh ; Belloli, Laouen Mayal Louan ; Bianco, Ana Maria ; Boechi, Leonardo ; Castro, Rodrigo Daniel ; Duran, Guillermo Alfredo ; Etchenique, Roberto Argentino ; Fernández, Natalia Brenda ; Ferrer, Luciana ; Garbervetsky, Diego David ; Goldsmit, Rodrigo; Grillo Vidal, Carolina; Kamienkowsk, Juan E.; Laciana, Pablo; Lanzarotti, Esteban; Lozano, Mario Enrique ; Maidana, Rodrigo; Mendiluce, Mauricio; Minoldo, Sol; Pecker Marcosig, Ezequiel ; Pepino, Leonardo Daniel ; Puerta, Armando E.; Quiroga, Rodrigo ; Solovey, Guillermo ; Valdora, Marina Silvia ; Zapatero, Mariano (Centro de Estudios sobre Ciencia, Desarrollo y Educación Superior, 2021-04)
Artículo Summary-based inference of quantitative bounds of live heap objects

Braberman, Victor Adrian ; Garbervetsky, Diego David ; Hym, Samuel; Yovine, Sergio Fabian (Elsevier Science, 2013-11)
Artículo Supporting incremental behaviour model elaboration

Uchitel, Sebastian ; Alrajeh, Dalal; Ben David, Shoham; Braberman, Victor Adrian ; Chechik, Marsha; de Caso, Guido ; D'ippolito, Nicolás Roque ; Fischbein, Dario; Garbervetsky, Diego David ; Kramer, Jeff; Russo, Alessandra; Sibay, German (Springer Verlag Berlín, 2013-11)
Artículo TacoFlow: optimizing SAT program verification using dataflow analysis

Cuervo Parrino, Bruno; Galeotti, Juan Pablo ; Garbervetsky, Diego David ; Frias, Marcelo Fabian (Springer Heidelberg, 2015-01)

Mostrando ítems 1-12 de 12