Ariel Gonzalez

According to our database1, Ariel Gonzalez authored at least 10 papers between 2008 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Galileo Aid Drone: A System Integration for Autonomous Wildfire Assistants.
Proceedings of the IEEE/SICE International Symposium on System Integration, 2021

Error Finding in Real-Time Systems using Mutants of Temporal Properties.
Proceedings of the 40th International Conference of the Chilean Computer Science Society, 2021

2019
Mutants for Metric Temporal Logic Formulas.
Proceedings of the XXII Iberoamerican Conference on Software Engineering, 2019

2018
Mutation Testing for Java Based on Model-Driven Development.
Proceedings of the XLIV Latin American Computer Conference, 2018

2016
UML state machine as modeling language for DEVS formalism.
Proceedings of the XLII Latin American Computing Conference, 2016

2015
Towards an automatic model transformation mechanism from UML state machines to DEVS models.
CLEI Electron. J., 2015

2014
Metamodel-based transformation from UML state machines to DEVS models.
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.
Proceedings of the XVI Iberoamerican Conference on Software Engineering, 2013

2009
Specification of Products and Product Lines
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.
Proceedings of the XXVII International Conference of the Chilean Computer Science Society (SCCC 2008), 2008


  Loading...