miso
 
Home    
People    
Publications    
Tools    
Projects    

publications


Journals    
Conferences    
Books    
PhD    
All    



Publication

2017

Automated analysis of integrity constraints in multi-level models. 2017. Esther Guerra, Juan de Lara. Data & Knowledge Engineering (Elsevier), Vol 107(1). pp.:1-23.[PDF] [bibtex]

A-posteriori typing for Model-Driven Engineering: Concepts, Analysis and Applications. 2017. Juan de Lara, Esther Guerra. ACM Transactions on Software Engineering and Methodology, Vol (in press)(1). pp.:1-59.[PDF] [bibtex]

2016

Quick fixing ATL transformations with speculative analysis. 2016. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. Software and Systems Modeling (Springer), Vol in press(1). pp.:1-32.Best papers of MODELS'15.[PDF] [bibtex]

Combining unit and specification-based testing for meta-model validation and verification. 2016. Jesús Juan López-Fernández, Esther Guerra, Juan de Lara. Information Systems (Elsevier), Vol 62(). pp.:104-135.[PDF] [bibtex]

Static analysis of model transformations. 2016. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. IEEE Transactions on Software Engineering (IEEE Computer Society), Vol in press(1). pp.:1-32.[PDF] [bibtex]

Ann: A domain-specific language for the effective design and validation of Java annotations. 2016. Irene Córdoba, Juan de Lara. Computer Languages, Systems and Structures (Elsevier), Vol 45(). pp.:164-190.[PDF] [bibtex]

Pattern-based rewriting through abstraction. 2016. Paolo Bottoni, Esther Guerra, Juan de Lara. Fundamenta Informaticae (IOS Press), Vol 144(2). pp.:109-160.[PDF] [bibtex]

Backwards reasoning for model transformations: method and applications. 2016. Robert Clarisó, Jordi Cabot, Esther Guerra, Juan de Lara. Journal of Systems and Software (Springer), Vol 116(). pp.:113-132.JSS 35th Anniversary.[PDF] [bibtex]

A domain-specific language for model mutation and its application to the automated generation of exercises. 2016. Pablo Gómez-Abajo, Esther Guerra, Juan de Lara. Computer Languages, Systems and Structures (Elsevier), Vol in press(1). pp.:1-41.Best papers of Programming Languages track at SAC'16.[PDF] [bibtex]

2015

Model-driven engineering with domain-specific meta-modelling languages. 2015. Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado. Software and Systems Modeling (Springer), Vol 14(1). pp.:429-459.Best papers of ECMFA'12.[PDF] [bibtex]

Example-driven meta-model development. 2015. Jesús Juan López-Fernández, Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. Software and Systems Modeling (Springer), Vol 14(4). pp.:1323-1347.Best papers of MODELS'12.[PDF] [bibtex]

Specification-driven model transformation testing. 2015. Esther Guerra, Mathias Soeken. Software and Systems Modeling (Springer), Vol 14(2). pp.:623-644.Best papers of ICMT'12.[PDF] [bibtex]

2014

When and how to use multi-level modelling. 2014. Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado. ACM Transactions on Software Engineering and Methodology, Vol 24(2). pp.:1-46.Selected by Computing Reviews (ACM) as Notable Article in Computing 2014.[PDF] [bibtex]

A component model for model transformations. 2014. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. IEEE Transactions on Software Engineering, Vol 40(11). pp.:1042-1060.[PDF] [bibtex]

Extending deep meta-modelling for practical model-driven engineering. 2014. Juan de Lara, Esther Guerra, Ruth Cobos, Jaime Moreno Llorena. The Computer Journal, Vol 57(1). pp.:36-58.[PDF] [bibtex]

Colouring: Execution, debug and analysis of QVT-Relations transformations through coloured Petri nets. 2014. Esther Guerra, Juan de Lara. Software and Systems Modeling (Springer), Vol 13(4). pp.:1447-1472.[PDF] [bibtex]

Towards the flexible reuse of model transformations: A formal approach based on graph transformation. 2014. Juan de Lara, Esther Guerra. Journal of Logical and Algebraic Methods in Programming (Elsevier), Vol 83(5-6). pp.:427-458.[PDF] [bibtex]

A formalisation of deep metamodelling. 2014. Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle, Uwe Wolter. Formal Aspects of Computing (Springer), Vol 26(6). pp.:1115-1152.[PDF] [bibtex]

Domain-specific discrete event modelling and simulation using graph transformation. 2014. Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini. Software and Systems Modeling (Springer), Vol 13(1). pp.:209-238.Best papers of ICGT'10.[PDF] [bibtex]

2013

Inter-modelling with patterns. 2013. Esther Guerra, Juan de Lara, Fernando Orejas. Software and Systems Modeling (Springer), Vol 12(1). pp.:145-174.Best papers of ICMT'09.[PDF] [bibtex]

Genericity for model management operations. 2013. Louis Rose, Esther Guerra, Juan de Lara, Anne Etien, Dimitris Kolovos, Richard Paige. Software and Systems Modeling (Springer), Vol 12(1). pp.:201-219.[PDF] [bibtex]

Engineering model transformations with transML. 2013. Esther Guerra, Juan de Lara, Dimitris Kolovos, Richard Paige, Osmar Marchi dos Santos. Software and Systems Modeling (Springer), Vol 12(3). pp.:555-577.Best papers of MODELS'10.[PDF] [bibtex]

From types to type requirements: Genericity for model-driven engineering. 2013. Juan de Lara, Esther Guerra. Software and Systems Modeling (Springer), Vol 12(3). pp.:453-474.Best papers of MODELS'10.[PDF] [bibtex]

Automated verification of model transformations based on visual contracts. 2013. Esther Guerra, Juan de Lara, Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger. Automated Software Engineering Journal (Springer), Vol 20(1). pp.:5-46.[PDF] [bibtex]

Reusable abstractions for modelling languages. 2013. Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado. Information Systems (Elsevier), Vol 38(8). pp.:1128-1149.[PDF] [bibtex]

Modeling collaboration protocols for collaborative modeling tools: Experiences and applications. 2013. Jesús Gallardo, Crescencio Bravo, Miguel Ángel Redondo, Juan de Lara. Journal of Visual Languages and Computing (Elsevier), Vol 24(1). pp.:10-23. [bibtex]

2012

Flexible model-to-model transformation templates: An application to ATL. 2012. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. Journal of Object Technology, Vol 11(2). Best papers of ICMT'11.[PDF] [bibtex]

