Concepedia

Artur Boronat

AB

12

Publications

256

Citations

11

H-Index

2003

Active since

Affiliations

University of Leicester(Current)

Universitat Politècnica de València

Artur Boronat is an author at University of Leicester specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringFormal MethodsSoftware DesignComputer ScienceSoftware EngineeringData ModelingSoftware AnalysisSoftware MaintenanceAutomated Reasoning

Publications per year

2003–2024

12

Publications

12

An algebraic semantics for MOF

Artur Boronat, José Meseguer · Formal Aspects of Computing · 2010 · 48 citations · Full text

Formal Model Merging Applied to Class Diagram Integration

Artur Boronat, José Á. Carsí, Isidro Ramos et al. · Electronic Notes in Theoretical Computer Science · 2006 · 44 citations · Full text

Software Maintenance, Engineering, Object-oriented Modeling +21

BPMN Formalization and Verification using Maude

Nissreen El-Saber, Artur Boronat · 2014 · 29 citations

Engineering, Business Processes, Verification +20

Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine

Artur Boronat, José Á. Carsí, I. Ramos · 2005 · 28 citations

Software Maintenance, Engineering, Software Engineering +22

On Propagation-Based Concurrent Model Synchronization

Fernando Orejas, Artur Boronat, Hartmut Ehrig et al. · Technische Universität Berlin – Universitätsbibliothek · 2024 · 19 citations · Full text

Engineering, Verification, Software Engineering +18

Rows per page

1–5 of 12