Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Galileo Aid Drone: A System Integration for Autonomous Wildfire Assistants., , , , and . SII, page 696-697. IEEE, (2021)Error Finding in Real-Time Systems using Mutants of Temporal Properties., , and . SCCC, page 1-8. IEEE, (2021)Metamodel-based transformation from UML state machines to DEVS models., , , , and . CLEI, page 1-12. IEEE, (2014)Mutation Testing for Java Based on Model-Driven Development., , and . CLEI, page 1-10. IEEE, (2018)UML state machine as modeling language for DEVS formalism., , and . CLEI, page 1-12. IEEE, (2016)Automatizacion del Proceso de Instanciacion del Comportamiento de Productos de una Linea de Productos de Software., , , and . CIbSE, page 99-112. Curran Associates, (2013)Mutants for Metric Temporal Logic Formulas., , and . CIbSE, page 349-362. Curran Associates, (2019)Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities., and . SCCC, page 32-41. IEEE Computer Society, (2008)Aplicación para detectar una pelota de béisbol lanzada en un ambiente virtual, , and . Serie Científica de la Universidad de las Ciencias Informáticas, (2016)Estudo de processos a energias médias e altas pelo método Monte Carlo.. University of São Paulo, Brazil, (2014)ndltd.org (oai:teses.usp.br:tde-02102014-143638).