Artur Boronat

	2011
33		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
32		Artur Boronat, José Meseguer: Automated Model Synchronization: A Case Study on UML with Maude. ECEASST 41: (2011)
	2010
31		Artur Boronat, Peter Csaba Ölveczky: Formal Real-Time Model Transformations in MOMENT2. FASE 2010: 29-43
30		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
29		Peter Csaba Ölveczky, Artur Boronat, José Meseguer: Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. FMOODS/FORTE 2010: 47-62
28		Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini: Graph Transformation for Domain-Specific Discrete Event Time Simulation. ICGT 2010: 266-281
27		Artur Boronat, José Meseguer: An algebraic semantics for MOF. Formal Asp. Comput. 22(3-4): 269-296 (2010)
	2009
26		Artur Boronat, Reiko Heckel, José Meseguer: Rewriting Logic Semantics and Verification of Model Transformations. FASE 2009: 18-33
25		Artur Boronat, José Meseguer: MOMENT2: EMF Model Transformations in Maude. JISBD 2009: 178-179
24		Artur Boronat, José Meseguer: Algebraic Semantics of OCL-Constrained Metamodel Specifications. TOOLS (47) 2009: 96-115
23		Artur Boronat, Reiko Heckel: Preface of the Post-proceedings of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques. ECEASST 18: (2009)
	2008
22		Artur Boronat, José Meseguer: An Algebraic Semantics for MOF. FASE 2008: 377-391
21		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
20		Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing: What Is a Multi-modeling Language? WADT 2008: 71-87
	2007
19		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
18		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
17		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
16		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
15		Abel Gómez, Artur Boronat, José A. Carsí, Isidro Ramos: MOMENT CASE: Un prototipo de herramienta CASE. JISBD 2007: 389-390
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

Coauthor Index

1	Márk Asztalos	[18]
2	Gábor Bergmann	[33]
3	Enrico Biermann	[19]
4	Dénes Bisztray	[18] [19]
5	Bernd Bohnet	[19]
6	Iovka Boneva	[19]
7	Roberto Bruni	[30]
8	José A. Carsí	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [21]
9	Duc-Hanh Dang	[18]
10	Silke Eckstein	[16]
11	Félix García	[17] [21]
12	Leif Geiger	[19]
13	Rubino Geiß	[18] [19]
14	Abel Gómez	[5] [7] [10] [12] [15] [16] [17] [21]
15	Pieter Van Gorp	[18]
16	Joel Greenyer	[18]
17	Esther Guerra	[28]
18	Reiko Heckel	[23] [26] [28] [33]
19	Ákos Horvath	[19]
20	Luis Hoyos	[10] [13]
21	José Iborra	[5] [7]
22	Alexander Knapp	[20]
23	Ole Kniemeyer	[18] [19]
24	Juan de Lara (Juan de Lara Jaramillo)	[28]
25	Patricio Letelier	[14]
26	Alberto Lluch-Lafuente	[30]
27	Tom Mens	[19]
28	José Meseguer	[20] [22] [24] [25] [26] [27] [29] [32]
29	Ugo Montanari	[30]
30	Beatriz Mora	[17] [21]
31	Anantha Narayanan	[18]
32	Benjamin Ness	[19]
33	Peter Csaba Ölveczky	[29] [31]
34	Joaquín Oriente	[12]
35	Generoso Paolillo	[30]
36	Jennifer Pérez	[2]
37	Mario Piattini (Mario Piattini Velthius)	[17] [21]
38	Detlef Plump	[19]
39	Pascual Queralt	[13]
40	Isidro Ramos	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14] [15] [16] [17] [21]
41	István Ráth	[33]
42	Edgars Rencis	[18]
43	Francisco Ruiz	[17] [21]
44	Gabriele Taentzer	[19]
45	Claudia Täubner	[16]
46	Paolo Torrini	[28] [33]
47	Tamás Vajk	[19]
48	Dániel Varró	[18] [33]
49	Erhard Weinell	[18]
50	Martin Wirsing	[20]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page