An algebraic semantics for QVT-Relations check-only transformations. 2012. Esther Guerra, Juan de Lara. Fundamenta Informaticae, Vol 114(1). [PDF] [bibtex]

2010

A language-independent and formal approach to pattern-based modelling with support for composition and analysis. 2010. Paolo Bottoni, Esther Guerra, Juan de Lara. Information & Software Technology (Elsevier), Vol 52(8). pp.:821-844.[PDF] [bibtex]

Verification and validation of declarative model-to-model transformations through invariants. 2010. Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara. Journal of Systems and Software (Elsevier), Vol 83(2). pp.:283-302.[PDF] [bibtex]

A UML/OCL framework for the analysis of graph transformation rules. 2010. Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara. Software and Systems Modeling (Springer), Vol 9(3). pp.:335-357.Best papers of ICMT'08.[PDF] [bibtex]

Matrix graph grammars with application conditions. 2010. Pedro Pablo Pérez Velasco, Juan de Lara. Fundamenta Informaticae (IOS Press), Vol 99(1). pp.:29-62.[PDF] [bibtex]

Automating the transformation-based analysis of visual languages. 2010. Juan de Lara, Hans Vangheluwe. Formal Aspects of Computing (Springer), Vol 22(3-4). pp.:297-326.Best papers of FASE'08.[PDF] [bibtex]

Publication

2017

Reusing Model Transformations through Typing Requirements Models. 2017. Juan de Lara, Juri di Rocco, Davide di Ruscio, Esther Guerra, Ludovico Iovino, Alfonso Pierantonio, Jesús Sánchez Cuadrado. FASE'2017, (Uppsala) LNCS (Springer). pp.:1-17. [PDF] [bibtex]

2016

Engineering applications over social and open data with domain-specific languages. 2016. Ángel Mora-Segura, Juan de Lara. MEDI'2016, (Almeria) (LNCS). pp.:1-14. [PDF] [bibtex]

Using ATL transformation services in the MDEForge collaborative modeling platform. 2016. Juri di Rocco, Davide di Ruscio, Alfonso Pierantonio, Jesús Sánchez Cuadrado, Juan de Lara, Esther Guerra. ICMT'2016, (Vienna) LNCS (Springer). pp.:70-78. [PDF] [bibtex]

An extensible meta-modelling assistant. 2016. Ángel Mora-Segura, Ana Pescador, Juan de Lara, Manuel Wimmer. EDOC'2016, (Vienna) (IEEE). pp.:1-8. [PDF] [bibtex]

Towards enabling mobile domain-specific modelling. 2016. Diego Vaquero-Melchor, Antonio Garmendia Jorge, Esther Guerra, Juan de Lara. ICSOFT'2016, (Lisbon) pp.:1-6. [PDF] [bibtex]

Efficient model partitioning for distributed model transformations. 2016. Amine Benelallam, Massimo Tisi, Jesús Sánchez Cuadrado, Juan de Lara, Jordi Cabot. SLE'2016, (Amsterdam) (ACM). pp.:226-238. [PDF] [bibtex]

DSL-maps: From requirements to design of domain-specific languages. 2016. Ana Pescador, Juan de Lara. ASE'2016, (Singapore) (ACM). pp.:1-6. [PDF] [bibtex]

Example-based generation of graphical modelling environments. 2016. Jesús Juan López-Fernández, Antonio Garmendia Jorge, Esther Guerra, Juan de Lara. ECMFA'2016, (Vienna) LNCS (Springer). pp.:101-117. [PDF] [bibtex]

Wodel: A domain-specific language for model mutation. 2016. Pablo Gómez-Abajo, Esther Guerra, Juan de Lara. SAC'2016, (Pisa) (ACM). pp.:1-6. [PDF] [bibtex]

2015

MONDO: Scalable modelling and model management on the cloud. 2015. Dimitris Kolovos, Louis Rose, Richard Paige, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara, Istvan Rath, Daniel Varró, Gerson Sunye, Massimo Tisi. Projects Showcase (satellite event of STAF'2015), (L'Aquila) (CEUR). pp.:44-53. [PDF] [bibtex]

Quick fixing ATL model transformations. 2015. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. MODELS'2015, (Ottawa) (IEEE Computer Society). pp.:1-10. Springer best foundation paper award.[PDF] [bibtex]

A modelling language for the effective design of Java annotations. 2015. Irene Córdoba, Juan de Lara. SAC'2015, (Salamanca) (ACM). pp.:2087-2092. [PDF] [bibtex]

Towards the generation of graphical modelling environments aided by patterns. 2015. Antonio Garmendia Jorge, Ana Pescador, Esther Guerra, Juan de Lara. SLATE'2015, (Madrid) CCIS (Springer). pp.:1-8. [PDF] [bibtex]

Fragmenta: A theory of fragmentation for MDE. 2015. Nuno Amalio, Juan de Lara, Esther Guerra. MODELS'2015, (Ottawa) (IEEE Computer Society). pp.:1-10. [PDF] [bibtex]

Pattern-based development of domain-specific modelling languages. 2015. Ana Pescador, Antonio Garmendia Jorge, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara. MODELS'2015, (Ottawa) (IEEE Computer Society). pp.:1-10. [PDF] [bibtex]

A-posteriori typing for model-driven engineering. 2015. Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado. MODELS'2015, (Ottawa) (IEEE Computer Society). pp.:1-10. [PDF] [bibtex]

Reusable model transformation components with bentō. 2015. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ICMT'2015, (L'Aquila) LNCS (Springer). pp.:59-65. Best Tool Paper.[PDF] [bibtex]

Example-based Validation of domain-specific visual languages. 2015. Jesús Juan López-Fernández, Esther Guerra, Juan de Lara. SLE'2015, (Pittsburg) (ACM). pp.:1-12. [PDF] [bibtex]

Building MDE cloud services with DISTIL. 2015. Carlos Carrascal Manzanares, Jesús Sánchez Cuadrado, Juan de Lara. CloudMDE'2015, (Ottawa) (CEUR). pp.:1-6. [PDF] [bibtex]

Scalable model exploration through abstraction and fragmentation strategies. 2015. Antonio Garmendia Jorge, Antonio Jiménez Pastor, Juan de Lara. BigMDE'2015, (L'Aquila) (CEUR). pp.:21-30. [PDF] [bibtex]

A comparison of two-level and multi-level modelling for cloud-based applications. 2015. Alessandro Rossini, Juan de Lara, Esther Guerra, Nikolay Nikolov. ECMFA'2015, (L'Aquila) LNCS (Springer). pp.:18-32. [PDF] [bibtex]

2014

