| 2011 |
|---|
| 26 | Automated Model Synchronization: A Case Study on UML with Maude. Artur Boronat, José Meseguer. ECEASST (41) (2011). Web SearchBibTeXDownload |
| 2010 |
|---|
| 25 | Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. Peter Csaba Ölveczky, Artur Boronat, José Meseguer. FMOODS/FORTE 2010, 47-62. Web SearchBibTeXDownload |
| 24 | An algebraic semantics for MOF. Artur Boronat, José Meseguer. Formal Asp. Comput. (22): 269-296 (2010). Web SearchBibTeXDownload |
| 2009 |
|---|
| 23 | Rewriting Logic Semantics and Verification of Model Transformations. Artur Boronat, Reiko Heckel, José Meseguer. FASE 2009, 18-33. Web SearchBibTeXDownload |
| 22 | MOMENT2: EMF Model Transformations in Maude. Artur Boronat, José Meseguer. JISBD 2009, 178-179. Web SearchBibTeX |
| 21 | Algebraic Semantics of OCL-Constrained Metamodel Specifications. Artur Boronat, José Meseguer. TOOLS (47) 2009, 96-115. Web SearchBibTeXDownload |
| 2008 |
|---|
| 20 | An Algebraic Semantics for MOF. Artur Boronat, José Meseguer. FASE 2008, 377-391. Web SearchBibTeXDownload |
| 19 | Software Measurement by Using QVT Transformations in an MDA Context. Beatriz Mora, Félix García, Francisco Ruiz, Mario Piattini, Artur Boronat, Abel Gómez, José A. Carsí, Isidro Ramos. ICEIS (1) 2008, 117-124. Web SearchBibTeX |
| 18 | What Is a Multi-modeling Language?. Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing. WADT 2008, 71-87. Web SearchBibTeXDownload |
| 2007 |
|---|
| 17 | Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools. 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. AGTIVE 2007, 514-539. Web SearchBibTeXDownload |
| 16 | Formal Model Merging Applied to Class Diagram Integration. Artur Boronat, José A. Carsí, Isidro Ramos, Patricio Letelier. Electr. Notes Theor. Comput. Sci. (166): 5-26 (2007). Web SearchBibTeXDownload |
| 15 | Marco de Trabajo basado en MDA para la Medición Genérica del Software. Beatriz Mora, Félix García, Francisco Ruiz, Mario Piattini, Artur Boronat, Abel Gómez, José A. Carsí, Isidro Ramos. JISBD 2007, 211-220. Web SearchBibTeXDownload |
| 14 | Recuperación y procesado de datos biológicos mediante Ingeniería Dirigida por Modelos. Abel Gómez, Artur Boronat, Claudia Täubner, José A. Carsí, Isidro Ramos, Silke Eckstein. JISBD 2007, 275-284. Web SearchBibTeXDownload |
| 13 | MOMENT CASE: Un prototipo de herramienta CASE. Abel Gómez, Artur Boronat, José A. Carsí, Isidro Ramos. JISBD 2007, 389-390. Web SearchBibTeX |
| 2006 |
|---|
| 12 | Exogenous Model Merging by means of Model Management Operators. Artur Boronat, José A. Carsí, Isidro Ramos. ECEASST (3) (2006). Web SearchBibTeXDownload |
| 11 | An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework. Artur Boronat, Joaquín Oriente, Abel Gómez, Isidro Ramos, José A. Carsí. ECMDA-FA 2006, 316-330. Web SearchBibTeXDownload |
| 10 | Algebraic Specification of a Model Transformation Engine. Artur Boronat, José A. Carsí, Isidro Ramos. FASE 2006, 262-277. Web SearchBibTeXDownload |
| 9 | Definición de operaciones complejas con un lenguaje específico de dominio en Gestión de Modelos. Abel Gómez, Artur Boronat, Luis Hoyos, José A. Carsí, Isidro Ramos. JISBD 2006, 215-224. Web SearchBibTeX |
| 2005 |
|---|
| 8 | Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine. Artur Boronat, José A. Carsí, Isidro Ramos. CSMR 2005, 228-231. Web SearchBibTeXDownload |
| 7 | Utilización de Maude desde Eclipse Modeling Framework para la Gestión de Modelos. Artur Boronat, José Iborra, José A. Carsí, Isidro Ramos, Abel Gómez. DSDM 2005. Web SearchBibTeXDownload |
| 6 | Automatic Support for Traceability in a Generic Model Management Framework. Artur Boronat, José A. Carsí, Isidro Ramos. ECMDA-FA 2005, 316-330. Web SearchBibTeXDownload |
| 5 | An Algebraic Baseline for Automatic Transformations in MDA. Artur Boronat, José A. Carsí, Isidro Ramos. Electr. Notes Theor. Comput. Sci. (127): 31-47 (2005). Web SearchBibTeXDownload |
| 4 | Del método formal a la aplicación industrial en Gestión de Modelos: Maude aplicado a Eclipse Modeling Framework. Artur Boronat, José Iborra, José A. Carsí, Isidro Ramos, Abel Gómez. JISBD 2005, 253-258. Web SearchBibTeX |
| 2004 |
|---|
| 3 | Automatic Model Generation in Model Management. Artur Boronat, Isidro Ramos, José A. Carsí. CIT 2004, 326-335. Web SearchBibTeXDownload |
| 2 | Two Experiences in Software Dynamics. Artur Boronat, Jennifer Pérez, José A. Carsí, Isidro Ramos. J. UCS (10): 428-453 (2004). Web SearchBibTeXDownload |
| 2003 |
|---|
| 1 | Una plataforma semántica para la gestión de modelos. Artur Boronat, José A. Carsí, Isidro Ramos. JISBD 2003, 167-176. Web SearchBibTeX |
