JAVIER GODOY; MARGARITA CAPRETTO; MARTIN CERESA; JUAN PABLO GALEOTTI; DIEGO GARBERVETSKY; CESAR SANCHEZ; SEBASTIAN UCHITEL

Modal Abstractions for Smart Contract Validation

MODELS'25: Proccedings of the 28th International Conference on Model Driven Engineering Language and Systems

Lugar: Grand Rapids, Michigan; Año: 2025;

JAVIER GODOY; JUAN PABLO GALEOTTI; DIEGO GARBERVETSKY; SEBASTIAN UCHITEL

Predicate abstractions for smart contract validation

MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems

Año: 2022;

VÍCTOR BRABERMAN; DIEGO GARBERVETSKY; JAVIER GODOY; SEBASTIAN UCHITEL; GUIDO DE CASO; IGNACIO PEREZ; SANTIAGO PEREZ

Testing and validating end user programmed calculated fields

26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Lugar: Lake Buena Vista; Año: 2018;

VÍCTOR BRABERMAN; DIEGO GARBERVETSKY; JAVIER GODOY; SEBASTIAN UCHITEL; GUIDO DE CASO; IGNACIO PEREZ; SANTIAGO PEREZ

Testing and validating end user programmed calculated fields

26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Lugar: Lake Buena Vista; Año: 2018;

JAVIER GODOY; HERN´AN CZEMERINSKI

JGenTest: Generador de Test automático para Java a través de ejecución concólica

45 JAIIO, EST 2016

Lugar: CABA; Año: 2016;

JAVIER GODOY; HERN´AN CZEMERINSKI

JGenTest: Generador de Test automático para Java a través de ejecución concólica

45 JAIIO, EST 2016

Lugar: CABA; Año: 2016;

JAVIER GODOY

Big data en la cosecha del sector agropecuario de Buenos Aires

44 JAIIO, EST 2015

Lugar: Rosario; Año: 2015;

JAVIER GODOY

Big data en la cosecha del sector agropecuario de Buenos Aires

44 JAIIO, EST 2015

Lugar: Rosario; Año: 2015;