Twiagle: a Tool for engineering applications based on instant messaging over Twitter. 2014. Ángel Mora-Segura, Juan de Lara, Jesús Sánchez Cuadrado. ICWE'2014, (Toulouse) LNCS (Springer). pp.:1-4. [PDF] [bibtex]

Meta-model validation and verification with MetaBest. 2014. Jesús Juan López-Fernández, Esther Guerra, Juan de Lara. ASE'2014, (Vasteras) (ACM). pp.:1-4. [PDF] [bibtex]

ODaaS: Towards the model-driven engineering of open data applications as data services. 2014. Ángel Mora-Segura, Juan de Lara, Jesús Sánchez Cuadrado. 5th International Workshop on Models and Model-driven Methods for Service Engineering (3M4SE'14@EDOC), (Ulm) (IEEE Computer Society). pp.:1-5. [PDF] [bibtex]

Towards automating the analysis of integrity constraints in multi-level models. 2014. Esther Guerra, Juan de Lara. MULTI'2014, (Valencia) (CEUR). pp.:1-10. [PDF] [bibtex]

Reverse engineering of model transformations for reusability. 2014. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ICMT'2014, (York) LNCS (Springer). pp.:1-15. [PDF] [bibtex]

Uncovering errors in ATL model transformations using static analysis and constraint solving. 2014. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ISSRE'2014, (Naples) (IEEE Computer Society). pp.:1-11. [PDF] [bibtex]

Towards the systematic construction of domain-specific transformation languages. 2014. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ECMFA'2014, (York) LNCS (Springer). pp.:1-15. [PDF] [bibtex]

Assessing the quality of meta-models. 2014. Jesús Juan López-Fernández, Esther Guerra, Juan de Lara. MODEVVA'2014, (Valencia) (CEUR). pp.:1-10. [PDF] [bibtex]

Rapid development of interactive applications based on online social networks. 2014. Ángel Mora-Segura, Juan de Lara, Jesús Sánchez Cuadrado. WISE'2014, (Thessaloniki) LNCS (Springer). pp.:1-16. [PDF] [bibtex]

EMF Splitter: A structured approach to EMF modularity. 2014. Antonio Garmendia Jorge, Esther Guerra, Dimitris Kolovos, Juan de Lara. XM'2014, (Valencia) (CEUR). pp.:1-10. [PDF] [bibtex]

2013

Umbra designer: Graphical modelling for telephony services. 2013. Nicolás Buezas, Esther Guerra, Juan de Lara, Javier Martín, Miguel Monforte, Fiorella Mori, Eva Ogallar, Oscar Pérez, Jesús Sánchez Cuadrado. ECMFA'13: 9th European Conference on Modelling Foundations and Applications, (Montpellier) LNCS 7949 (Springer). pp.:179-191. [PDF] [bibtex]

Checking model transformation refinement. 2013. Fabian Büttner, Marina Egea, Esther Guerra, Juan de Lara. ICMT'13: 6th International Conference on Model Transformation, (Budapest) LNCS 7909 (Springer). pp.:158-173. [PDF] [bibtex]

Integrating open services for building educational environments. 2013. Iván Claros, Ruth Cobos, Esther Guerra, Juan de Lara, Ana Pescador, Jesús Sánchez Cuadrado. EDUCON'13: 4th IEEE Global Engineering Education Conference, (Berlin) (IEEE Press). [bibtex]

A research roadmap towards achieving scalability in model driven engineering. 2013. Dimitris Kolovos, Louis Rose, Nicholas Matragkas, Richard Paige, Juan de Lara, Esther Guerra, Daniel Varró, Istvan Rath, Massimo Tisi, Jesús Sánchez Cuadrado, Jordi Cabot. Big MDE'13: International Workshop on Scalability in Model-Driven Engineering (satellite event of STAF conferences), (Budapest) (ACM).[PDF] [bibtex]

Engaging end-users in the collaborative development of domain-specific languages. 2013. Javier Luis Cánovas Izquierdo, Jordi Cabot, Jesús Juan López-Fernández, Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. CDVE'13: 10th International Conference on Cooperative Design, Visualization and Engineering, (Mallorca) LNCS (Springer). pp.:1-15. [PDF] [bibtex]

Streaming model transformations: scenarios, challenges and initial solutions. 2013. Jesús Sánchez Cuadrado, Juan de Lara. ICMT'13: 6th International Conference on Model Transformation, (Budapest) LNCS 7909 (Springer). pp.:1-16. [PDF] [bibtex]

2012

Abstracting modelling languages: A reutilization approach. 2012. Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado. CAiSE'12: 24th International Conference on Advanced Information Systems Engineering, (Gdansk) LNCS 7328 (Springer). pp.:127-143. [PDF] [bibtex]

The program is the model: Enabling transformations@run.time. 2012. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. SLE'12: 5th International Conference on Software Language Engineering, (Dresden) LNCS 7745 (Springer). pp.:104-123. [PDF] [bibtex]

A graph transformation-based semantics for deep metamodelling. 2012. Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle, Yngve Lamo. AGTIVE'11: 4th International Symposium on Applications of Graph Transformation with Industrial Relevance, (Budapest) LNCS 7233 (Springer). pp.:19-34. [PDF] [bibtex]

Bottom-up meta-modelling: An interactive approach. 2012. Jesús Sánchez Cuadrado, Juan de Lara, Esther Guerra. MODELS'12: ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems, (Innsbruck) LNCS 7590 (Springer). pp.:3-19. Springer best paper award.[PDF] [bibtex]

Reusable graph transformation templates. 2012. Juan de Lara, Esther Guerra. AGTIVE'11: 4th International Symposium on Applications of Graph Transformation with Industrial Relevance, (Budapest) LNCS 7233 (Springer). pp.:35-50. [PDF] [bibtex]

Specification-driven test generation for model transformations. 2012. Esther Guerra. ICMT'12: 5th International Conference on Model Transformation, (Prague) LNCS 7307 (Springer). pp.:40-55. [PDF] [bibtex]

Inter-modelling with graph constraints: Foundations and applications. 2012. Juan de Lara, Esther Guerra. Invited talk at GTVMT'12: 11th International Workshop on Graph Transformation and Visual Modeling Techniques, (Tallin) ECEASST pp.:1-16. [PDF] [bibtex]

Composing textual modelling languages in practice. 2012. Bart Meyers, Antonio Cicchetti, Esther Guerra, Juan de Lara. MPM'12: 6th International Workshop on Multi-Paradigm Modeling (satellite event of ACM/IEEE MODELS'12), (Innsbruck) [PDF] [bibtex]

Towards a family of model transformation languages. 2012. Jesús Sánchez Cuadrado. ICMT'12: 5th International Conference on Model Transformation, (Prague) LNCS 7307 (Springer). pp.:176-191. [PDF] [bibtex]

Domain-specific textual meta-modelling languages for model-driven engineering. 2012. Juan de Lara, Esther Guerra. ECMFA'12: 8th European Conference on Modelling Foundations and Applications, (Lyngby) LNCS 7349 (Springer). pp.:259-274. [PDF] [bibtex]

EMF on rails. 2012. Rosa López Landa, Julieta Nóguez, Esther Guerra, Juan de Lara. ICSOFT 2012: 7th International Conference on Software Paradigm Trends, (Rome) (SciTePress). pp.:273-278. [PDF] [bibtex]

2011

Towards a functional characterization of collaborative systems. 2011. Jaime Moreno Llorena, Iván Claros, Rafael Martín, Ruth Cobos, Juan de Lara, Esther Guerra. CDVE'11: 8th International Conference on Cooperative Design, Visualization and Engineering, (Hong Kong) LNCS 6874 (Springer). pp.:182-185. [PDF] [bibtex]

REUSES: Questionnaire-driven design for the automatic generation of web-based collaborative applications. 2011. Ruth Cobos, Rafael Martín, Jaime Moreno Llorena, Esther Guerra, Juan de Lara. CollaborateCom 2011: 7th International Conference on Collaborative Computing: Networking, Applications and Worksharing, (Orlando) (IEEE CS Press).[PDF] [bibtex]

Generic model transformations: Write once, reuse everywhere. 2011. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ICMT'11: 4th International Conference on Model Transformation, (Zurich) LNCS 6707 (Springer). pp.:62-77. [PDF] [bibtex]

Reusing model transformations across heterogeneous metamodels. 2011. Manuel Wimmer, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger, Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. MPM'11: 5th International Workshop on Multi-Paradigm Modeling (satellite event of ACM/IEEE MODELS'11), (Wellington) Vol. 50 of Electronic Communications of the EASST [PDF] [bibtex]

2010

Deep meta-modelling with MetaDepth. 2010. Juan de Lara, Esther Guerra. TOOLS Europe 2010: 48th International Conference on Objects, Models, Components, Patterns, (Málaga) LNCS 6141 (Springer). pp.:1-20. [PDF] [bibtex]

Formalising design and interaction patterns and their relationships. 2010. Paolo Bottoni, Esther Guerra, Juan de Lara. PEICS'10: 1st International Workshop on Pattern-Driven Engineering of Interactive Computing Systems, (Berlin) (ACM). pp.:32-35. [bibtex]

Generic meta-modelling with concepts, templates and mixin layers. 2010. Juan de Lara, Esther Guerra. MODELS'10: ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems, (Oslo) LNCS 6394 (Springer). pp.:16-30. [PDF] [bibtex]

Towards a formal notion of interaction pattern. 2010. Paolo Bottoni, Esther Guerra, Juan de Lara. VL/HCC'10: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, (Madrid) (IEEE CS Press). pp.:235-239. [PDF] [bibtex]

Graph transformation for domain-specific discrete event time simulation. 2010. Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini. ICGT'10: 5th International Conference on Graph Transformation, (Enschede) LNCS 6372 (Springer). pp.:266-281. EASST award for the Best Software Science Paper.[PDF] [bibtex]

Lightweight executability analysis of graph transformation rules. 2010. Elena Planas, Jordi Cabot, Cristina Gómez, Esther Guerra, Juan de Lara. VL/HCC'10: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, (Madrid) (IEEE CS Press). pp.:127-130. [PDF] [bibtex]

Inter-modelling: From theory to practice. 2010. Esther Guerra, Juan de Lara, Dimitris Kolovos, Richard Paige. MODELS'10: ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems, (Oslo) LNCS 6394 (Springer). pp.:376-391. [PDF] [bibtex]

Synthesis of OCL pre-conditions for graph transformation rules. 2010. Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara. ICMT'10: 3rd International Conference on Model Transformation, (Málaga) LNCS 6142 (Springer). pp.:45-60. [PDF] [bibtex]

A visual specification language for model-to-model transformations. 2010. Esther Guerra, Juan de Lara, Dimitris Kolovos, Richard Paige. VL/HCC'10: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, (Madrid) (IEEE CS Press). pp.:119-126. [PDF] [bibtex]

transML: A family of languages to model model transformations. 2010. Esther Guerra, Juan de Lara, Dimitris Kolovos, Richard Paige, Osmar Marchi dos Santos. MODELS'10: ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems, (Oslo) LNCS 6394 (Springer). pp.:106-120. ACM/SIGSOFT distinguished paper award.[PDF] [bibtex]

Publication

2017

Domain-Specific Modelling using Mobile Devices. 2017. Diego Vaquero-Melchor, Antonio Garmendia Jorge, Esther Guerra, Juan de Lara. Chapter of the book Extended and Selected papers of ICSOFT'16 (CCIS), (Springer). pp.:1-18.[PDF] [bibtex]

2011

Formalising interaction patterns. 2011. Paolo Bottoni, Esther Guerra, Juan de Lara. Chapter of the book Model-driven Development of Advanced User Interfaces, Studies in Computational Intelligence 340, (Springer). pp.:257-276. [bibtex]

2010

Controlling reuse in pattern-based model-to-model transformations. 2010. Esther Guerra, Juan de Lara, Fernando Orejas. Chapter of the book Graph Transformations and Model Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, LNCS 7565, (Springer). pp.:175-201. [bibtex]

Publication

2007

Especificación, análisis y generación de entornos para lenguajes visuales de dominio específico. 2007. Esther Guerra. Computer Science Department, Universidad Autónoma de Madrid. [bibtex]

Publication

2017

Automated analysis of integrity constraints in multi-level models. 2017. Esther Guerra, Juan de Lara. Data & Knowledge Engineering (Elsevier), Vol 107(1). pp.:1-23.[PDF] [bibtex]

Reusing Model Transformations through Typing Requirements Models. 2017. Juan de Lara, Juri di Rocco, Davide di Ruscio, Esther Guerra, Ludovico Iovino, Alfonso Pierantonio, Jesús Sánchez Cuadrado. FASE'2017, (Uppsala) LNCS (Springer). pp.:1-17. [PDF] [bibtex]

