default search action
Artur Boronat
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c47]Steffen Zschaler
, Will Barnett
Move your MDE teaching online: The MDENet Education Platform. MoDELS (Companion) 2024: 6-10 - [c46]Artur Boronat:
Exploring flexible models in agile MDE. STAF Workshops 2024: 12-22 - [e2]Artur Boronat, Antonio García-Domínguez, Georg Hinkel, Kevin Lano, Martina De Sanctis, Nicolas Ferry, Sébastien Mosser, Manuel Wimmer, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi, Javier Troya:
Post Proceedings of the STAF 2023 Workshops TTC 2023, MeSS 2023 and AgileMDE 2023, Leicester, United Kingdom, July 18, 2023 and June 21, 2023. CEUR Workshop Proceedings 3620, CEUR-WS.org 2024 [contents] - 2023
- [j11]Artur Boronat:
Safe reuse in modelling language engineering using model subtyping with OCL constraints. Softw. Syst. Model. 22(3): 797-818 (2023) - [j10]Artur Boronat:
EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time. Softw. Syst. Model. 22(6): 1949-1968 (2023) - [c45]Artur Boronat, Adekunle Ademeyo, Mehdi Mehtarizadeh, Steffen Zschaler:
Automatic Inference of Smart Data Discovery Interfaces for Rare Disease Datasets. HEDA@STAF 2023 - [c44]Will Barnett
An Online Education Platform for Teaching MDE. MoDELS (Companion) 2023: 114-121 - [c43]Artur Boronat:
Asymmetric and Directed Bidirectional Transformation for Container Orchestrations with YAMTL and EMF-Syncer. Agile MDE/MeSS/TTC@STAF 2023 - 2022
- [j9]Georg Hinkel
A cross-technology benchmark for incremental graph queries. Softw. Syst. Model. 21(2): 755-804 (2022) - [e1]Artur Boronat, Antonio García-Domínguez, Georg Hinkel:
TTC 2020/2021 - Joint Proceedings of the 13th and 14th Tool Transformation Contests. The TTC pandemic proceedings with CEUR-WS co-located with Software Technologies: Applications and Foundations (STAF 2021), Virtual Event, Bergen, Norway, July 17, 2020 and June 25, 2021. CEUR Workshop Proceedings 3089, CEUR-WS.org 2022 [contents] - 2021
- [j8]Artur Boronat:
Incremental execution of rule-based model transformation. Int. J. Softw. Tools Technol. Transf. 23(3): 289-311 (2021) - [c42]Artur Boronat:
Incremental execution of relational transformation specifications in YAMTL: a case with laboratory workflows. TTC/ 2021 - 2020
- [c41]Artur Boronat:
EMF-Syncer solution to TTC'20 round-trip migration case. TTC/ 2020
2010 – 2019
- 2019
- [c40]Artur Boronat
Offline Delta-Driven Model Transformation with Dependency Injection. FASE 2019: 134-150 - [c39]Artur Boronat:
Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling. ASE 2019: 874-886 - [c38]Artur Boronat:
YAMTL Solution to the TTC 2019 TT2BDD Case. TTC@STAF 2019: 21-25 - [c37]Artur Boronat:
YAMTL Solution to the TTC 2019 BibtexToDocBook Case. TTC@STAF 2019: 73-77 - 2018
- [c36]Artur Boronat
A Formal Framework for Prototyping Executable Semantics in ATL. ICMT 2018: 157-172 - [c35]Artur Boronat:
Expressive and Efficient Model Transformation with an Internal DSL of Xtend. MoDELS 2018: 78-88 - [c34]Artur Boronat:
YAMTL Solution to the TTC 2018 Social Media Case. TTC@STAF 2018: 65-78 - 2017
- [c33]Artur Boronat
Experimentation with a Big-Step Semantics for ATL Model Transformations. ICMT 2017: 3-18 - [c32]Artur Boronat:
Structural model subtyping with OCL constraints. SLE 2017: 194-205 - [i1]Artur Boronat:
Well-Behaved Model Transformations with Model Subtyping. CoRR abs/1703.08113 (2017) - 2014
- [j7]Juan de Lara, Esther Guerra
Domain-specific discrete event modelling and simulation using graph transformation. Softw. Syst. Model. 13(1): 209-238 (2014) - [c31]Nissreen A. S. El-Saber
BPMN Formalization and Verification using Maude. BM-FA 2014: 1 - 2013
- [j6]Fernando Orejas, Artur Boronat, Hartmut Ehrig, Frank Hermann, Hanna Schölzel:
On Propagation-Based Concurrent Model Synchronization. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013) - [c30]Fernando Orejas
Checking Bisimilarity for Attributed Graph Transformation. FoSSaCS 2013: 113-128 - 2012
- [c29]Fernando Orejas
Borrowed Contexts for Attributed Graphs. ICGT 2012: 126-140 - 2011
- [j5]Artur Boronat, José Meseguer:
Automated Model Synchronization: A Case Study on UML with Maude. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011) - [p1]Gábor Bergmann
Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis. Results of the SENSORIA Project 2011: 561-584 - 2010
- [j4]Artur Boronat
An algebraic semantics for MOF. Formal Aspects Comput. 22(3-4): 269-296 (2010) - [c28]Artur Boronat
Formal Real-Time Model Transformations in MOMENT2. FASE 2010: 29-43 - [c27]Artur Boronat
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. FMOODS/FORTE 2010: 2-16 - [c26]Peter Csaba Ölveczky, Artur Boronat
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. FMOODS/FORTE 2010: 47-62 - [c25]Juan de Lara, Esther Guerra, Artur Boronat
Graph Transformation for Domain-Specific Discrete Event Time Simulation. ICGT 2010: 266-281
2000 – 2009
- 2009
- [j3]Artur Boronat, Reiko Heckel:
Preface of the Post-proceedings of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009) - [c24]Artur Boronat
Rewriting Logic Semantics and Verification of Model Transformations. FASE 2009: 18-33 - [c23]Artur Boronat, José Meseguer:
MOMENT2: EMF Model Transformations in Maude. JISBD 2009: 178-179 - [c22]Artur Boronat
Algebraic Semantics of OCL-Constrained Metamodel Specifications. TOOLS (47) 2009: 96-115 - 2008
- [c21]Artur Boronat
An Algebraic Semantics for MOF. FASE 2008: 377-391 - [c20]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 - [c19]Artur Boronat
What Is a Multi-modeling Language? WADT 2008: 71-87 - 2007
- [c18]Gabriele Taentzer, Enrico Biermann, Dénes Bisztray, Bernd Bohnet, Iovka Boneva, Artur Boronat, Leif Geiger, Rubino Geiß, Ákos Horváth, 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 - [c17]Dániel Varró, Márk Asztalos, Dénes Bisztray, Artur Boronat, Duc-Hanh Dang, Rubino Geiß, Joel Greenyer, Pieter Van Gorp
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. AGTIVE 2007: 540-565 - [c16]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 - [c15]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 - [c14]Abel Gómez, Artur Boronat, José A. Carsí, Isidro Ramos:
MOMENT CASE: Un prototipo de herramienta CASE. JISBD 2007: 389-390 - 2006
- [j2]Artur Boronat, José A. Carsí, Isidro Ramos:
Exogenous Model Merging by means of Model Management Operators. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 3 (2006) - [c13]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 - [c12]Artur Boronat
An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework. ECMDA-FA 2006: 316-330 - [c11]Artur Boronat, José A. Carsí, Isidro Ramos, Patricio Letelier:
Formal Model Merging Applied to Class Diagram Integration. EVOL 2006: 11-16 - [c10]Artur Boronat
Algebraic Specification of a Model Transformation Engine. FASE 2006: 262-277 - [c9]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 - [c8]Artur Boronat
Formal Model Merging Applied to Class Diagram Integration. EVOL (Selected Papers) 2006: 5-26 - 2005
- [c7]Artur Boronat
Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine. CSMR 2005: 228-231 - [c6]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 - [c5]Artur Boronat
Automatic Support for Traceability in a Generic Model Management Framework. ECMDA-FA 2005: 316-330 - [c4]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 - 2004
- [j1]Artur Boronat, Jennifer Pérez, José A. Carsí, Isidro Ramos:
Two Experiences in Software Dynamics. J. Univers. Comput. Sci. 10(4): 428-453 (2004) - [c3]Artur Boronat, Isidro Ramos, José A. Carsí:
Automatic Model Generation in Model Management. CIT 2004: 326-335 - [c2]Artur Boronat
An Algebraic Baseline for Automatic Transformations in MDA. SETra@ICGT 2004: 31-47 - 2003
- [c1]Artur Boronat, José A. Carsí, Isidro Ramos:
Una plataforma semántica para la gestión de modelos. JISBD 2003: 167-176
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: