| 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 | 115 | 2010 |
| An algebraic semantics for MOF A Boronat, J Meseguer Fundamental Approaches to Software Engineering: 11th International …, 2008 | 99 | 2008 |
| Rewriting logic semantics and verification of model transformations A Boronat, R Heckel, J Meseguer International Conference on Fundamental Approaches to Software Engineering …, 2009 | 83 | 2009 |
| What is a multi-modeling language? A Boronat, A Knapp, J Meseguer, M Wirsing International Workshop on Algebraic Development Techniques, 71-87, 2008 | 76 | 2008 |
| Algebraic specification of a model transformation engine A Boronat, JÁ Carsí, I Ramos International Conference on Fundamental Approaches to Software Engineering …, 2006 | 71 | 2006 |
| 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 | 65 | 2007 |
| 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 | 54 | 2008 |
| An algebraic semantics for MOF A Boronat, J Meseguer Formal Aspects of Computing 22, 269-296, 2010 | 53 | 2010 |
| 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 | 52 | 2005 |
| 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 | 51 | 2008 |
| MOMENT: a formal framework for MOdel manageMENT A Boronat PhD in Computer Science, Universitat Politenica de Valencia (UPV), Spain, 2007 | 49 | 2007 |
| BPMN formalization and verification using Maude N El-Saber, A Boronat Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and …, 2014 | 48 | 2014 |
| Algebraic semantics of OCL-constrained metamodel specifications A Boronat, J Meseguer Objects, Components, Models and Patterns: 47th International Conference …, 2009 | 43 | 2009 |
| 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 | 42 | 2003 |
| 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 | 39 | 2005 |
| Formal real-time model transformations in MOMENT2 A Boronat, PC Ölveczky International Conference on Fundamental Approaches to Software Engineering …, 2010 | 30 | 2010 |
| Two Experiences in Software Dynamics. A Boronat, J Pérez, JÁ Carsí, I Ramos J. Univers. Comput. Sci. 10 (4), 428-453, 2004 | 29 | 2004 |
| 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 | 28 | 2018 |
| 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 | 27 | 2014 |
| 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 | 26 | 2006 |