Author of the publication

Translating Model Simulators to Analysis Models.

, and . FASE, volume 4961 of Lecture Notes in Computer Science, page 77-92. Springer, (2008)

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

Using AToM3 as a Meta-Case Tool., and . ICEIS, page 642-649. (2002)Modelado del proceso de software con enfoque de negocio. Aplicación de los estándares BPMN y UML., , and . JIISIC, page 89-96. Área de Ingeniería de Software VLIR-ESPOL Componente 8, Facultad de Ingeniería Eléctrica y Computación, Escuela Superior Politécnica del Litoral, (2008)Matrix Graph Grammars and Monotone Complex Logics, and . CoRR, (2009)Synthesis of OCL Pre-conditions for Graph Transformation Rules., , , and . ICMT@TOOLS, volume 6142 of Lecture Notes in Computer Science, page 45-60. Springer, (2010)Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation., , , and . FASE, volume 2984 of Lecture Notes in Computer Science, page 214-228. Springer, (2004)Petri Nets and Matrix Graph Grammars: Reachability., and . ECEASST, (2006)Scalable model exploration for model-driven engineering., , and . J. Syst. Softw., (2017)Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts., and . ICGT, volume 2505 of Lecture Notes in Computer Science, page 239-253. Springer, (2002)Mutation testing for DSLs (tool demo)., , , and . DSM@SPLASH, page 60-62. ACM, (2019)Automating the measurement of heterogeneous chatbot designs., , , and . SAC, page 1491-1498. ACM, (2022)