Personal information

Other IDs

Scopus Author ID: 8925623300

Activities

Collapse all

Employment (1)

University of Leicester: Leicester, GB

2007-10-01 to present | Lecturer (Informatics)
Employment
Source: Self-asserted source
Artur Boronat

Works (38)

Move your MDE teaching online: The MDENet Education Platform

2024-09-22 | Conference paper
DOI: 10.1145/3652620.3687780
Contributors: Steffen Zschaler; Will Barnett; Artur Boronat; Antonio Garcia-Dominguez; Dimitris Kolovos
Source: check_circle
Crossref

Offline Delta-Driven Model Transformation with Dependency Injection

2019 | Book chapter
DOI: 10.1007/978-3-030-16722-6_8
Contributors: Artur Boronat
Source: check_circle
Crossref

A Formal Framework for Prototyping Executable Semantics in ATL

2018 | Book chapter
DOI: 10.1007/978-3-319-93317-7_8
Contributors: Artur Boronat
Source: check_circle
Crossref

Experimentation with a big-step semantics for ATL model transformations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017 | Book
DOI: 10.1007/978-3-319-61473-1_1
EID:

2-s2.0-85025155883
Contributors: Boronat, A.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

BPMN formalization and verification using Maude

ACM International Conference Proceeding Series
2014 | Conference paper
DOI: 10.1145/2630768.2630769
EID:

2-s2.0-84907065557
Contributors: El-Saber, N.; Boronat, A.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Domain-specific discrete event modelling and simulation using graph transformation

Software and Systems Modeling
2014 | Journal article
DOI: 10.1007/s10270-012-0242-3
EID:

2-s2.0-84893777383
Contributors: de Lara, J.; Guerra, E.; Boronat, A.; Heckel, R.; Torrini, P.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Checking bisimilarity for attributed graph transformation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | Book
DOI: 10.1007/978-3-642-37075-5_8
EID:

2-s2.0-84874399059
Contributors: Orejas, F.; Boronat, A.; Golas, U.; Mylonakis, N.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Borrowed contexts for attributed graphs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Book
DOI: 10.1007/978-3-642-33654-6_9
EID:

2-s2.0-84867649142
Contributors: Orejas, F.; Boronat, A.; Mylonakis, N.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Advances in model transformations by graph transformation: Specification, execution and analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Book
DOI: 10.1007/978-3-642-20401-2_27
EID:

2-s2.0-80455158302
Contributors: Bergmann, G.; Boronat, A.; Heckel, R.; Torrini, P.; Ráth, I.; Varró, D.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Software generic measurement framework based on MDA

IEEE Latin America Transactions
2011 | Journal article
DOI: 10.1109/TLA.2011.5876432
EID:

2-s2.0-79959606882
Contributors: Mora, B.; García, F.; Ruiz, F.; Piattini, M.; Boronat, A.; Gómez, A.; Carsi, J.A.; Ramos, I.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

An algebraic semantics for MOF

Formal Aspects of Computing
2010 | Journal article
DOI: 10.1007/s00165-009-0140-9
EID:

2-s2.0-77954083844
Contributors: Boronat, A.; Meseguer, J.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Exploiting the hierarchical structure of rule-based specifications for decision planning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | Book
DOI: 10.1007/978-3-642-13464-7_2
EID:

2-s2.0-77954645914
Contributors: Boronat, A.; Bruni, R.; Lluch Lafuente, A.; Montanari, U.; Paolillo, G.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Formal real-time model transformations in MOMENT2

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | Book
DOI: 10.1007/978-3-642-12029-9_3
EID:

2-s2.0-77951278456
Contributors: Boronat, A.; Ölveczky, P.C.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Formal semantics and analysis of behavioral AADL models in real-time Maude

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | Book
DOI: 10.1007/978-3-642-13464-7_5
EID:

2-s2.0-77954654118
Contributors: Ölveczky, P.C.; Boronat, A.; Meseguer, J.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Graph transformation for domain-specific discrete event time simulation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | Book
DOI: 10.1007/978-3-642-15928-2_18
EID:

2-s2.0-78649841408
Contributors: De Lara, J.; Guerra, E.; Boronat, A.; Heckel, R.; Torrini, P.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Software generic measurement framework based on MDA

IEEE Latin America Transactions
2010 | Journal article
DOI: 10.1109/TLA.2010.5623515
EID:

2-s2.0-79955512910
Contributors: Mora, B.; García, F.; Ruiz, F.; Piattini, M.; Boronat, A.; Gómez, A.; Carsí, J.Á.; Ramos, I.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Algebraic semantics of ocl-constrained metamodel specifications

Lecture Notes in Business Information Processing
2009 | Book
DOI: 10.1007/978-3-642-02571-6_7
EID:

2-s2.0-68949103934
Contributors: Boronat, A.; Meseguer, J.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Rewriting logic semantics and verification of model transformations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009 | Book
DOI: 10.1007/978-3-642-00593-0_2
EID:

2-s2.0-67650153258
Contributors: Boronat, A.; Heckel, R.; Meseguer, J.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

What is a multi-modeling language?

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009 | Book
DOI: 10.1007/978-3-642-03429-9_6
EID:

2-s2.0-70349308580
Contributors: Boronat, A.; Knapp, A.; Meseguer, J.; Wirsing, M.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

An algebraic semantics for MOF

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008 | Book
DOI: 10.1007/978-3-540-78743-3_28
EID:

2-s2.0-47249105207
Contributors: Boronat, A.; Meseguer, J.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Generation of Sierpinski triangles: A case study for graph transformation tools

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008 | Book
DOI: 10.1007/978-3-540-89020-1-35
EID:

