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

Automatic Model Generation in Model Management. - Artur Boronat; Isidro Ramos; José A. Carsí (CIT, 2004)

An Algebraic Baseline for Automatic Transformations in MDA. - Artur Boronat; José A. Carsí; Isidro Ramos (SETra@ICGT, 2004)

Two Experiences in Software Dynamics. - Artur Boronat; Jennifer Pérez; José A. Carsí; Isidro Ramos (J. Univers. Comput. Sci., 2004)

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

Utilización de Maude desde Eclipse Modeling Framework para la Gestión de Modelos. - Artur Boronat; José Iborra; José A. Carsí; Isidro Ramos; Abel Gómez 001 (DSDM, 2005)

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

Del método formal a la aplicación industrial en Gestión de Modelos: Maude aplicado a Eclipse Modeling Framework. - Artur Boronat; José Iborra; José A. Carsí; Isidro Ramos; Abel Gómez 001 (JISBD, 2005)

Un Motor de Transformación de Modelos con Soporte para el Lenguaje QVT Relations. - Pascual Queralt; Luis Hoyos; Artur Boronat; José A. Carsí (DSDM, 2006)

An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework. - Artur Boronat; Joaquín Oriente; Abel Gómez 001; Isidro Ramos; José A. Carsí (ECMDA-FA, 2006)

Algebraic Specification of a Model Transformation Engine. - Artur Boronat; José A. Carsí; Isidro Ramos (FASE, 2006)

Definición de operaciones complejas con un lenguaje específico de dominio en Gestión de Modelos. - Abel Gómez 001; Artur Boronat; Luis Hoyos; José A. Carsí; Isidro Ramos (JISBD, 2006)

Exogenous Model Merging by means of Model Management Operators. - Artur Boronat; José A. Carsí; Isidro Ramos (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Formal Model Merging Applied to Class Diagram Integration. - Artur Boronat; José A. Carsí; Isidro Ramos; Patricio Letelier 001 (EVOL (Selected Papers), 2006)

Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools. - Gabriele Taentzer; Enrico Biermann; Dénes Bisztray; Bernd Bohnet; Iovka Boneva; Artur Boronat; Leif Geiger; Rubino Geiß; Ákos Horváth 001; Ole Kniemeyer; Tom Mens; Benjamin Ness; et al. (AGTIVE, 2007)

Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. - 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 (AGTIVE, 2007)

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

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

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

Software Measurement by Using QVT Transformations in an MDA Context. - Beatriz Mora; Félix García 001; Francisco Ruiz 001; Mario Piattini; Artur Boronat; Abel Gómez 001; José A. Carsí; Isidro Ramos (ICEIS (1), 2008)

What Is a Multi-modeling Language? - Artur Boronat; Alexander Knapp; José Meseguer 001; Martin Wirsing (WADT, 2008)

Rewriting Logic Semantics and Verification of Model Transformations. - Artur Boronat; Reiko Heckel; José Meseguer 001 (FASE, 2009)

MOMENT2: EMF Model Transformations in Maude. - Artur Boronat; José Meseguer 001 (JISBD, 2009)

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

Preface of the Post-proceedings of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques. - Artur Boronat; Reiko Heckel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Formal Real-Time Model Transformations in MOMENT2. - Artur Boronat; Peter Csaba Ölveczky (FASE, 2010)

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

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

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

An algebraic semantics for MOF. - Artur Boronat; José Meseguer 001 (Formal Aspects Comput., 2010)

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

Automated Model Synchronization: A Case Study on UML with Maude. - Artur Boronat; José Meseguer 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Borrowed Contexts for Attributed Graphs. - Fernando Orejas; Artur Boronat; Nikos Mylonakis (ICGT, 2012)

Checking Bisimilarity for Attributed Graph Transformation. - Fernando Orejas; Artur Boronat; Ulrike Golas; Nikos Mylonakis (FoSSaCS, 2013)

On Propagation-Based Concurrent Model Synchronization. - Fernando Orejas; Artur Boronat; Hartmut Ehrig; Frank Hermann 001; Hanna Schölzel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

BPMN Formalization and Verification using Maude. - Nissreen A. S. El-Saber; Artur Boronat (BM-FA, 2014)

Domain-specific discrete event modelling and simulation using graph transformation. - Juan de Lara; Esther Guerra; Artur Boronat; Reiko Heckel; Paolo Torrini (Softw. Syst. Model., 2014)

Experimentation with a Big-Step Semantics for ATL Model Transformations. - Artur Boronat (ICMT, 2017)

Structural model subtyping with OCL constraints. - Artur Boronat (SLE, 2017)

Well-Behaved Model Transformations with Model Subtyping. - Artur Boronat (CoRR, 2017)

A Formal Framework for Prototyping Executable Semantics in ATL. - Artur Boronat (ICMT, 2018)

Expressive and Efficient Model Transformation with an Internal DSL of Xtend. - Artur Boronat (MoDELS, 2018)

YAMTL Solution to the TTC 2018 Social Media Case. - Artur Boronat (TTC@STAF, 2018)

Offline Delta-Driven Model Transformation with Dependency Injection. - Artur Boronat (FASE, 2019)

Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling. - Artur Boronat (ASE, 2019)

YAMTL Solution to the TTC 2019 TT2BDD Case. - Artur Boronat (TTC@STAF, 2019)

YAMTL Solution to the TTC 2019 BibtexToDocBook Case. - Artur Boronat (TTC@STAF, 2019)

EMF-Syncer solution to TTC'20 round-trip migration case. - Artur Boronat (TTC/, 2020)

Incremental execution of relational transformation specifications in YAMTL: a case with laboratory workflows. - Artur Boronat (TTC/, 2021)

Incremental execution of rule-based model transformation. - Artur Boronat (Int. J. Softw. Tools Technol. Transf., 2021)

A cross-technology benchmark for incremental graph queries. - Georg Hinkel; Antonio García-Domínguez; René Schöne; Artur Boronat; Massimo Tisi; Théo Le Calvar; Frédéric Jouault; József Marton; Tamás Nyíri; János Benjamin Antal; Márton Elekes 001; Gábor Szárnyas (Softw. Syst. Model., 2022)

Automatic Inference of Smart Data Discovery Interfaces for Rare Disease Datasets. - Artur Boronat; Adekunle Ademeyo; Mehdi Mehtarizadeh; Steffen Zschaler (HEDA@STAF, 2023)

An Online Education Platform for Teaching MDE. - Will Barnett; Steffen Zschaler; Artur Boronat; Antonio García-Domínguez; Dimitrios S. Kolovos (MoDELS (Companion), 2023)

Asymmetric and Directed Bidirectional Transformation for Container Orchestrations with YAMTL and EMF-Syncer. - Artur Boronat (Agile MDE/MeSS/TTC@STAF, 2023)

Safe reuse in modelling language engineering using model subtyping with OCL constraints. - Artur Boronat (Softw. Syst. Model., 2023)

EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time. - Artur Boronat (Softw. Syst. Model., 2023)

Move your MDE teaching online: The MDENet Education Platform. - Steffen Zschaler; Will Barnett; Artur Boronat; Antonio García-Domínguez; Dimitris S. Kolovos (MoDELS (Companion), 2024)

Exploring flexible models in agile MDE. - Artur Boronat (STAF Workshops, 2024)

MDRE-LLM: A Tool for Analyzing and Applying LLMs in Software Reverse Engineering. - Artur Boronat; Jawad Mustafa (SANER, 2025)