A-posteriori typing for Model-Driven Engineering: Concepts, Analysis and Applications. 2017. Juan de Lara, Esther Guerra. ACM Transactions on Software Engineering and Methodology, Vol (in press)(1). pp.:1-59.[PDF] [bibtex]

Domain-Specific Modelling using Mobile Devices. 2017. Diego Vaquero-Melchor, Antonio Garmendia Jorge, Esther Guerra, Juan de Lara. Chapter of the book Extended and Selected papers of ICSOFT'16 (CCIS), (Springer). pp.:1-18.[PDF] [bibtex]

2016

Engineering applications over social and open data with domain-specific languages. 2016. Ángel Mora-Segura, Juan de Lara. MEDI'2016, (Almeria) (LNCS). pp.:1-14. [PDF] [bibtex]

Quick fixing ATL transformations with speculative analysis. 2016. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. Software and Systems Modeling (Springer), Vol in press(1). pp.:1-32.Best papers of MODELS'15.[PDF] [bibtex]

Using ATL transformation services in the MDEForge collaborative modeling platform. 2016. Juri di Rocco, Davide di Ruscio, Alfonso Pierantonio, Jesús Sánchez Cuadrado, Juan de Lara, Esther Guerra. ICMT'2016, (Vienna) LNCS (Springer). pp.:70-78. [PDF] [bibtex]

Combining unit and specification-based testing for meta-model validation and verification. 2016. Jesús Juan López-Fernández, Esther Guerra, Juan de Lara. Information Systems (Elsevier), Vol 62(). pp.:104-135.[PDF] [bibtex]

Static analysis of model transformations. 2016. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. IEEE Transactions on Software Engineering (IEEE Computer Society), Vol in press(1). pp.:1-32.[PDF] [bibtex]

An extensible meta-modelling assistant. 2016. Ángel Mora-Segura, Ana Pescador, Juan de Lara, Manuel Wimmer. EDOC'2016, (Vienna) (IEEE). pp.:1-8. [PDF] [bibtex]

Ann: A domain-specific language for the effective design and validation of Java annotations. 2016. Irene Córdoba, Juan de Lara. Computer Languages, Systems and Structures (Elsevier), Vol 45(). pp.:164-190.[PDF] [bibtex]

Towards enabling mobile domain-specific modelling. 2016. Diego Vaquero-Melchor, Antonio Garmendia Jorge, Esther Guerra, Juan de Lara. ICSOFT'2016, (Lisbon) pp.:1-6. [PDF] [bibtex]

Efficient model partitioning for distributed model transformations. 2016. Amine Benelallam, Massimo Tisi, Jesús Sánchez Cuadrado, Juan de Lara, Jordi Cabot. SLE'2016, (Amsterdam) (ACM). pp.:226-238. [PDF] [bibtex]

DSL-maps: From requirements to design of domain-specific languages. 2016. Ana Pescador, Juan de Lara. ASE'2016, (Singapore) (ACM). pp.:1-6. [PDF] [bibtex]

Example-based generation of graphical modelling environments. 2016. Jesús Juan López-Fernández, Antonio Garmendia Jorge, Esther Guerra, Juan de Lara. ECMFA'2016, (Vienna) LNCS (Springer). pp.:101-117. [PDF] [bibtex]

Pattern-based rewriting through abstraction. 2016. Paolo Bottoni, Esther Guerra, Juan de Lara. Fundamenta Informaticae (IOS Press), Vol 144(2). pp.:109-160.[PDF] [bibtex]

Wodel: A domain-specific language for model mutation. 2016. Pablo Gómez-Abajo, Esther Guerra, Juan de Lara. SAC'2016, (Pisa) (ACM). pp.:1-6. [PDF] [bibtex]

Backwards reasoning for model transformations: method and applications. 2016. Robert Clarisó, Jordi Cabot, Esther Guerra, Juan de Lara. Journal of Systems and Software (Springer), Vol 116(). pp.:113-132.JSS 35th Anniversary.[PDF] [bibtex]

A domain-specific language for model mutation and its application to the automated generation of exercises. 2016. Pablo Gómez-Abajo, Esther Guerra, Juan de Lara. Computer Languages, Systems and Structures (Elsevier), Vol in press(1). pp.:1-41.Best papers of Programming Languages track at SAC'16.[PDF] [bibtex]

2015

Model-driven engineering with domain-specific meta-modelling languages. 2015. Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado. Software and Systems Modeling (Springer), Vol 14(1). pp.:429-459.Best papers of ECMFA'12.[PDF] [bibtex]

MONDO: Scalable modelling and model management on the cloud. 2015. Dimitris Kolovos, Louis Rose, Richard Paige, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara, Istvan Rath, Daniel Varró, Gerson Sunye, Massimo Tisi. Projects Showcase (satellite event of STAF'2015), (L'Aquila) (CEUR). pp.:44-53. [PDF] [bibtex]

Quick fixing ATL model transformations. 2015. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. MODELS'2015, (Ottawa) (IEEE Computer Society). pp.:1-10. Springer best foundation paper award.[PDF] [bibtex]

A modelling language for the effective design of Java annotations. 2015. Irene Córdoba, Juan de Lara. SAC'2015, (Salamanca) (ACM). pp.:2087-2092. [PDF] [bibtex]

Example-driven meta-model development. 2015. Jesús Juan López-Fernández, Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. Software and Systems Modeling (Springer), Vol 14(4). pp.:1323-1347.Best papers of MODELS'12.[PDF] [bibtex]

Specification-driven model transformation testing. 2015. Esther Guerra, Mathias Soeken. Software and Systems Modeling (Springer), Vol 14(2). pp.:623-644.Best papers of ICMT'12.[PDF] [bibtex]

Towards the generation of graphical modelling environments aided by patterns. 2015. Antonio Garmendia Jorge, Ana Pescador, Esther Guerra, Juan de Lara. SLATE'2015, (Madrid) CCIS (Springer). pp.:1-8. [PDF] [bibtex]

Fragmenta: A theory of fragmentation for MDE. 2015. Nuno Amalio, Juan de Lara, Esther Guerra. MODELS'2015, (Ottawa) (IEEE Computer Society). pp.:1-10. [PDF] [bibtex]

Pattern-based development of domain-specific modelling languages. 2015. Ana Pescador, Antonio Garmendia Jorge, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara. MODELS'2015, (Ottawa) (IEEE Computer Society). pp.:1-10. [PDF] [bibtex]

A-posteriori typing for model-driven engineering. 2015. Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado. MODELS'2015, (Ottawa) (IEEE Computer Society). pp.:1-10. [PDF] [bibtex]

