2009
2008
- Dániel Varró, Mark Asztalos, Denes Bisztray, Artur Boronat, Rubino Geiss, Martin Gogolla, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, Erhard Weinell. Graph Transformation Tools Contest on the Transformation of UML Models to CSP. In 3rd International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance (AGTiVE). 2008:
- Beatriz Mora, Félix García, Francisco Ruiz, Mario Piattini, Artur Boronat, Abel Gómez, José A. Carsí, Isidro Ramos. Software Measurement by Using QVT Transformations in an MDA Context. ICEIS 2007: 117-124
- Artur Boronat, José Meseguer. An Algebraic Semantics for MOF. FASE 2008: 377-391 [doi]
2007
- Gabriele Taentzer, Enrico Biermann, Dénes Bisztray, Bernd Bohnet, Iovka Boneva, Artur Boronat, Leif Geiger, Rubino Geiß, Ákos Horváth, Ole Kniemeyer, Tom Mens, Benjamin Ness, Detlef Plump, Tamás Vajk. Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools. agtive 2008: 514-539 [doi]
- Artur Boronat, José A. Carsí, Isidro Ramos, Patricio Letelier. Formal Model Merging Applied to Class Diagram Integration. ENTCS, 166:5-26, 2007. [doi]
- Dániel Varró, Márk Asztalos, Dénes Bisztray, Artur Boronat, Duc-Hanh Dang, Rubino Geiß, Joel Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, Erhard Weinell. Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. agtive 2008: 540-565 [doi]
2006
- Artur Boronat, José A. Carsí, Isidro Ramos. Exogenous Model Merging by means of Model Management Operators. eceasst, 3, 2006. [doi]
- Abel Gómez, Artur Boronat, Luis Hoyos, José A. Carsí, Isidro Ramos. Definición de operaciones complejas con un lenguaje específico de dominio en Gestión de Modelos. jisbd 2006: 215-224
- Pascual Queralt, Luis Hoyos, Artur Boronat, José A. Carsí. Un Motor de Transformación de Modelos con Soporte para el Lenguaje QVT Relations. dsdm 2007: [doi]
- Artur Boronat, Joaquín Oriente, Abel Gómez, Isidro Ramos, José A. Carsí. An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework. ECMDA-FA 2006: 316-330 [doi]
- Artur Boronat, José A. Carsí, Isidro Ramos. Algebraic Specification of a Model Transformation Engine. FASE 2006: 262-277 [doi]
2005
- Artur Boronat, José A. Carsí, Isidro Ramos. An Algebraic Baseline for Automatic Transformations in MDA. ENTCS, 127(3):31-47, 2005. [doi]
- Artur Boronat, José A. Carsí, Isidro Ramos. Automatic Support for Traceability in a Generic Model Management Framework. ECMDA-FA 2005: 316-330 [doi]
- Artur Boronat, José A. Carsí, Isidro Ramos. Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine. CSMR 2005: 228-231 [doi]
- Artur Boronat, José Iborra, José A. Carsí, Isidro Ramos, Abel Gómez. Del método formal a la aplicación industrial en Gestión de Modelos: Maude aplicado a Eclipse Modeling Framework. jisbd 2005: 253-258
- Artur Boronat, José Iborra, José A. Carsí, Isidro Ramos, Abel Gómez. Utilización de Maude desde Eclipse Modeling Framework para la Gestión de Modelos. dsdm 2005: [doi]
2004
2003