Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities. - Ariel Gonzalez; Carlos Luna 001 (SCCC, 2008)

Specification of Products and Product Lines - Ariel Gonzalez; Carlos Luna 001 (WRS, 2009)

Automatizacion del Proceso de Instanciacion del Comportamiento de Productos de una Linea de Productos de Software. - Ariel Gonzalez; Fabio Zorzan; Carlos Luna 001; Nora Szasz (CIbSE, 2013)

Metamodel-based transformation from UML state machines to DEVS models. - Ariel Gonzalez; Carlos Daniel Luna; Roque Cuello; Marcela Perez; Marcela Daniele (CLEI, 2014)

Towards an automatic model transformation mechanism from UML state machines to DEVS models. - Ariel Gonzalez; Carlos Luna 001; Marcela Daniele; Roque Cuello; Marcela Perez (CLEI Electron. J., 2015)

UML state machine as modeling language for DEVS formalism. - Ariel Gonzalez; Carlos Daniel Luna; Rodrigo Abella (CLEI, 2016)

Mutation Testing for Java Based on Model-Driven Development. - Ariel Gonzalez; Carlos Luna 001; Gonzalo Bressan (CLEI, 2018)

Mutants for Metric Temporal Logic Formulas. - Ariel Gonzalez; Maximiliano Cristiá; Carlos Luna 001 (CIbSE, 2019)

Error Finding in Real-Time Systems using Mutants of Temporal Properties. - Ariel Gonzalez; Maximiliano Cristiá; Carlos Luna 001 (SCCC, 2021)

Galileo Aid Drone: A System Integration for Autonomous Wildfire Assistants. - Diego Calderon; Rodrigo Cordero; Ariel Gonzalez; Ali Lemus; Julio Fajardo (SII, 2021)

Verification of Quantitative Temporal Properties in RealTime-DEVS. - Ariel Gonzalez; Maximiliano Cristiá; Carlos Daniel Luna (CoRR, 2024)