Artur Boronat

According to our database, Artur Boronat authored at least 58 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Exploring flexible models in agile MDE.

Artur Boronat

Proceedings of the STAF 2024 Workshops: AgileMDE 2024, 2024

Move your MDE teaching online: The MDENet Education Platform.

Steffen Zschaler, Will Barnett, Artur Boronat, Antonio García-Domínguez, Dimitris S. Kolovos

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

2023

EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time.

Artur Boronat

Softw. Syst. Model., December, 2023

Safe reuse in modelling language engineering using model subtyping with OCL constraints.

Artur Boronat

Softw. Syst. Model., 2023

Asymmetric and Directed Bidirectional Transformation for Container Orchestrations with YAMTL and EMF-Syncer.

Artur Boronat

Proceedings of the Post Proceedings of the STAF 2023 Workshops TTC 2023, 2023

An Online Education Platform for Teaching MDE.

Will Barnett, Steffen Zschaler, Artur Boronat, Antonio García-Domínguez, Dimitrios S. Kolovos

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Automatic Inference of Smart Data Discovery Interfaces for Rare Disease Datasets.

Artur Boronat, Adekunle Ademeyo, Mehdi Mehtarizadeh, Steffen Zschaler

Proceedings of the 3rd International Health Data Workshop (HEDA 2023) co-located with Software Technologies: Applications and Foundations (STAF 2023), 2023

2022

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, Gábor Szárnyas

Softw. Syst. Model., 2022

2021

Incremental execution of rule-based model transformation.

Artur Boronat

Int. J. Softw. Tools Technol. Transf., 2021

Incremental execution of relational transformation specifications in YAMTL: a case with laboratory workflows.

Artur Boronat

Proceedings of the TTC 2020/2021, 2021

2020

EMF-Syncer solution to TTC'20 round-trip migration case.

Artur Boronat

Proceedings of the TTC 2020/2021, 2020

2019

YAMTL Solution to the TTC 2019 BibtexToDocBook Case.

Artur Boronat

Proceedings of the 12th Transformation Tool Contest, 2019

YAMTL Solution to the TTC 2019 TT2BDD Case.

Artur Boronat

Proceedings of the 12th Transformation Tool Contest, 2019

Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling.

Artur Boronat

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Offline Delta-Driven Model Transformation with Dependency Injection.

Artur Boronat

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

YAMTL Solution to the TTC 2018 Social Media Case.

Artur Boronat

Proceedings of the 11th Transformation Tool Contest, 2018

Expressive and Efficient Model Transformation with an Internal DSL of Xtend.

Artur Boronat

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

A Formal Framework for Prototyping Executable Semantics in ATL.

Artur Boronat

Proceedings of the Theory and Practice of Model Transformation, 2018

2017

Well-Behaved Model Transformations with Model Subtyping.

Artur Boronat

CoRR, 2017

Structural model subtyping with OCL constraints.

Artur Boronat

Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017

Experimentation with a Big-Step Semantics for ATL Model Transformations.

Artur Boronat

Proceedings of the Theory and Practice of Model Transformation, 2017

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

BPMN Formalization and Verification using Maude.

Nissreen A. S. El-Saber, Artur Boronat

Proceedings of the 2014 Workshop on Behaviour Modelling - Foundations and Applications, 2014

2013

On Propagation-Based Concurrent Model Synchronization.

Fernando Orejas, Artur Boronat, Hartmut Ehrig, Frank Hermann, Hanna Schölzel

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Checking Bisimilarity for Attributed Graph Transformation.

Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis

Proceedings of the Foundations of Software Science and Computation Structures, 2013

2012

Borrowed Contexts for Attributed Graphs.

Fernando Orejas, Artur Boronat, Nikos Mylonakis

Proceedings of the Graph Transformations - 6th International Conference, 2012

2011

Automated Model Synchronization: A Case Study on UML with Maude.

Artur Boronat, José Meseguer

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

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ó

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

An algebraic semantics for MOF.

Artur Boronat, José Meseguer

Formal Aspects Comput., 2010

Graph Transformation for Domain-Specific Discrete Event Time Simulation.

Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini

