Follow
Artur Boronat
Title
Cited by
Cited by
Year
Formal semantics and analysis of behavioral AADL models in Real-Time Maude
PC Ölveczky, A Boronat, J Meseguer
International Conference on Formal Methods for Open Object-Based Distributed …, 2010
1152010
An algebraic semantics for MOF
A Boronat, J Meseguer
Fundamental Approaches to Software Engineering: 11th International …, 2008
932008
Rewriting logic semantics and verification of model transformations
A Boronat, R Heckel, J Meseguer
Fundamental Approaches to Software Engineering: 12th International …, 2009
852009
What is a multi-modeling language?
A Boronat, A Knapp, J Meseguer, M Wirsing
Recent Trends in Algebraic Development Techniques: 19th International …, 2009
712009
Algebraic specification of a model transformation engine
A Boronat, JÁ Carsí, I Ramos
International Conference on Fundamental Approaches to Software Engineering …, 2006
682006
Formal model merging applied to class diagram integration
A Boronat, JÁ Carsí, I Ramos, P Letelier
Electronic Notes in Theoretical Computer Science 166, 5-26, 2007
652007
An algebraic semantics for MOF
A Boronat, J Meseguer
Formal Aspects of Computing 22, 269-296, 2010
552010
Transformation of UML models to CSP: A case study for graph transformation tools
D Varró, M Asztalos, D Bisztray, A Boronat, DH Dang, R Geiß, J Greenyer, ...
Applications of Graph Transformations with Industrial Relevance: Third …, 2008
542008
Generation of Sierpinski triangles: A case study for graph transformation tools
G Taentzer, E Biermann, D Bisztray, B Bohnet, I Boneva, A Boronat, ...
Applications of Graph Transformations with Industrial Relevance: Third …, 2008
512008
Automatic support for traceability in a generic model management framework
A Boronat, JÁ Carsí, I Ramos
European Conference on Model Driven Architecture-Foundations and …, 2005
502005
MOMENT: a formal framework for MOdel manageMENT
A Boronat
PhD in Computer Science, Universitat Politenica de Valencia (UPV), Spain, 2007
492007
BPMN formalization and verification using Maude
N El-Saber, A Boronat
Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and …, 2014
412014
Algebraic semantics of OCL-constrained metamodel specifications
A Boronat, J Meseguer
Objects, Components, Models and Patterns: 47th International Conference …, 2009
412009
Data reverse engineering of legacy databases to object oriented conceptual schemas
J Pérez, I Ramos, V Anaya, JM Cubel, F Dominguez, A Boronat, JA Carsi
Electronic Notes in Theoretical Computer Science 72 (4), 7-19, 2003
412003
Automatic reengineering in MDA using rewriting logic as transformation engine
A Boronat, JÁ Carsí, I Ramos
Ninth European Conference on Software Maintenance and Reengineering, 228-231, 2005
392005
Formal real-time model transformations in MOMENT2
A Boronat, PC Ölveczky
International Conference on Fundamental Approaches to Software Engineering …, 2010
302010
Two Experiences in Software Dynamics.
A Boronat, J Pérez, JÁ Carsí, I Ramos
J. Univers. Comput. Sci. 10 (4), 428-453, 2004
292004
Un Motor de Transformación de Modelos con Soporte para el Lenguaje QVT Relations.
P Queralt, L Hoyos, A Boronat, JÁ Carsí, I Ramos
DSDM, 2006
262006
Expressive and efficient model transformation with an internal DSL of Xtend
A Boronat
Proceedings of the 21th ACM/IEEE International Conference on Model Driven …, 2018
242018
Domain-specific discrete event modelling and simulation using graph transformation
J de Lara, E Guerra, A Boronat, R Heckel, P Torrini
Software & Systems Modeling 13, 209-238, 2014
232014
The system can't perform the operation now. Try again later.
Articles 1–20