Ariel Gonzalez

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