dblp.uni-trier.dewww.uni-trier.de

Artur Boronat Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
21EEArtur Boronat, Reiko Heckel, José Meseguer: Rewriting Logic Semantics and Verification of Model Transformations. FASE 2009: 18-33
20 Artur Boronat, José Meseguer: MOMENT2: EMF Model Transformations in Maude. JISBD 2009: 178-179
19EEArtur Boronat, José Meseguer: Algebraic Semantics of OCL-Constrained Metamodel Specifications. TOOLS (47) 2009: 96-115
2008
18EEArtur 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
16EEGabriele 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
15EEDá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
14EEArtur 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
13EEPascual Queralt, Luis Hoyos, Artur Boronat, José A. Carsí: Un Motor de Transformación de Modelos con Soporte para el Lenguaje QVT Relations. DSDM 2006
12EEArtur 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
11EEArtur 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
9EEArtur Boronat, José A. Carsí, Isidro Ramos: Exogenous Model Merging by means of Model Management Operators. ECEASST 3: (2006)
2005
8EEArtur Boronat, José A. Carsí, Isidro Ramos: Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine. CSMR 2005: 228-231
7EEArtur 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
6EEArtur 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
4EEArtur 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
3EEArtur Boronat, Isidro Ramos, José A. Carsí: Automatic Model Generation in Model Management. CIT 2004: 326-335
2EEArtur 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)