Reusable model transformation components with bentō. 2015. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ICMT'2015, (L'Aquila) LNCS (Springer). pp.:59-65. Best Tool Paper.[PDF] [bibtex]

Example-based Validation of domain-specific visual languages. 2015. Jesús Juan López-Fernández, Esther Guerra, Juan de Lara. SLE'2015, (Pittsburg) (ACM). pp.:1-12. [PDF] [bibtex]

Building MDE cloud services with DISTIL. 2015. Carlos Carrascal Manzanares, Jesús Sánchez Cuadrado, Juan de Lara. CloudMDE'2015, (Ottawa) (CEUR). pp.:1-6. [PDF] [bibtex]

Scalable model exploration through abstraction and fragmentation strategies. 2015. Antonio Garmendia Jorge, Antonio Jiménez Pastor, Juan de Lara. BigMDE'2015, (L'Aquila) (CEUR). pp.:21-30. [PDF] [bibtex]

A comparison of two-level and multi-level modelling for cloud-based applications. 2015. Alessandro Rossini, Juan de Lara, Esther Guerra, Nikolay Nikolov. ECMFA'2015, (L'Aquila) LNCS (Springer). pp.:18-32. [PDF] [bibtex]

2014

Twiagle: a Tool for engineering applications based on instant messaging over Twitter. 2014. Ángel Mora-Segura, Juan de Lara, Jesús Sánchez Cuadrado. ICWE'2014, (Toulouse) LNCS (Springer). pp.:1-4. [PDF] [bibtex]

Meta-model validation and verification with MetaBest. 2014. Jesús Juan López-Fernández, Esther Guerra, Juan de Lara. ASE'2014, (Vasteras) (ACM). pp.:1-4. [PDF] [bibtex]

ODaaS: Towards the model-driven engineering of open data applications as data services. 2014. Ángel Mora-Segura, Juan de Lara, Jesús Sánchez Cuadrado. 5th International Workshop on Models and Model-driven Methods for Service Engineering (3M4SE'14@EDOC), (Ulm) (IEEE Computer Society). pp.:1-5. [PDF] [bibtex]

Towards automating the analysis of integrity constraints in multi-level models. 2014. Esther Guerra, Juan de Lara. MULTI'2014, (Valencia) (CEUR). pp.:1-10. [PDF] [bibtex]

When and how to use multi-level modelling. 2014. Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado. ACM Transactions on Software Engineering and Methodology, Vol 24(2). pp.:1-46.Selected by Computing Reviews (ACM) as Notable Article in Computing 2014.[PDF] [bibtex]

A component model for model transformations. 2014. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. IEEE Transactions on Software Engineering, Vol 40(11). pp.:1042-1060.[PDF] [bibtex]

Reverse engineering of model transformations for reusability. 2014. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ICMT'2014, (York) LNCS (Springer). pp.:1-15. [PDF] [bibtex]

Uncovering errors in ATL model transformations using static analysis and constraint solving. 2014. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ISSRE'2014, (Naples) (IEEE Computer Society). pp.:1-11. [PDF] [bibtex]

Extending deep meta-modelling for practical model-driven engineering. 2014. Juan de Lara, Esther Guerra, Ruth Cobos, Jaime Moreno Llorena. The Computer Journal, Vol 57(1). pp.:36-58.[PDF] [bibtex]

Colouring: Execution, debug and analysis of QVT-Relations transformations through coloured Petri nets. 2014. Esther Guerra, Juan de Lara. Software and Systems Modeling (Springer), Vol 13(4). pp.:1447-1472.[PDF] [bibtex]

Towards the systematic construction of domain-specific transformation languages. 2014. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ECMFA'2014, (York) LNCS (Springer). pp.:1-15. [PDF] [bibtex]

Assessing the quality of meta-models. 2014. Jesús Juan López-Fernández, Esther Guerra, Juan de Lara. MODEVVA'2014, (Valencia) (CEUR). pp.:1-10. [PDF] [bibtex]

Towards the flexible reuse of model transformations: A formal approach based on graph transformation. 2014. Juan de Lara, Esther Guerra. Journal of Logical and Algebraic Methods in Programming (Elsevier), Vol 83(5-6). pp.:427-458.[PDF] [bibtex]

A formalisation of deep metamodelling. 2014. Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle, Uwe Wolter. Formal Aspects of Computing (Springer), Vol 26(6). pp.:1115-1152.[PDF] [bibtex]

Rapid development of interactive applications based on online social networks. 2014. Ángel Mora-Segura, Juan de Lara, Jesús Sánchez Cuadrado. WISE'2014, (Thessaloniki) LNCS (Springer). pp.:1-16. [PDF] [bibtex]

Domain-specific discrete event modelling and simulation using graph transformation. 2014. Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini. Software and Systems Modeling (Springer), Vol 13(1). pp.:209-238.Best papers of ICGT'10.[PDF] [bibtex]

EMF Splitter: A structured approach to EMF modularity. 2014. Antonio Garmendia Jorge, Esther Guerra, Dimitris Kolovos, Juan de Lara. XM'2014, (Valencia) (CEUR). pp.:1-10. [PDF] [bibtex]

2013

Umbra designer: Graphical modelling for telephony services. 2013. Nicolás Buezas, Esther Guerra, Juan de Lara, Javier Martín, Miguel Monforte, Fiorella Mori, Eva Ogallar, Oscar Pérez, Jesús Sánchez Cuadrado. ECMFA'13: 9th European Conference on Modelling Foundations and Applications, (Montpellier) LNCS 7949 (Springer). pp.:179-191. [PDF] [bibtex]

Inter-modelling with patterns. 2013. Esther Guerra, Juan de Lara, Fernando Orejas. Software and Systems Modeling (Springer), Vol 12(1). pp.:145-174.Best papers of ICMT'09.[PDF] [bibtex]

Genericity for model management operations. 2013. Louis Rose, Esther Guerra, Juan de Lara, Anne Etien, Dimitris Kolovos, Richard Paige. Software and Systems Modeling (Springer), Vol 12(1). pp.:201-219.[PDF] [bibtex]

Checking model transformation refinement. 2013. Fabian Büttner, Marina Egea, Esther Guerra, Juan de Lara. ICMT'13: 6th International Conference on Model Transformation, (Budapest) LNCS 7909 (Springer). pp.:158-173. [PDF] [bibtex]

Integrating open services for building educational environments. 2013. Iván Claros, Ruth Cobos, Esther Guerra, Juan de Lara, Ana Pescador, Jesús Sánchez Cuadrado. EDUCON'13: 4th IEEE Global Engineering Education Conference, (Berlin) (IEEE Press). [bibtex]

Engineering model transformations with transML. 2013. Esther Guerra, Juan de Lara, Dimitris Kolovos, Richard Paige, Osmar Marchi dos Santos. Software and Systems Modeling (Springer), Vol 12(3). pp.:555-577.Best papers of MODELS'10.[PDF] [bibtex]

From types to type requirements: Genericity for model-driven engineering. 2013. Juan de Lara, Esther Guerra. Software and Systems Modeling (Springer), Vol 12(3). pp.:453-474.Best papers of MODELS'10.[PDF] [bibtex]

Automated verification of model transformations based on visual contracts. 2013. Esther Guerra, Juan de Lara, Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger. Automated Software Engineering Journal (Springer), Vol 20(1). pp.:5-46.[PDF] [bibtex]

Reusable abstractions for modelling languages. 2013. Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado. Information Systems (Elsevier), Vol 38(8). pp.:1128-1149.[PDF] [bibtex]

A research roadmap towards achieving scalability in model driven engineering. 2013. Dimitris Kolovos, Louis Rose, Nicholas Matragkas, Richard Paige, Juan de Lara, Esther Guerra, Daniel Varró, Istvan Rath, Massimo Tisi, Jesús Sánchez Cuadrado, Jordi Cabot. Big MDE'13: International Workshop on Scalability in Model-Driven Engineering (satellite event of STAF conferences), (Budapest) (ACM).[PDF] [bibtex]

Engaging end-users in the collaborative development of domain-specific languages. 2013. Javier Luis Cánovas Izquierdo, Jordi Cabot, Jesús Juan López-Fernández, Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. CDVE'13: 10th International Conference on Cooperative Design, Visualization and Engineering, (Mallorca) LNCS (Springer). pp.:1-15. [PDF] [bibtex]

Modeling collaboration protocols for collaborative modeling tools: Experiences and applications. 2013. Jesús Gallardo, Crescencio Bravo, Miguel Ángel Redondo, Juan de Lara. Journal of Visual Languages and Computing (Elsevier), Vol 24(1). pp.:10-23. [bibtex]

Streaming model transformations: scenarios, challenges and initial solutions. 2013. Jesús Sánchez Cuadrado, Juan de Lara. ICMT'13: 6th International Conference on Model Transformation, (Budapest) LNCS 7909 (Springer). pp.:1-16. [PDF] [bibtex]

2012

Flexible model-to-model transformation templates: An application to ATL. 2012. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. Journal of Object Technology, Vol 11(2). Best papers of ICMT'11.[PDF] [bibtex]

Abstracting modelling languages: A reutilization approach. 2012. Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado. CAiSE'12: 24th International Conference on Advanced Information Systems Engineering, (Gdansk) LNCS 7328 (Springer). pp.:127-143. [PDF] [bibtex]

The program is the model: Enabling transformations@run.time. 2012. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. SLE'12: 5th International Conference on Software Language Engineering, (Dresden) LNCS 7745 (Springer). pp.:104-123. [PDF] [bibtex]

A graph transformation-based semantics for deep metamodelling. 2012. Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle, Yngve Lamo. AGTIVE'11: 4th International Symposium on Applications of Graph Transformation with Industrial Relevance, (Budapest) LNCS 7233 (Springer). pp.:19-34. [PDF] [bibtex]

Bottom-up meta-modelling: An interactive approach. 2012. Jesús Sánchez Cuadrado, Juan de Lara, Esther Guerra. MODELS'12: ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems, (Innsbruck) LNCS 7590 (Springer). pp.:3-19. Springer best paper award.[PDF] [bibtex]

Reusable graph transformation templates. 2012. Juan de Lara, Esther Guerra. AGTIVE'11: 4th International Symposium on Applications of Graph Transformation with Industrial Relevance, (Budapest) LNCS 7233 (Springer). pp.:35-50. [PDF] [bibtex]

Specification-driven test generation for model transformations. 2012. Esther Guerra. ICMT'12: 5th International Conference on Model Transformation, (Prague) LNCS 7307 (Springer). pp.:40-55. [PDF] [bibtex]

Inter-modelling with graph constraints: Foundations and applications. 2012. Juan de Lara, Esther Guerra. Invited talk at GTVMT'12: 11th International Workshop on Graph Transformation and Visual Modeling Techniques, (Tallin) ECEASST pp.:1-16. [PDF] [bibtex]

Composing textual modelling languages in practice. 2012. Bart Meyers, Antonio Cicchetti, Esther Guerra, Juan de Lara. MPM'12: 6th International Workshop on Multi-Paradigm Modeling (satellite event of ACM/IEEE MODELS'12), (Innsbruck) [PDF] [bibtex]

