Ariel Gonzalez

According to our database, Ariel Gonzalez authored at least 11 papers between 2008 and 2024.

Collaborative distances:

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

2024

Verification of Quantitative Temporal Properties in RealTime-DEVS.

Ariel Gonzalez, Maximiliano Cristiá, Carlos Daniel Luna

CoRR, 2024

2021

Galileo Aid Drone: A System Integration for Autonomous Wildfire Assistants.

Diego Calderon, Rodrigo Cordero, Ariel Gonzalez, Ali Lemus, Julio Fajardo

Proceedings of the IEEE/SICE International Symposium on System Integration, 2021

Error Finding in Real-Time Systems using Mutants of Temporal Properties.

Ariel Gonzalez, Maximiliano Cristiá, Carlos Luna

Proceedings of the 40th International Conference of the Chilean Computer Science Society, 2021

2019

Mutants for Metric Temporal Logic Formulas.

Ariel Gonzalez, Maximiliano Cristiá, Carlos Luna

Proceedings of the XXII Iberoamerican Conference on Software Engineering, 2019

2018

Mutation Testing for Java Based on Model-Driven Development.

Ariel Gonzalez, Carlos Luna, Gonzalo Bressan

Proceedings of the XLIV Latin American Computer Conference, 2018

2016

UML state machine as modeling language for DEVS formalism.

Ariel Gonzalez, Carlos Daniel Luna, Rodrigo Abella

Proceedings of the XLII Latin American Computing Conference, 2016

2015

Towards an automatic model transformation mechanism from UML state machines to DEVS models.

Ariel Gonzalez, Carlos Luna, Marcela Daniele, Roque Cuello, Marcela Perez

CLEI Electron. J., 2015

2014

Metamodel-based transformation from UML state machines to DEVS models.

Ariel Gonzalez, Carlos Daniel Luna, Roque Cuello, Marcela Perez, Marcela Daniele

Proceedings of the XL Latin American Computing Conference, 2014

2013

Automatizacion del Proceso de Instanciacion del Comportamiento de Productos de una Linea de Productos de Software.

Ariel Gonzalez, Fabio Zorzan, Carlos Luna, Nora Szasz

Proceedings of the XVI Iberoamerican Conference on Software Engineering, 2013

2009

Specification of Products and Product Lines

Ariel Gonzalez, Carlos Luna

Proceedings of the Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, 2009

2008

Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities.

Ariel Gonzalez, Carlos Luna

Proceedings of the XXVII International Conference of the Chilean Computer Science Society (SCCC 2008), 2008