| 2009 | ||
|---|---|---|
| 22 | Artur Boronat, Reiko Heckel, José Meseguer: Rewriting Logic Semantics and Verification of Model Transformations. FASE 2009: 18-33 | |
| 21 | Artur Boronat, José Meseguer: MOMENT2: EMF Model Transformations in Maude. JISBD 2009: 178-179 | |
| 20 | Artur Boronat, José Meseguer: Algebraic Semantics of OCL-Constrained Metamodel Specifications. TOOLS (47) 2009: 96-115 | |
| 2008 | ||
| 19 | Artur Boronat, José Meseguer: An Algebraic Semantics for MOF. FASE 2008: 377-391 | |
| 18 | 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 (1) 2008: 117-124 | |
| 17 | Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing: What Is a Multi-modeling Language? WADT 2008: 71-87 | |
| 2007 | ||
| 16 | Gabriele Taentzer, Enrico Biermann, Dénes Bisztray, Bernd Bohnet, Iovka Boneva, Artur Boronat, Leif Geiger, Rubino Geiß, Ákos Horvath, Ole Kniemeyer, Tom Mens, Benjamin Ness, Detlef Plump, Tamás Vajk: Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools. AGTIVE 2007: 514-539 | |
| 15 | 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 2007: 540-565 | |
| 14 | Artur Boronat, José A. Carsí, Isidro Ramos, Patricio Letelier: Formal Model Merging Applied to Class Diagram Integration. Electr. Notes Theor. Comput. Sci. 166: 5-26 (2007) | |
| 2006 | ||
| 13 | Pascual Queralt, Luis Hoyos, Artur Boronat, José A. Carsí: Un Motor de Transformación de Modelos con Soporte para el Lenguaje QVT Relations. DSDM 2006 | |
| 12 | 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 | |
| 11 | Artur Boronat, José A. Carsí, Isidro Ramos: Algebraic Specification of a Model Transformation Engine. FASE 2006: 262-277 | |
| 10 | 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 | |
| 9 | Artur Boronat, José A. Carsí, Isidro Ramos: Exogenous Model Merging by means of Model Management Operators. ECEASST 3: (2006) | |
| 2005 | ||
| 8 | Artur Boronat, José A. Carsí, Isidro Ramos: Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine. CSMR 2005: 228-231 | |
| 7 | 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 | |
| 6 | Artur Boronat, José A. Carsí, Isidro Ramos: Automatic Support for Traceability in a Generic Model Management Framework. ECMDA-FA 2005: 316-330 | |
| 5 | 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 | |
| 4 | Artur Boronat, José A. Carsí, Isidro Ramos: An Algebraic Baseline for Automatic Transformations in MDA. Electr. Notes Theor. Comput. Sci. 127(3): 31-47 (2005) | |
| 2004 | ||
| 3 | Artur Boronat, Isidro Ramos, José A. Carsí: Automatic Model Generation in Model Management. CIT 2004: 326-335 | |
| 2 | Artur Boronat, Jennifer Pérez, José A. Carsí, Isidro Ramos: Two Experiences in Software Dynamics. J. UCS 10(4): 428-453 (2004) | |
| 2003 | ||
| 1 | Artur Boronat, José A. Carsí, Isidro Ramos: Una plataforma semántica para la gestión de modelos. JISBD 2003: 167-176 | |