miso
 
Home    
People    
Publications    
Tools    
Projects    

publications


Journals    
Conferences    
Books    
PhD    
All    



Publication

2017

A domain-specific language for model mutation and its application to the automated generation of exercises. 2017. Pablo Gómez-Abajo, Esther Guerra, Juan de Lara. Computer Languages, Systems and Structures (Elsevier), Vol 49(September). pp.:152-173.Best papers of Programming Languages track at SAC'16.[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]

Scalable Model Exploration for Model-Driven Engineering. 2017. Antonio Jiménez Pastor, Antonio Garmendia Jorge, Juan de Lara. Journal of Systems and Software (Elsevier), Vol 132(October). pp.:204-225.[PDF] [bibtex]

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]

2016

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]

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]

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]

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]

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]

2015

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]

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]

2014

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]

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]

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]

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]

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]

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]

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

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]

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]

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]

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]

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]

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]

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]

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 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]

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]

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 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]

Publication

2017

Towards rearchitecting meta-models into multi-level models. 2017. Fernando Macias, Esther Guerra, Juan de Lara. ER'2017, (Valencia) LNCS (Springer). pp.:1-8. [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]

Active Domain-Specific Languages: making every mobile user a modeller. 2017. Diego Vaquero-Melchor, Javier Palomares, Esther Guerra, Juan de Lara. MODELS'2017, (Austin) IEEE (IEEE Comp. Sci.). pp.:1-8. [PDF] [bibtex]

On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development. 2017. Abel Gomez, Xabier Mendialdua, Gabor Bergmann, Jordi Cabot, Csaba Debreceni, Antonio Garmendia Jorge, Dimitris Kolovos, Juan de Lara, Salvador Trujillo. ECMFA'2017, (Marburg) LNCS 10376 (Springer). pp.:300-315. [PDF] [bibtex]

Translating target to source constraints in model-to-model transformations. 2017. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara, Robert Clarisó, Jordi Cabot. MODELS'2017, (Austin) IEEE (IEEE Comp. Sci.). pp.:1-11. [PDF] [bibtex]

OUTRIDER: Optimizing the mutation testing process in distributed environments. 2017. Pablo Cerro, Alberto Nuñez, Juan de Lara. ICCS'2017, (Zurich) Procedia Computer Science 108 (Elsevier). pp.:505-514. [PDF] [bibtex]

2016

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]

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]

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]

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]

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]

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]

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]

2015

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]

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]

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]

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]

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

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

2013

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]

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]

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]

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]

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]

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

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]

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]

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]

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]

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]

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]

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]

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]

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]

2011

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]

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]

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]

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]

2010

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]

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]

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]

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]

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]

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]

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]

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]

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

2017

An agile process for the example-driven development of modelling languages and environments. 2017. Jesús Juan López-Fernández. Computer Science Department, Universidad Autónoma de Madrid. [PDF] [bibtex]

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]

Matrix Graph Grammars. 2007. Pedro Pablo Pérez Velasco. Computer Science Department, Universidad Autónoma de Madrid. [PDF] [bibtex]

Publication

2017

Towards rearchitecting meta-models into multi-level models. 2017. Fernando Macias, Esther Guerra, Juan de Lara. ER'2017, (Valencia) LNCS (Springer). pp.:1-8. [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]

Active Domain-Specific Languages: making every mobile user a modeller. 2017. Diego Vaquero-Melchor, Javier Palomares, Esther Guerra, Juan de Lara. MODELS'2017, (Austin) IEEE (IEEE Comp. Sci.). pp.:1-8. [PDF] [bibtex]

On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development. 2017. Abel Gomez, Xabier Mendialdua, Gabor Bergmann, Jordi Cabot, Csaba Debreceni, Antonio Garmendia Jorge, Dimitris Kolovos, Juan de Lara, Salvador Trujillo. ECMFA'2017, (Marburg) LNCS 10376 (Springer). pp.:300-315. [PDF] [bibtex]

Translating target to source constraints in model-to-model transformations. 2017. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara, Robert Clarisó, Jordi Cabot. MODELS'2017, (Austin) IEEE (IEEE Comp. Sci.). pp.:1-11. [PDF] [bibtex]

A domain-specific language for model mutation and its application to the automated generation of exercises. 2017. Pablo Gómez-Abajo, Esther Guerra, Juan de Lara. Computer Languages, Systems and Structures (Elsevier), Vol 49(September). pp.:152-173.Best papers of Programming Languages track at SAC'16.[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]

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]

OUTRIDER: Optimizing the mutation testing process in distributed environments. 2017. Pablo Cerro, Alberto Nuñez, Juan de Lara. ICCS'2017, (Zurich) Procedia Computer Science 108 (Elsevier). pp.:505-514. [PDF] [bibtex]

Scalable Model Exploration for Model-Driven Engineering. 2017. Antonio Jiménez Pastor, Antonio Garmendia Jorge, Juan de Lara. Journal of Systems and Software (Elsevier), Vol 132(October). pp.:204-225.[PDF] [bibtex]

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]

2016

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

2015

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]

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]

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]

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]

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

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

2013

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

2012

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]

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]

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]

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]

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]

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]

An algebraic semantics for QVT-Relations check-only transformations. 2012. Esther Guerra, Juan de Lara. Fundamenta Informaticae, Vol 114(1). [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]

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]

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]

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]

2011

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]

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]

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]

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]

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]

2010

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]