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
Formal Techniques for Distributed Systems, 47-62, 2010
982010
An algebraic semantics for MOF
A Boronat, J Meseguer
International Conference on Fundamental Approaches to Software Engineering …, 2008
942008
Rewriting logic semantics and verification of model transformations
A Boronat, R Heckel, J Meseguer
International Conference on Fundamental Approaches to Software Engineering …, 2009
892009
Algebraic specification of a model transformation engine
A Boronat, JÁ Carsí, I Ramos
International Conference on Fundamental Approaches to Software Engineering …, 2006
682006
What is a multi-modeling language?
A Boronat, A Knapp, J Meseguer, M Wirsing
International Workshop on Algebraic Development Techniques, 71-87, 2008
642008
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
552007
An algebraic semantics for MOF
A Boronat, J Meseguer
Formal Aspects of Computing 22 (3), 269-296, 2010
542010
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, ...
International Symposium on Applications of Graph Transformations with …, 2007
512007
MOMENT: a formal framework for MOdel manageMENT
A Boronat
PhD in Computer Science, Universitat Politenica de Valencia (UPV), Spain, 2007
482007
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
482005
Generation of Sierpinski triangles: A case study for graph transformation tools
G Taentzer, E Biermann, D Bisztray, B Bohnet, I Boneva, A Boronat, ...
International Symposium on Applications of Graph Transformations with …, 2007
452007
Algebraic semantics of OCL-constrained metamodel specifications
A Boronat, J Meseguer
International Conference on Objects, Components, Models and Patterns, 96-115, 2009
402009
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
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
332003
Formal real-time model transformations in MOMENT2
A Boronat, PC Ölveczky
International Conference on Fundamental Approaches to Software Engineering …, 2010
322010
BPMN formalization and verification using Maude
N El-Saber, A Boronat
Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and …, 2014
312014
Two Experiences in Software Dynamics.
A Boronat, J Pérez, JÁ Carsí, I Ramos
J. UCS 10 (4), 428-453, 2004
282004
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
242006
On propagation-based concurrent model synchronization
F Orejas, A Boronat, H Ehrig, F Hermann, H Schölzel
Electronic Communications of the EASST 57, 2013
192013
An algebraic baseline for automatic transformations in mda
A Boronat, JÁ Carsí, I Ramos
Electronic Notes in Theoretical Computer Science 127 (3), 31-47, 2005
192005
The system can't perform the operation now. Try again later.
Articles 1–20