Ariel Gonzalez

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 5

Top Topics

Metric Temporal Logic

Development Process

Modeling Language

Top Venues

CLEI Electron. J.

Publications

Ariel Gonzalez, Maximiliano Cristiá, Carlos Luna
Error Finding in Real-Time Systems using Mutants of Temporal Properties. SCCC (2021)
Diego Calderon, Rodrigo Cordero, Ariel Gonzalez, Ali Lemus, Julio Fajardo
Galileo Aid Drone: A System Integration for Autonomous Wildfire Assistants. SII (2021)
Ariel Gonzalez, Maximiliano Cristiá, Carlos Luna
Mutants for Metric Temporal Logic Formulas. CIbSE (2019)
Ariel Gonzalez, Carlos Luna, Gonzalo Bressan
Mutation Testing for Java Based on Model-Driven Development. CLEI (2018)
Ariel Gonzalez, Carlos Daniel Luna, Rodrigo Abella
UML state machine as modeling language for DEVS formalism. CLEI (2016)
Ariel Gonzalez, Carlos Luna, Marcela Daniele, Roque Cuello, Marcela Perez
Towards an automatic model transformation mechanism from UML state machines to DEVS models. CLEI Electron. J. 18 (2) (2015)
Ariel Gonzalez, Carlos Daniel Luna, Roque Cuello, Marcela Perez, Marcela Daniele
Metamodel-based transformation from UML state machines to DEVS models. CLEI (2014)
Ariel Gonzalez, Fabio Zorzan, Carlos Luna, Nora Szasz
Automatizacion del Proceso de Instanciacion del Comportamiento de Productos de una Linea de Productos de Software. CIbSE (2013)
Ariel Gonzalez, Carlos Luna
Specification of Products and Product Lines WRS (2009)
Ariel Gonzalez, Carlos Luna
Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities. SCCC (2008)