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)

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

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

Demostration of a Sniffing Smartwatch for Air Quality Monitoring. - Javier Godoy; Félix Meléndez; Patricia Arroyo; Víctor González; José Ignacio Suárez; Jesús Lozano (exp.at, 2023)

Development of a Smartwatch with Gas and Environmental Sensors for Air Quality Monitoring. - Víctor González; Javier Godoy; Patricia Arroyo; Félix Meléndez; Fernando Díaz; Angel López; José Ignacio Suárez; Jesús Lozano (Sensors, 2024)