2-s2.0-56749106298
Contributors: Taentzer, G.; Biermann, E.; Bisztray, D.; Bohnet, B.; Boneva, I.; Boronat, A.; Geiger, L.; Geiß, R.; Horvath, Á.; Kniemeyer, O. et al.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

JISBD2007-03: Biological data processing using model driven engineerings

IEEE Latin America Transactions
2008 | Journal article
DOI: 10.1109/TLA.2008.4815285
EID:

2-s2.0-78649263243
Contributors: Gómez, A.; Boronat, A.; Carsí, J.Á.; Ramos, I.; Täubner, C.; Eckstein, S.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

JISBD2007-08: Software generic measurement framework based on MDA

IEEE Latin America Transactions
2008 | Journal article
DOI: 10.1109/TLA.2008.4815290
EID:

2-s2.0-78649249531
Contributors: Mora, B.; García, F.; Ruiz, F.; Piattini, M.; Boronat, A.; Gómez, A.; Carsí, J.Á.; Ramos, I.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Software measurement by using QVT transformations in an MDA context

ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems
2008 | Conference paper
EID:

2-s2.0-55849131843
Contributors: Mora, B.; García, F.; Ruiz, F.; Piattini, M.; Boronat, A.; Gómez, A.; Carsí, J.Á.; Ramos, I.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Transformation of UML models to CSP: A case study for graph transformation tools

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008 | Book
DOI: 10.1007/978-3-540-89020-1-36
EID:

2-s2.0-56749160678
Contributors: Varró, D.; Asztalos, M.; Bisztray, D.; Boronat, A.; Dang, D.-H.; Geiß, R.; Greenyer, J.; Van Gorp, P.; Kniemeyer, O.; Narayanan, A. et al.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Formal Model Merging Applied to Class Diagram Integration

Electronic Notes in Theoretical Computer Science
2007 | Journal article
DOI: 10.1016/j.entcs.2006.06.013
EID:

2-s2.0-33845381485
Contributors: Boronat, A.; Carsí, J.A.; Ramos, I.; Letelier, P.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

A model transformation engine with support for the QVT relations language | Un motor de transformación de modelos con soporte para el lenguaje QVT relations

CEUR Workshop Proceedings
2006 | Conference paper
EID:

2-s2.0-84876184767
Contributors: Queralt, P.; Hoyos, L.; Boronat, A.; Carsí, J.A.; Ramos, I.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Algebraic specification of a model transformation engine

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006 | Book
DOI: 10.1007/11693017_20
EID:

2-s2.0-33745844034
Contributors: Boronat, A.; Carsí, J.Á.; Ramos, I.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

An algebraic specification of generic OCL queries within the eclipse Modeling Framework

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006 | Book
DOI: 10.1007/11787044_24
EID:

2-s2.0-33746451731
Contributors: Boronat, A.; Oriente, J.; Gómez, A.; Ramos, I.; Carsí, J.Á.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

An algebraic baseline for automatic transformations in MDA

Electronic Notes in Theoretical Computer Science
2005 | Journal article
DOI: 10.1016/j.entcs.2004.08.031
EID:

2-s2.0-15844368060
Contributors: Boronat, A.; Carsí, J.A.; Ramos, I.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

An architecture to define graphical metaphors for metamodels | Una arquitectura para la definición de metáforas gráficas para metamodelos

IEEE Latin America Transactions
2005 | Journal article
DOI: 10.1109/TLA.2005.1468664
EID:

2-s2.0-78149403306
Contributors: Boronat Moll, A.; Pedrós Salva, J.; Carsí Cubel, J.Á.; Ramos Salavert, I.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Automatic reengineering in MDA using rewriting logic as transformation engine

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR
2005 | Conference paper
DOI: 10.1109/CSMR.2005.14
EID:

2-s2.0-26944489048
Contributors: Boronat, A.; Carsí, J.Á.; Ramos, I.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Automatic support for traceability in a generic model management framework

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2005 | Book
DOI: 10.1007/11581741_23
EID:

2-s2.0-33646568140
Contributors: Boronat, A.; Carsí, J.Á.; Ramos, I.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Federated RDF repositories for integrated hybrid museums

ICHIM05 - International Cultural Heritage Informatics Meeting, Proceedings
2005 | Conference paper
EID:

2-s2.0-84871101828
Contributors: Jaén, J.; Boronat, A.; Canós, J.H.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Using Maude from Eclipse Modeling Framework for model management | Utilización de maude desde eclipse modeling framework para la gestión de modelos

CEUR Workshop Proceedings
2005 | Conference paper
EID:

2-s2.0-84876252566
Contributors: Boronat, A.; Iborra, J.; Carsí, J.A.; Ramos, I.; Gómez, A.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Automatic model generation in model management

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2004 | Book
EID:

2-s2.0-35048889051
Contributors: Boronat, A.; Ramos, I.; Carsí, J.Á.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Two experiences in software dynamics

Journal of Universal Computer Science
2004 | Journal article
EID:

2-s2.0-23844496701
Contributors: Boronat, A.; Pérez, J.; Carsí, J.Á.; Ramos, I.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Data reverse engineering of legacy databases to object oriented conceptual schemas

Electronic Notes in Theoretical Computer Science
2003 | Journal article
DOI: 10.1016/S1571-0661(04)80622-4
EID:

2-s2.0-18944370134
Contributors: Pérez, J.; Ramos, I.; Anaya, V.; Cubel, J.M.; Domínguez, F.; Boronat, A.; Carsí, J.A.
Source: Self-asserted source
Artur Boronat via Scopus - Elsevier

Peer review (1 review for 1 publication/grant)

Review activity for Empirical software engineering. (1)
How many people are using ORCID?