Artur Boronat

2009
19	EE	Artur Boronat, Reiko Heckel, José Meseguer: Rewriting Logic Semantics and Verification of Model Transformations. FASE 2009: 18-33
2008
18	EE	Artur Boronat, José Meseguer: An Algebraic Semantics for MOF. FASE 2008: 377-391
17		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
2007
16	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Artur Boronat, José A. Carsí, Isidro Ramos: Exogenous Model Merging by means of Model Management Operators. ECEASST 3: (2006)
2005
8	EE	Artur Boronat, José A. Carsí, Isidro Ramos: Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine. CSMR 2005: 228-231
7	EE	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	EE	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	EE	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	EE	Artur Boronat, Isidro Ramos, José A. Carsí: Automatic Model Generation in Model Management. CIT 2004: 326-335
2	EE	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

Coauthor Index

1	Márk Asztalos	[15]
2	Enrico Biermann	[16]
3	Dénes Bisztray	[15] [16]
4	Bernd Bohnet	[16]
5	Iovka Boneva	[16]
6	Félix García Carballeira (Félix García)	[17]
7	José A. Carsí	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [17]
8	Duc-Hanh Dang	[15]
9	Leif Geiger	[16]
10	Rubino Geiß	[15] [16]
11	Abel Gómez	[5] [7] [10] [12] [17]
12	Pieter Van Gorp	[15]
13	Joel Greenyer	[15]
14	Reiko Heckel	[19]
15	Ákos Horvath	[16]
16	Luis Hoyos	[10] [13]
17	José Iborra	[5] [7]
18	Ole Kniemeyer	[15] [16]
19	Patricio Letelier	[14]
20	Tom Mens	[16]
21	José Meseguer	[18] [19]
22	Beatriz Mora	[17]
23	Anantha Narayanan	[15]
24	Benjamin Ness	[16]
25	Joaquín Oriente	[12]
26	Jennifer Pérez	[2]
27	Mario Piattini	[17]
28	Detlef Plump	[16]
29	Pascual Queralt	[13]
30	Isidro Ramos	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14] [17]
31	Edgars Rencis	[15]
32	Francisco Ruiz	[17]
33	Gabriele Taentzer	[16]
34	Tamás Vajk	[16]
35	Dániel Varró	[15]
36	Erhard Weinell	[15]

Colors in the list of coauthors