Proceedings of the Graph Transformations - 5th International Conference, 2010

Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude.

Peter Csaba Ölveczky, Artur Boronat, José Meseguer

Proceedings of the Formal Techniques for Distributed Systems, 2010

Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning.

Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo

Proceedings of the Formal Techniques for Distributed Systems, 2010

Formal Real-Time Model Transformations in MOMENT2.

Artur Boronat, Peter Csaba Ölveczky

Proceedings of the Fundamental Approaches to Software Engineering, 2010

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

Algebraic Semantics of OCL-Constrained Metamodel Specifications.

Artur Boronat, José Meseguer

Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009

MOMENT2: EMF Model Transformations in Maude.

Artur Boronat, José Meseguer

Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Rewriting Logic Semantics and Verification of Model Transformations.

Artur Boronat, Reiko Heckel, José Meseguer

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

What Is a Multi-modeling Language?

Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Software Measurement by Using QVT Transformations in an MDA Context.

Beatriz Mora, Félix García, Francisco Ruiz, Mario Piattini, Artur Boronat, Abel Gómez, José A. Carsí, Isidro Ramos

Proceedings of the ICEIS 2008, 2008

2007

Marco de Trabajo basado en MDA para la Medición Genérica del Software.

Beatriz Mora, Félix García, Francisco Ruiz, Mario Piattini, Artur Boronat, Abel Gómez, José A. Carsí, Isidro Ramos

Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

Recuperación y procesado de datos biológicos mediante Ingeniería Dirigida por Modelos.

Abel Gómez, Artur Boronat, Claudia Täubner, José A. Carsí, Isidro Ramos, Silke Eckstein

Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

MOMENT CASE: Un prototipo de herramienta CASE.

Abel Gómez, Artur Boronat, José A. Carsí, Isidro Ramos

Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 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

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

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, Ole Kniemeyer, Tom Mens, Benjamin Ness, Detlef Plump, Tamás Vajk

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006

Formal Model Merging Applied to Class Diagram Integration.

Artur Boronat, José A. Carsí, Isidro Ramos, Patricio Letelier

Proceedings of the Selected Papers of the ERCIM Working Group on Software Evolution, 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

Definición de operaciones complejas con un lenguaje específico de dominio en Gestión de Modelos.

Abel Gómez, Artur Boronat, Luis Hoyos, José A. Carsí, Isidro Ramos

Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), 2006

Algebraic Specification of a Model Transformation Engine.

Artur Boronat, José A. Carsí, Isidro Ramos

Proceedings of the Fundamental Approaches to Software Engineering, 2006

An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework.

Artur Boronat, Joaquín Oriente, Abel Gómez, Isidro Ramos, José A. Carsí

Proceedings of the Model Driven Architecture, 2006

Un Motor de Transformación de Modelos con Soporte para el Lenguaje QVT Relations.

Pascual Queralt, Luis Hoyos, Artur Boronat, José A. Carsí

Proceedings of the Actas del Taller sobre Desarrollo de Software Dirigido por Modelos. MDA y Aplicaciones. Sitges, 2006

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

Proceedings of the Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), 2005

Automatic Support for Traceability in a Generic Model Management Framework.

Artur Boronat, José A. Carsí, Isidro Ramos

Proceedings of the Model Driven Architecture, 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

Proceedings of the Actas del Taller sobre Desarrollo Dirigido por Modelos, 2005

Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine.

Artur Boronat, José A. Carsí, Isidro Ramos

Proceedings of the 9th European Conference on Software Maintenance and Reengineering (CSMR 2005), 2005

2004

Two Experiences in Software Dynamics.

Artur Boronat, Jennifer Pérez, José A. Carsí, Isidro Ramos

J. Univers. Comput. Sci., 2004

An Algebraic Baseline for Automatic Transformations in MDA.

Artur Boronat, José A. Carsí, Isidro Ramos

Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions, 2004

Automatic Model Generation in Model Management.

Artur Boronat, Isidro Ramos, José A. Carsí

Proceedings of the Intelligent Information Technology, 2004

2003

Una plataforma semántica para la gestión de modelos.

Artur Boronat, José A. Carsí, Isidro Ramos

Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003