Javier Godoy

According to our database, Javier Godoy authored at least 5 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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, June, 2024

2023

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

Proceedings of the 2023 6th Experiment@ International Conference (exp.at'23), 2023

2022

Predicate abstractions for smart contract validation.

Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

2021

Enabledness-based Testing of Object Protocols.

Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel

ACM Trans. Softw. Eng. Methodol., 2021

2018

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

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018