| 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 | 114 | 2010 |
| An algebraic semantics for MOF A Boronat, J Meseguer Fundamental Approaches to Software Engineering: 11th International …, 2008 | 96 | 2008 |
| Rewriting logic semantics and verification of model transformations A Boronat, R Heckel, J Meseguer Fundamental Approaches to Software Engineering: 12th International …, 2009 | 87 | 2009 |
| What is a multi-modeling language? A Boronat, A Knapp, J Meseguer, M Wirsing Recent Trends in Algebraic Development Techniques: 19th International …, 2009 | 73 | 2009 |
| Algebraic specification of a model transformation engine A Boronat, JÁ Carsí, I Ramos International Conference on Fundamental Approaches to Software Engineering …, 2006 | 68 | 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 | 64 | 2007 |
| An algebraic semantics for MOF A Boronat, J Meseguer Formal Aspects of Computing 22, 269-296, 2010 | 55 | 2010 |
| 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 |
| 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 | 51 | 2007 |
| 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 | 51 | 2005 |
| BPMN formalization and verification using Maude N El-Saber, A Boronat Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and …, 2014 | 44 | 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 |
| Applications of graph transformations with industrial relevance D Varró, M Asztalos, D Bisztray, A Boronat, DH Dang, R Geiß, J Greenyer, ... Berlin, Heidelberg: Springer-Verlag, 540-565, 2008 | 31 | 2008 |
| 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 | 27 | 2018 |
| 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 |