Towards a family of model transformation languages. 2012. Jesús Sánchez Cuadrado. ICMT'12: 5th International Conference on Model Transformation, (Prague) LNCS 7307 (Springer). pp.:176-191. [PDF] [bibtex]

Domain-specific textual meta-modelling languages for model-driven engineering. 2012. Juan de Lara, Esther Guerra. ECMFA'12: 8th European Conference on Modelling Foundations and Applications, (Lyngby) LNCS 7349 (Springer). pp.:259-274. [PDF] [bibtex]

EMF on rails. 2012. Rosa López Landa, Julieta Nóguez, Esther Guerra, Juan de Lara. ICSOFT 2012: 7th International Conference on Software Paradigm Trends, (Rome) (SciTePress). pp.:273-278. [PDF] [bibtex]

An algebraic semantics for QVT-Relations check-only transformations. 2012. Esther Guerra, Juan de Lara. Fundamenta Informaticae, Vol 114(1). [PDF] [bibtex]

2011

Towards a functional characterization of collaborative systems. 2011. Jaime Moreno Llorena, Iván Claros, Rafael Martín, Ruth Cobos, Juan de Lara, Esther Guerra. CDVE'11: 8th International Conference on Cooperative Design, Visualization and Engineering, (Hong Kong) LNCS 6874 (Springer). pp.:182-185. [PDF] [bibtex]

REUSES: Questionnaire-driven design for the automatic generation of web-based collaborative applications. 2011. Ruth Cobos, Rafael Martín, Jaime Moreno Llorena, Esther Guerra, Juan de Lara. CollaborateCom 2011: 7th International Conference on Collaborative Computing: Networking, Applications and Worksharing, (Orlando) (IEEE CS Press).[PDF] [bibtex]

Formalising interaction patterns. 2011. Paolo Bottoni, Esther Guerra, Juan de Lara. Chapter of the book Model-driven Development of Advanced User Interfaces, Studies in Computational Intelligence 340, (Springer). pp.:257-276. [bibtex]

