miso
 
Home    
People    
Publications    
Tools    
Projects    

publications


Journals    
Conferences    
Books    
PhD    
All    



Publication

2018

Automated modelling assistance by integrating heterogeneous information sources. 2018. Ángel Mora-Segura, Juan de Lara, Patrick Neubauer, Manuel Wimmer. Computer Languages, Systems and Structures (Elsevier), Vol 53(September). pp.:90-120.[PDF] [bibtex]

A tool for domain-independent model mutation. 2018. Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes Merayo. Science of Computer Programming(Elsevier), Vol 49(September). pp.:152-173.[PDF] [bibtex]

2017

Static analysis of model transformations. 2017. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. IEEE Transactions on Software Engineering (IEEE Computer Society), Vol 43(9). pp.:868-897.[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]

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]

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]

An example is worth a thousand words: Creating graphical modelling environments by example. 2017. Jesús Juan López-Fernández, Antonio Garmendia Jorge, Esther Guerra, Juan de Lara. Software and Systems Modeling (Springer), Vol in press(November). pp.:1-31.[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 31(1). pp.:1-60.[PDF] [bibtex]

2016

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]

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]

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]

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]

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

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

Publication

2018

DATALYZER: Streaming data applications made easy. 2018. Mario Gonzalez-Jimenez, Juan de Lara. ICWE'2018, (Caceres) LNCS (Springer). pp.:1-8. [PDF] [bibtex]

Model Transformation Reuse across Metamodels: A classification and comparison of approaches. 2018. Jean-Michel Bruel, Benoit Combemale, Esther Guerra, Jean-Marc Jezequel, Joerg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani, Hans Vangheluwe. ICMT'2018, (Toulouse) LNCS (Springer). pp.:1-15. [PDF] [bibtex]

AnATLyzer: An Advanced IDE for ATL Model Transformations. 2018. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ICSE'2018, (Gothenburg) IEEE/ACM (ACM). pp.:1-4. [PDF] [bibtex]

2017

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.:12-22. [PDF] [bibtex]

Assisted Modelling Over Social Networks with SOCIO. 2017. Sara Perez-Soler, Esther Guerra, Juan de Lara. MODELS (Satellite Events), (Austin) CEUR 2019 (CEUR-WS.org). pp.:561-565. [PDF] [bibtex]

MAGICIAN: Model-based design for optimizing the configuration of data-centers. 2017. Pablo Cerro, Alberto Nuñez, Juan de Lara. SEKE'2017, (Pittsburgh) KSI Research Inc (KSI). pp.:602-607. [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]

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.:75-82. [PDF] [bibtex]

The rise of the (modelling) bots: towards assisted modelling via social networks. 2017. Sara Perez-Soler, Esther Guerra, Juan de Lara, Francisco Jurado. ASE'2017, (Urbana) (IEEE/ACM). pp.:723-728. [PDF] [bibtex]

JAVACHECK: A Domain Specific Language for the Static Analysis of Java Code. 2017. Sara Perez-Soler, Juan de Lara. MODELS'2017 (Satellite events), (Austin) CEUR 2019 (CEUR-WS.org). pp.:475-478. [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]

Towards a Mechanism for Controlling Meta-model Extensibility. 2017. Santiago P. Jacome-Guerrero, Juan de Lara. ICSOFT'2017, (Madrid) (ScitePress). pp.:382-387. [PDF] [bibtex]

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]

SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools. 2017. Elvira Albert, Pablo Cerro, Esther Guerra, Juan de Lara, Esperanza Marcos, Manuel Nunez, Guillermo Roman-Diez, Juan Manuel Vara, Damiano Zanardini. STAF'2017 workshops, (Marburg) LNCS 10748 (Springer). pp.:367-374. [PDF] [bibtex]

2016

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]

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]

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]

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]

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

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]

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]

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]

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

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

2012

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

2011

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]

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]

2010

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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

2018

DATALYZER: Streaming data applications made easy. 2018. Mario Gonzalez-Jimenez, Juan de Lara. ICWE'2018, (Caceres) LNCS (Springer). pp.:1-8. [PDF] [bibtex]

Model Transformation Reuse across Metamodels: A classification and comparison of approaches. 2018. Jean-Michel Bruel, Benoit Combemale, Esther Guerra, Jean-Marc Jezequel, Joerg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani, Hans Vangheluwe. ICMT'2018, (Toulouse) LNCS (Springer). pp.:1-15. [PDF] [bibtex]

Automated modelling assistance by integrating heterogeneous information sources. 2018. Ángel Mora-Segura, Juan de Lara, Patrick Neubauer, Manuel Wimmer. Computer Languages, Systems and Structures (Elsevier), Vol 53(September). pp.:90-120.[PDF] [bibtex]

AnATLyzer: An Advanced IDE for ATL Model Transformations. 2018. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ICSE'2018, (Gothenburg) IEEE/ACM (ACM). pp.:1-4. [PDF] [bibtex]

A tool for domain-independent model mutation. 2018. Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes Merayo. Science of Computer Programming(Elsevier), Vol 49(September). pp.:152-173.[PDF] [bibtex]

2017

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.:12-22. [PDF] [bibtex]

Assisted Modelling Over Social Networks with SOCIO. 2017. Sara Perez-Soler, Esther Guerra, Juan de Lara. MODELS (Satellite Events), (Austin) CEUR 2019 (CEUR-WS.org). pp.:561-565. [PDF] [bibtex]

MAGICIAN: Model-based design for optimizing the configuration of data-centers. 2017. Pablo Cerro, Alberto Nuñez, Juan de Lara. SEKE'2017, (Pittsburgh) KSI Research Inc (KSI). pp.:602-607. [PDF] [bibtex]

Static analysis of model transformations. 2017. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. IEEE Transactions on Software Engineering (IEEE Computer Society), Vol 43(9). pp.:868-897.[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]

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.:75-82. [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]

The rise of the (modelling) bots: towards assisted modelling via social networks. 2017. Sara Perez-Soler, Esther Guerra, Juan de Lara, Francisco Jurado. ASE'2017, (Urbana) (IEEE/ACM). pp.:723-728. [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]

JAVACHECK: A Domain Specific Language for the Static Analysis of Java Code. 2017. Sara Perez-Soler, Juan de Lara. MODELS'2017 (Satellite events), (Austin) CEUR 2019 (CEUR-WS.org). pp.:475-478. [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]

Towards a Mechanism for Controlling Meta-model Extensibility. 2017. Santiago P. Jacome-Guerrero, Juan de Lara. ICSOFT'2017, (Madrid) (ScitePress). pp.:382-387. [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]

An example is worth a thousand words: Creating graphical modelling environments by example. 2017. Jesús Juan López-Fernández, Antonio Garmendia Jorge, Esther Guerra, Juan de Lara. Software and Systems Modeling (Springer), Vol in press(November). pp.:1-31.[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 31(1). pp.:1-60.[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]

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]

SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools. 2017. Elvira Albert, Pablo Cerro, Esther Guerra, Juan de Lara, Esperanza Marcos, Manuel Nunez, Guillermo Roman-Diez, Juan Manuel Vara, Damiano Zanardini. STAF'2017 workshops, (Marburg) LNCS 10748 (Springer). pp.:367-374. [PDF] [bibtex]

2016

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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

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]

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]

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]

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]

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

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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

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]

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]

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]

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]

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]

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]

2011

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]

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]

2010

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]