Artur Boronat

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 20

Top Topics

Structural Model

Online Education

Top Venues

Softw. Syst. Model.

Publications

Artur Boronat
Exploring flexible models in agile MDE. STAF Workshops (2024)
Artur Boronat
Safe reuse in modelling language engineering using model subtyping with OCL constraints. Softw. Syst. Model. 22 (3) (2023)
Will Barnett, Steffen Zschaler, Artur Boronat, Antonio García-Domínguez, Dimitris Kolovos
An Online Education Platform for Teaching MDE. MoDELS (Companion) (2023)
Artur Boronat, Adekunle Ademeyo, Mehdi Mehtarizadeh, Steffen Zschaler
Automatic Inference of Smart Data Discovery Interfaces for Rare Disease Datasets. HEDA@STAF (2023)
Artur Boronat
EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time. Softw. Syst. Model. 22 (6) (2023)
Artur Boronat
Asymmetric and Directed Bidirectional Transformation for Container Orchestrations with YAMTL and EMF-Syncer. Agile MDE/MeSS/TTC@STAF (2023)
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, Gábor Szárnyas
A cross-technology benchmark for incremental graph queries. Softw. Syst. Model. 21 (2) (2022)
Artur Boronat
Incremental execution of rule-based model transformation. Int. J. Softw. Tools Technol. Transf. 23 (3) (2021)
Artur Boronat
Incremental execution of relational transformation specifications in YAMTL: a case with laboratory workflows. TTC/ (2021)
Artur Boronat
EMF-Syncer solution to TTC'20 round-trip migration case. TTC/ (2020)
Artur Boronat
YAMTL Solution to the TTC 2019 TT2BDD Case. TTC@STAF (2019)
Artur Boronat
YAMTL Solution to the TTC 2019 BibtexToDocBook Case. TTC@STAF (2019)
Artur Boronat
Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling. ASE (2019)
Artur Boronat
Offline Delta-Driven Model Transformation with Dependency Injection. FASE (2019)
Artur Boronat
A Formal Framework for Prototyping Executable Semantics in ATL. ICMT (2018)
Artur Boronat
YAMTL Solution to the TTC 2018 Social Media Case. TTC@STAF (2018)
Artur Boronat
Expressive and Efficient Model Transformation with an Internal DSL of Xtend. MoDELS (2018)
Artur Boronat
Experimentation with a Big-Step Semantics for ATL Model Transformations. ICMT (2017)
Artur Boronat
Structural model subtyping with OCL constraints. SLE (2017)
Artur Boronat
Well-Behaved Model Transformations with Model Subtyping. CoRR (2017)
Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini
Domain-specific discrete event modelling and simulation using graph transformation. Softw. Syst. Model. 13 (1) (2014)
Nissreen A. S. El-Saber, Artur Boronat
BPMN Formalization and Verification using Maude. BM-FA (2014)
Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis
Checking Bisimilarity for Attributed Graph Transformation. FoSSaCS (2013)
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)
Fernando Orejas, Artur Boronat, Nikos Mylonakis
Borrowed Contexts for Attributed Graphs. ICGT (2012)
Artur Boronat, José Meseguer
Automated Model Synchronization: A Case Study on UML with Maude. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011)
Artur Boronat, José Meseguer
An algebraic semantics for MOF. Formal Aspects Comput. 22 (3-4) (2010)
Artur Boronat, Peter Csaba Ölveczky
Formal Real-Time Model Transformations in MOMENT2. FASE (2010)
Peter Csaba Ölveczky, Artur Boronat, José Meseguer
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. FMOODS/FORTE (2010)
Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini
Graph Transformation for Domain-Specific Discrete Event Time Simulation. ICGT (2010)
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)
Artur Boronat, José Meseguer
Algebraic Semantics of OCL-Constrained Metamodel Specifications. TOOLS (47) (2009)
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)
Artur Boronat, Reiko Heckel, José Meseguer
Rewriting Logic Semantics and Verification of Model Transformations. FASE (2009)
Artur Boronat, José Meseguer
MOMENT2: EMF Model Transformations in Maude. JISBD (2009)
Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing
What Is a Multi-modeling Language? WADT (2008)
Artur Boronat, José Meseguer
An Algebraic Semantics for MOF. FASE (2008)
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)
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)
Abel Gómez, Artur Boronat, José A. Carsí, Isidro Ramos
MOMENT CASE: Un prototipo de herramienta CASE. JISBD (2007)
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)
Artur Boronat, José A. Carsí, Isidro Ramos, Patricio Letelier
Formal Model Merging Applied to Class Diagram Integration. Electron. Notes Theor. Comput. Sci. 166 (2007)
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)
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)
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)
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)
Artur Boronat, José A. Carsí, Isidro Ramos, Patricio Letelier
Formal Model Merging Applied to Class Diagram Integration. EVOL (2006)
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)
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)
Artur Boronat, José A. Carsí, Isidro Ramos
Algebraic Specification of a Model Transformation Engine. FASE (2006)
Artur Boronat, José A. Carsí, Isidro Ramos
An Algebraic Baseline for Automatic Transformations in MDA. Electron. Notes Theor. Comput. Sci. 127 (3) (2005)
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)
Artur Boronat, José A. Carsí, Isidro Ramos
Automatic Support for Traceability in a Generic Model Management Framework. ECMDA-FA (2005)
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)
Artur Boronat, José A. Carsí, Isidro Ramos
Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine. CSMR (2005)
Artur Boronat, Isidro Ramos, José A. Carsí
Automatic Model Generation in Model Management. CIT (2004)
Artur Boronat, Jennifer Pérez, José A. Carsí, Isidro Ramos
Two Experiences in Software Dynamics. J. Univers. Comput. Sci. 10 (4) (2004)
Artur Boronat, José A. Carsí, Isidro Ramos
Una plataforma semántica para la gestión de modelos. JISBD (2003)