Generic model transformations: Write once, reuse everywhere. 2011. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ICMT'11: 4th International Conference on Model Transformation, (Zurich) LNCS 6707 (Springer). pp.:62-77. [PDF] [bibtex]

Reusing model transformations across heterogeneous metamodels. 2011. Manuel Wimmer, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger, Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. MPM'11: 5th International Workshop on Multi-Paradigm Modeling (satellite event of ACM/IEEE MODELS'11), (Wellington) Vol. 50 of Electronic Communications of the EASST [PDF] [bibtex]

2010

A language-independent and formal approach to pattern-based modelling with support for composition and analysis. 2010. Paolo Bottoni, Esther Guerra, Juan de Lara. Information & Software Technology (Elsevier), Vol 52(8). pp.:821-844.[PDF] [bibtex]

Deep meta-modelling with MetaDepth. 2010. Juan de Lara, Esther Guerra. TOOLS Europe 2010: 48th International Conference on Objects, Models, Components, Patterns, (Málaga) LNCS 6141 (Springer). pp.:1-20. [PDF] [bibtex]

Formalising design and interaction patterns and their relationships. 2010. Paolo Bottoni, Esther Guerra, Juan de Lara. PEICS'10: 1st International Workshop on Pattern-Driven Engineering of Interactive Computing Systems, (Berlin) (ACM). pp.:32-35. [bibtex]

Verification and validation of declarative model-to-model transformations through invariants. 2010. Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara. Journal of Systems and Software (Elsevier), Vol 83(2). pp.:283-302.[PDF] [bibtex]

Generic meta-modelling with concepts, templates and mixin layers. 2010. Juan de Lara, Esther Guerra. MODELS'10: ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems, (Oslo) LNCS 6394 (Springer). pp.:16-30. [PDF] [bibtex]

Controlling reuse in pattern-based model-to-model transformations. 2010. Esther Guerra, Juan de Lara, Fernando Orejas. Chapter of the book Graph Transformations and Model Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, LNCS 7565, (Springer). pp.:175-201. [bibtex]

Towards a formal notion of interaction pattern. 2010. Paolo Bottoni, Esther Guerra, Juan de Lara. VL/HCC'10: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, (Madrid) (IEEE CS Press). pp.:235-239. [PDF] [bibtex]

Graph transformation for domain-specific discrete event time simulation. 2010. Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini. ICGT'10: 5th International Conference on Graph Transformation, (Enschede) LNCS 6372 (Springer). pp.:266-281. EASST award for the Best Software Science Paper.[PDF] [bibtex]

A UML/OCL framework for the analysis of graph transformation rules. 2010. Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara. Software and Systems Modeling (Springer), Vol 9(3). pp.:335-357.Best papers of ICMT'08.[PDF] [bibtex]

Lightweight executability analysis of graph transformation rules. 2010. Elena Planas, Jordi Cabot, Cristina Gómez, Esther Guerra, Juan de Lara. VL/HCC'10: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, (Madrid) (IEEE CS Press). pp.:127-130. [PDF] [bibtex]

Matrix graph grammars with application conditions. 2010. Pedro Pablo Pérez Velasco, Juan de Lara. Fundamenta Informaticae (IOS Press), Vol 99(1). pp.:29-62.[PDF] [bibtex]

Inter-modelling: From theory to practice. 2010. Esther Guerra, Juan de Lara, Dimitris Kolovos, Richard Paige. MODELS'10: ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems, (Oslo) LNCS 6394 (Springer). pp.:376-391. [PDF] [bibtex]

Synthesis of OCL pre-conditions for graph transformation rules. 2010. Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara. ICMT'10: 3rd International Conference on Model Transformation, (Málaga) LNCS 6142 (Springer). pp.:45-60. [PDF] [bibtex]

Automating the transformation-based analysis of visual languages. 2010. Juan de Lara, Hans Vangheluwe. Formal Aspects of Computing (Springer), Vol 22(3-4). pp.:297-326.Best papers of FASE'08.[PDF] [bibtex]

A visual specification language for model-to-model transformations. 2010. Esther Guerra, Juan de Lara, Dimitris Kolovos, Richard Paige. VL/HCC'10: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, (Madrid) (IEEE CS Press). pp.:119-126. [PDF] [bibtex]

transML: A family of languages to model model transformations. 2010. Esther Guerra, Juan de Lara, Dimitris Kolovos, Richard Paige, Osmar Marchi dos Santos. MODELS'10: ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems, (Oslo) LNCS 6394 (Springer). pp.:106-120. ACM/SIGSOFT distinguished paper award.[PDF] [bibtex]

Publication

Reuse of Model Transformations

A component model for model transformations. 2014. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. IEEE Transactions on Software Engineering, Vol 40(11). pp.:1042-1060.[PDF] [bibtex]

Domain Specific Languages

Bottom-up meta-modelling: An interactive approach. 2012. Jesús Sánchez Cuadrado, Juan de Lara, Esther Guerra. MODELS'12: ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems, (Innsbruck) LNCS 7590 (Springer). pp.:3-19. Springer best paper award.[PDF] [bibtex]

Example-driven meta-model development. 2015. Jesús Juan López-Fernández, Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. Software and Systems Modeling (Springer), Vol 14(4). pp.:1323-1347.Best papers of MODELS'12.[PDF] [bibtex]

Model Transformation Verification and Validation

Automated verification of model transformations based on visual contracts. 2013. Esther Guerra, Juan de Lara, Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger. Automated Software Engineering Journal (Springer), Vol 20(1). pp.:5-46.[PDF] [bibtex]

Specification-driven model transformation testing. 2015. Esther Guerra, Mathias Soeken. Software and Systems Modeling (Springer), Vol 14(2). pp.:623-644.Best papers of ICMT'12.[PDF] [bibtex]

Verification and validation of declarative model-to-model transformations through invariants. 2010. Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara. Journal of Systems and Software (Elsevier), Vol 83(2). pp.:283-302.[PDF] [bibtex]

Uncovering errors in ATL model transformations using static analysis and constraint solving. 2014. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ISSRE'2014, (Naples) (IEEE Computer Society). pp.:1-11. [PDF] [bibtex]

Multi-level modelling

When and how to use multi-level modelling. 2014. Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado. ACM Transactions on Software Engineering and Methodology, Vol 24(2). pp.:1-46.Selected by Computing Reviews (ACM) as Notable Article in Computing 2014.[PDF] [bibtex]