Artur Boronat

Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis: Checking Bisimilarity for Attributed Graph Transformation. FoSSaCS 2013: 113-128

Fernando Orejas, Artur Boronat, Nikos Mylonakis: Borrowed Contexts for Attributed Graphs. ICGT 2012: 126-140

Artur Boronat, José Meseguer: Automated Model Synchronization: A Case Study on UML with Maude. ECEASST 41 (2011)

Gábor Bergmann, Artur Boronat, Reiko Heckel, Paolo Torrini, István Ráth, Dániel Varró: Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis. Results of the SENSORIA Project 2011: 561-584

Artur Boronat, José Meseguer: An algebraic semantics for MOF. Formal Asp. Comput. 22(3-4): 269-296 (2010)

Artur Boronat, Peter Csaba Ölveczky: Formal Real-Time Model Transformations in MOMENT2. FASE 2010: 29-43

Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo: Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. FMOODS/FORTE 2010: 2-16

Peter Csaba Ölveczky, Artur Boronat, José Meseguer: Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. FMOODS/FORTE 2010: 47-62

Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini: Graph Transformation for Domain-Specific Discrete Event Time Simulation. ICGT 2010: 266-281

Artur Boronat, Reiko Heckel: Preface of the Post-proceedings of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques. ECEASST 18 (2009)

Artur Boronat, Reiko Heckel, José Meseguer: Rewriting Logic Semantics and Verification of Model Transformations. FASE 2009: 18-33

Artur Boronat, José Meseguer: MOMENT2: EMF Model Transformations in Maude. JISBD 2009: 178-179

Artur Boronat, José Meseguer: Algebraic Semantics of OCL-Constrained Metamodel Specifications. TOOLS (47) 2009: 96-115

Artur Boronat, José Meseguer: An Algebraic Semantics for MOF. FASE 2008: 377-391

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

Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing: What Is a Multi-modeling Language? WADT 2008: 71-87

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)

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

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

Beatriz Mora, Félix García, Francisco Ruiz, Mario Piattini, Artur Boronat, Abel Gómez, José A. Carsí, Isidro Ramos: Marco de Trabajo basado en MDA para la Medición Genérica del Software. JISBD 2007: 211-220

Abel Gómez, Artur Boronat, Claudia Täubner, José A. Carsí, Isidro Ramos, Silke Eckstein: Recuperación y procesado de datos biológicos mediante Ingeniería Dirigida por Modelos. JISBD 2007: 275-284

Abel Gómez, Artur Boronat, José A. Carsí, Isidro Ramos: MOMENT CASE: Un prototipo de herramienta CASE. JISBD 2007: 389-390

Artur Boronat, José A. Carsí, Isidro Ramos: Exogenous Model Merging by means of Model Management Operators. ECEASST 3 (2006)

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

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

Artur Boronat, José A. Carsí, Isidro Ramos: Algebraic Specification of a Model Transformation Engine. FASE 2006: 262-277

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

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)

Artur Boronat, José A. Carsí, Isidro Ramos: Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine. CSMR 2005: 228-231

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

Artur Boronat, José A. Carsí, Isidro Ramos: Automatic Support for Traceability in a Generic Model Management Framework. ECMDA-FA 2005: 316-330

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, Jennifer Pérez, José A. Carsí, Isidro Ramos: Two Experiences in Software Dynamics. J. UCS 10(4): 428-453 (2004)

Artur Boronat, Isidro Ramos, José A. Carsí: Automatic Model Generation in Model Management. CIT 2004: 326-335

Artur Boronat, José A. Carsí, Isidro Ramos: Una plataforma semántica para la gestión de modelos. JISBD 2003: 167-176