miso
 
Home    
People    
Publications    
Tools    
Projects    

publications


Journals    
Conferences    
Books    
PhD    
All    



Publication

2023

Automated engineering of domain-specific metamorphic testing environments. 2023. Pablo Gomez-Abajo, Pablo C. Cañizares, Alberto Nuñez, Esther Guerra, Juan de Lara. Information and Software Technology, Vol 157(). [PDF] [bibtex]

Modelling assistants based on information reuse: A user evaluation for language engineering. 2023. Ángel Mora-Segura, Juan de Lara, Manuel Wimmer. Software and Systems Modelling, Vol (in press)(). [bibtex]

Lifted structural invariant analysis of Petri net product lines. 2023. Elena Gomez-Martinez, Esther Guerra, Juan de Lara, Antonio Garmendia Jorge. Journal of Logic and Algebraic Methods in Programming, Vol 130(). [PDF] [bibtex]

2022

Recommender Systems in Model-Driven Engineering. A Systematic Mapping Review. 2022. Lissette Almonte, Esther Guerra, Ivan Cantador, Juan de Lara. Software and Systems Modelling, Vol 21(1). pp.:249-280. [PDF] [bibtex]

Modelling on mobile devices: A Systematic Mapping Study. 2022. Lea Brunschwig, Esther Guerra, Juan de Lara. Software and Systems Modelling, Vol 21(1). pp.:179-205. [PDF] [bibtex]

CloudExpert: An Intelligent System for Selecting Cloud System Simulators. 2022. Pablo C. Cañizares, Alberto Nuñez, Juan de Lara. Expert Systems with Applications, Vol 187(). [PDF] [bibtex]

Low-code development and model-driven engineering: Two sides of the same coin?. 2022. Davide di Ruscio, Dimitris Kolovos, Juan de Lara, Alfonso Pierantonio, Massimo Tisi, Manuel Wimmer. Software and Systems Modelling, Vol 21(2). pp.:437-446. [PDF] [bibtex]

DSMCompare: domain-specific model differencing for graphical domain-specific languages. 2022. Manouchehr Zadahmad, Eugene Syriani, Omar Alam, Esther Guerra, Juan de Lara. Software and Systems Modelling, Vol 21(5). pp.:2067-2096. [PDF] [bibtex]

Property satisfiability analysis for product lines of modelling languages. 2022. Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay. IEEE Transactions on Software Engineering, Vol 48(2). pp.:397-416. [PDF] [bibtex]

2021

Choosing a chatbot development tool. 2021. Sara Perez-Soler, Sandra Juarez-Puerta, Esther Guerra, Juan de Lara. IEEE Software, Vol 38(4). [PDF] [bibtex]

Language Family Engineering with Product Lines of Multi-level Models. 2021. Juan de Lara, Esther Guerra. Formal Aspects of Computing, Vol in press(). [PDF] [bibtex]

Wodel-Test: A Model-Based Framework for Language Independent Mutation Testing. 2021. Pablo Gomez-Abajo, Esther Guerra, Juan de Lara, Mercedes Merayo. Software and Systems Modelling, Vol 20(3). [PDF] [bibtex]

Facet-oriented modelling. 2021. Juan de Lara, Esther Guerra, Joerg Kienzle. ACM Transactions on Software Engineering and Methodology, Vol 30(3). [PDF] [bibtex]

Extensible Structural Analysis of Petri Net Product Lines. 2021. Elena Gomez-Martinez, Juan de Lara, Esther Guerra. LNCS Transactions on Petri Nets and other Models of Concurrency, Vol in press(). [PDF] [bibtex]

2020

MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems. 2020. Pablo C. Cañizares, Alberto Nuñez, Juan de Lara, Luis Llana. Journal of Systems and Software, Vol 163(). [PDF] [bibtex]

Scalable modeling technologies in the wild: an experience report on wind turbines control applications development. 2020. Abel Gomez, Xabier Mendialdua, Konstantinos Barmpis, Gabor Bergmann, Jordi Cabot, Xabier de Carlos, Csaba Debreceni, Antonio Garmendia Jorge, Dimitris Kolovos, Juan de Lara. Software and Systems Modelling, Vol 19(5). pp.:1229-1261. [PDF] [bibtex]

TOTEM: Reconciling multi-level modelling with standard two-level modelling. 2020. Santiago P. Jacome-Guerrero, Juan de Lara. Computer Standards and interfaces, Vol 69(). [PDF] [bibtex]

Systematic Engineering of Mutation Operators. 2020. Pablo Gomez-Abajo, Esther Guerra, Juan de Lara, Mercedes Merayo. Journal of Object Technology, Vol 19(3). [PDF] [bibtex]

2019

An expert system for checking the correctness of memory systems using simulation and metamorphic testing. 2019. Pablo C. Cañizares, Alberto Nuñez, Juan de Lara. Expert systems with applications, Vol 132(October). [PDF] [bibtex]

Evaluation Techniques for Chatbot Usability: A Systematic Mapping Study. 2019. Ranci Ren, John Wilmar Castro, Silvia Teresita Acuña, Juan de Lara. International Journal of Software Engineering and Knowledge Engineering, Vol 29 (11-12)(). pp.:1673-1702. [PDF] [bibtex]

An example is worth a thousand words: Creating graphical modelling environments by example. 2019. Jesús Juan López-Fernández, Antonio Garmendia Jorge, Esther Guerra, Juan de Lara. Software and Systems Modeling (Springer), Vol 18(2). pp.:961-993. Best papers of ECMFA'16. [PDF] [bibtex]

Towards Conversational Syntax for Domain-Specific Languages using Chatbots. 2019. Sara Perez-Soler, Mario Gonzalez-Jimenez, Esther Guerra, Juan de Lara. Journal of Object Technology (proceedings ECMFA), Vol 18(2). [PDF] [bibtex]

Extremo: An Eclipse plugin for modelling and meta-modelling assistance. 2019. Ángel Mora-Segura, Juan de Lara. Science of Computer Programming, Vol in press(). [PDF] [bibtex]

Comparing and classifying model transformation reuse approaches across metamodels. 2019. Jean-Michel Bruel, Benoit Combemale, Esther Guerra, Jean-Marc Jezequel, Joerg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani, Hans Vangheluwe. Software and Systems Modeling, Vol in press(). [PDF] [bibtex]

Automated Reuse of Model Transformations through Typing Requirements Models. 2019. Juan de Lara, Esther Guerra, Davide di Ruscio, Juri di Rocco, Jesús Sánchez Cuadrado, Ludovico Iovino, Alfonso Pierantonio. ACM Transactions on Software Engineering and Methodology, Vol in press(). [PDF] [bibtex]

Scaling-up Domain-Specific Modelling Languages through Modularity Services. 2019. Antonio Garmendia Jorge, Esther Guerra, Juan de Lara, Antonio Garcia-Dominguez, Dimitris Kolovos. Information and Software Technology, Vol in press(). [PDF] [bibtex]

2018

A tool for domain-independent model mutation. 2018. Pablo Gomez-Abajo, Esther Guerra, Juan de Lara, Mercedes Merayo. Science of Computer Programming (Elsevier), Vol 163(). pp.:85-92. [PDF] [bibtex]

Controlling Meta-Model Extensibility in Model-Driven Engineering. 2018. Santiago P. Jacome-Guerrero, Juan de Lara. IEEE Access (IEEE), Vol 6(). [PDF] [bibtex]

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

Refactoring multi-level models. 2018. Juan de Lara, Esther Guerra. ACM Transactions on Software Engineering and Methodology, Vol 27(4). [PDF] [bibtex]

Collaborative modelling and group-decision making using chatbots within social networks. 2018. Sara Perez-Soler, Esther Guerra, Juan de Lara. IEEE Software (IEEE), Vol in press(). [PDF] [bibtex]

Open meta-modelling frameworks via meta-object protocols. 2018. Jesús Sánchez Cuadrado, Juan de Lara. Journal of Systems and Software, Vol 145(). pp.:1-24. [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]

2017

A domain-specific language for model mutation and its application to the automated generation of exercises. 2017. Pablo Gomez-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 25(4). pp.:1-60. [PDF] [bibtex]

Automated analysis of integrity constraints in multi-level models. 2017. Esther Guerra, Juan de Lara. Data & Knowledge Engineering (Elsevier), Vol 107(). pp.:1-23. [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]

Scalable model exploration for model-driven engineering. 2017. Antonio Jimenez Pastor, Antonio Garmendia Jorge, Juan de Lara. Journal of Systems and Software (Elsevier), Vol 132(October). pp.:204-225. [PDF] [bibtex]

2016

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]

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

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

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]

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]

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]

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]

2013

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]

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]

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

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

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]

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

2022

Analysing Product Lines of Concurrent Systems with Coloured Petri Nets. 2022. Elena Gomez-Martinez, Esther Guerra, Juan de Lara. 34th International Conference on Software Engineering and Knowledge Engineering, (Virtual) 2022 pp.:118-123. [PDF] [bibtex]

Automatic test amplification for executable models. 2022. Faezeh Khorram, Erwan Bousse, Jean-Marie Mottu, Gerson Sunye, Pablo Gomez-Abajo, Pablo C. Cañizares, Esther Guerra, Juan de Lara. 25th International Conference on Model Driven Engineering Languages and Systems (MODELS), (Montreal) 2022 pp.:109-120. [PDF] [bibtex]

Analyzing the reliability of simulated distributed systems using Metamorphic Testing. 2022. Alberto Nuñez, Pablo C. Cañizares, Pablo Gomez-Abajo, Esther Guerra, Juan de Lara. 7th international workshop on Metamorphic Testing (at ICSE), (Virtual) 2022 pp.:1-8. [PDF] [bibtex]

Modular language product lines: a graph transformation approach. 2022. Juan de Lara, Esther Guerra, Paolo Bottoni. 25th International Conference on Model Driven Engineering Languages and Systems (MODELS), (Montreal) 2022 pp.:334-344. [PDF] [bibtex]

Asymob: a platform for measuring and clustering chatbots. 2022. Jose Maria Lopez-Morales, Pablo C. Cañizares, Sara Perez-Soler, Esther Guerra, Juan de Lara. IEEE/ACM 43rd International Conference on Software Engineering: Tool demos (ICSE-DEMOS), (Virtual) 2022 pp.:1-5. [PDF] [bibtex]

Automating the measurement of heterogeneous chatbot designs. 2022. Pablo C. Cañizares, Sara Perez-Soler, Esther Guerra, Juan de Lara. 37th ACM Symposium on Applied Computing, (Virtual) 2022 pp.:1-8. [PDF] [bibtex]

Building recommenders for modelling languages with Droid. 2022. Lissette Almonte, Ivan Cantador, Esther Guerra, Juan de Lara. 37th IEEE/ACM International Conference on Automated Software Engineering, (Rochester) 2022 pp.:1-4. [PDF] [bibtex]

2021

New Ideas: Automated Engineering of Metamorphic Testing Environments for Domain-Specific Languages. 2021. Pablo C. Cañizares, Pablo Gomez-Abajo, Alberto Nuñez, Esther Guerra, Juan de Lara. ACM SIGPLAN International Conference on Software Language Engineering (SLE), (Virtual) 2021 pp.:1-6. [PDF] [bibtex]

Towards Twin-Driven Engineering: Overview of the State-of-The-Art and Research Directions. 2021. Massimo Tisi, Hugo Bruneliere, Juan de Lara, Davide di Ruscio, Dimitris Kolovos. IFPI International Conference on Advances in Production Management Systems (APMS), (Virtual) 2021 pp.:351-359. [PDF] [bibtex]

Semantic Digital Twins for Organizational Development. 2021. Alfonso Diez, Juan de Lara. Second International Workshop on Semantic Digital Twins (with ESWC 2021), (Virtual) 2021 [PDF] [bibtex]

Towards Automating the Construction of Augmented Reality Interfaces for Information Systems. 2021. Ruben Campos-Lopez, Esther Guerra, Juan de Lara. 29th International conference on Information Systems Development (ISD), (Valencia/Virtual) 2021 pp.:1-6. [PDF] [bibtex]

Automating the Synthesis of Recommender Systems for Modelling Languages. 2021. Lissette Almonte, Sara Perez-Soler, Esther Guerra, Ivan Cantador, Juan de Lara. ACM SIGPLAN International Conference on Software Language Engineering (SLE), (Virtual) 2021 pp.:1-14. [PDF] [bibtex]

Creating and Migrating Chatbots with Conga. 2021. Sara Perez-Soler, Esther Guerra, Juan de Lara. IEEE/ACM 43rd International Conference on Software Engineering: Tool demos (ICSE-DEMOS), (Virtual) 2021 [PDF] [bibtex]

Towards Domain-Specific Modelling Environments based on Augmented Reality. 2021. Lea Brunschwig, Ruben Campos-Lopez, Esther Guerra, Juan de Lara. IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER), (Virtual) 2021 pp.:56-60. [PDF] [bibtex]

2020

Seed Model Synthesis for Testing Model-based Mutation Operators. 2020. Pablo Gomez-Abajo, Esther Guerra, Juan de Lara, Mercedes Merayo. CAiSE Forum, (Virtual) Springer [PDF] [bibtex]

Automated Migration of EuGENia Graphical Editors to the Web. 2020. Fatima Rani, Pablo Diez, Enrique Chavarriaga, Esther Guerra, Juan de Lara. LowCode@MoDELS, (Virtual) 2020 [PDF] [bibtex]

Model driven Chatbot Development. 2020. Sara Perez-Soler, Esther Guerra, Juan de Lara. 39th International Conference on Conceptual Modelling (ER'2020), (Virtual) Springer [PDF] [bibtex]

Automated Variability Injection for Graphical Modelling Languages. 2020. Antonio Garmendia Jorge, Manuel Wimmer, Esther Guerra, Elena Gomez-Martinez, Juan de Lara. GPCE, (Virtual) 2020 [PDF] [bibtex]

Multi-level Model Product Lines. Open and closed variability for modelling language families. 2020. Juan de Lara, Esther Guerra. FASE'2020 (@ETAPS), (Dublin) LNCS [PDF] [bibtex]

Testing Chatbots with CHARM. 2020. Sergio Bravo-Santos, Esther Guerra, Juan de Lara. 13th International Conference on the Quality of Information and Communication Technology (QUATIC'2020), (Virtual) Springer [PDF] [bibtex]

Towards access control for collaborative modelling apps. 2020. Lea Brunschwig, Esther Guerra, Juan de Lara. LowCode@MoDELS, (Virtual) 2020 [PDF] [bibtex]

Positioning-Based Domain-Specific Modelling through Mobile Devices. 2020. Alberto Sebastian-Lombraña, Esther Guerra, Juan de Lara. EUROMICRO conference on Software Engineering and Advanced Applications (SEAA'2020), (Virtual) IEEE Computer Society [PDF] [bibtex]

Collaborative modelling: chatbots or on-line tools? An experimental study. 2020. Ranci Ren, John Wilmar Castro, Adrian Santos, Silvia Teresita Acuña, Sara Perez-Soler, Juan de Lara. EASE'2019, (Trondheim) (ACM).[PDF] [bibtex]

Modelling Production System Families with AutomationML. 2020. Antonio Garmendia Jorge, Manuel Wimmer, Alexandra Mazak-Huemer, Esther Guerra, Juan de Lara. ETFA, (Vienna) 2020 [PDF] [bibtex]

Towards Automating the Synthesis of Chatbots for Conversational Model Query. 2020. Sara Perez-Soler, Gwendal Daniel, Jordi Cabot, Esther Guerra, Juan de Lara. EMMSAD'2020 (@ETAPS), (Virtual) LNCS [PDF] [bibtex]

Towards automating the construction of recommender systems for low-code development platforms. 2020. Lissette Almonte, Ivan Cantador, Esther Guerra, Juan de Lara. LowCode@MoDELS, (Virtual) 2020 [PDF] [bibtex]

2019

Towards extensible structural analysis of Petri net product lines. 2019. Elena Gomez-Martinez, Juan de Lara, Esther Guerra. PNSE'2019, (Aachen) CEUR [PDF] [bibtex]

Flexible modelling using conversational agents. 2019. Sara Perez-Soler, Esther Guerra, Juan de Lara. FlexMDE'2019, (Munich) IEEE [PDF] [bibtex]

Formal support of process chain networks using model-driven engineering and Petri nets. 2019. Elena Gomez-Martinez, Francisco Perez Blanco, Juan de Lara, Juan Manuel Vara, Esperanza Marcos. SAC'2019, (Cyprus) (ACM).[PDF] [bibtex]

Domain-specific model differencing in visual concrete syntax. 2019. Manouchehr Zadahmad, Eugene Syriani, Omar Alam, Esther Guerra, Juan de Lara. SLE'2019, (Athens) ACM Distinguished Paper Award.[PDF] [bibtex]

Mutation testing for DSLs (tool demo). 2019. Pablo Gomez-Abajo, Esther Guerra, Juan de Lara, Mercedes Merayo. DSM'2019, (Athens) ACM [PDF] [bibtex]

Towards effective mutation testing for ATL. 2019. Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara. MODELS'2019, (Munich) IEEE [PDF] [bibtex]

Usability of Chatbots: A Systematic Mapping Study. 2019. Ranci Ren, John Wilmar Castro, Silvia Teresita Acuña, Juan de Lara. SEKE'2019, (Lisbon) (ACM).[PDF] [bibtex]

2018

Model transformation product lines. 2018. Juan de Lara, Esther Guerra, Marsha Chechik, Rick Salay. MODELS'2018: ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems, (Copenhagen) (ACM).[PDF] [bibtex]

SICOMORo-CM: Development of trustworthy systems via models and advanced tools. 2018. Elvira Albert, Pablo C. Cañizares, 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]

AnATLyzer: An advanced IDE for ATL model transformations. 2018. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ICSE'2018: 40th International Conference on Software Engineering, (Gothenburg) (ACM). pp.:85-88. [PDF] [bibtex]

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: 11th International Conference on Model Transformation, (Toulouse) LNCS 10888 (Springer). pp.:92-109. Best foundation paper award.[PDF] [bibtex]

Facet-Oriented Modelling: Open Objects for Model-Driven Engineering. 2018. Juan de Lara, Esther Guerra, Joerg Kienzle, Yanis Hattab. SLE'2018: ACM International Conference on Software Language Engineering, (Boston) (ACM).Best modelling paper award.[PDF] [bibtex]

On the quest for flexible modelling. 2018. Esther Guerra, Juan de Lara. MODELS'2018: ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems, (Copenhagen) (ACM).[PDF] [bibtex]

Analysing Meta-Model Product Lines. 2018. Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay. SLE'2018: ACM International Conference on Software Language Engineering, (Boston) (ACM).[PDF] [bibtex]

2017

Towards rearchitecting meta-models into multi-level models. 2017. Fernando Macias, Esther Guerra, Juan de Lara. ER'2017: 36th International Conference on Conceptual Modeling, (Valencia) LNCS 10650 (Springer). pp.:59-68. [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]

MAGICIAN: Model-based design for optimizing the configuration of data-centers. 2017. Pablo C. Cañizares, Alberto Nuñez, Juan de Lara. SEKE'2017, (Pittsburgh) KSI Research Inc (KSI). pp.:602-607. [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: 20th International Conference on Fundamental Approaches to Software Engineering, (Uppsala) LNCS 10202 (Springer). pp.:264-282. [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]

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: ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, (Austin) IEEE (IEEE Comp. Sci.). pp.:12-22. [PDF] [bibtex]

OUTRIDER: Optimizing the mutation testing process in distributed environments. 2017. Pablo C. Cañizares, Alberto Nuñez, Juan de Lara. ICCS'2017, (Zurich) Procedia Computer Science 108 (Elsevier). pp.:505-514. [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]

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: ACM/IEEE 32nd International Conference on Automated Software Engineering, (Urbana) (ACM). pp.:723-728. [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: ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, (Austin) IEEE (IEEE Comp. Sci.). pp.:75-82. [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]

2016

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]

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]

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

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

Wodel: A domain-specific language for model mutation. 2016. Pablo Gomez-Abajo, Esther Guerra, Juan de Lara. SAC'2016: 31st ACM Symposium on Applied Computing, (Pisa) (ACM). pp.:1968-1973. [PDF] [bibtex]

Towards enabling mobile domain-specific modelling. 2016. Diego Vaquero-Melchor, Antonio Garmendia Jorge, Esther Guerra, Juan de Lara. ICSOFT'2016: 11th International Conference on Software Paradigm Trends, (Lisbon) (SciTePress). pp.:117-122. [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: 12th European Conference on Modelling Foundations and Applications, (Vienna) LNCS 9764 (Springer). pp.:101-117. [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]

2015

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]

Quick fixing ATL model transformations. 2015. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. MODELS'2015: ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, (Ottawa) (IEEE Computer Society). pp.:146-155. Springer best foundation paper award.[PDF] [bibtex]

A modelling language for the effective design of Java annotations. 2015. Irene Cordoba, Juan de Lara. SAC'2015, (Salamanca) (ACM). pp.:2087-2092. [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: 8th ACM SIGPLAN International Conference on Software Language Engineering, (Pittsburg) (ACM). pp.:101-112. [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 563 (Springer). pp.:160-168. [PDF] [bibtex]

Fragmenta: A theory of fragmentation for MDE. 2015. Nuno Amalio, Juan de Lara, Esther Guerra. MODELS'2015: ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, (Ottawa) (IEEE Computer Society). pp.:106-115. [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: ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, (Ottawa) (IEEE Computer Society). pp.:166-175. [PDF] [bibtex]

A-posteriori typing for model-driven engineering. 2015. Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado. MODELS'2015: ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, (Ottawa) (IEEE Computer Society). pp.:156-165. [PDF] [bibtex]

Reusable model transformation components with bentō. 2015. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ICMT'2015: 8th International Conference on Model Transformation, (L'Aquila) LNCS 9152 (Springer). pp.:59-65. Best tool paper award.[PDF] [bibtex]

Scalable model exploration through abstraction and fragmentation strategies. 2015. Antonio Garmendia Jorge, Antonio Jimenez Pastor, Juan de Lara. BigMDE'2015, (L'Aquila) (CEUR). pp.:21-30. [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]

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: 11th European Conference on Modelling Foundations and Applications, (L'Aquila) LNCS 9153 (Springer). pp.:18-32. [PDF] [bibtex]

2014

Towards automating the analysis of integrity constraints in multi-level models. 2014. Esther Guerra, Juan de Lara. MULTI'2014, (Valencia) (CEUR 1286). pp.:63-72. [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 1239). pp.:22-31. [PDF] [bibtex]

Reverse engineering of model transformations for reusability. 2014. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ICMT'2014: 7th International Conference on Model Transformation, (York) LNCS 8568 (Springer). pp.:186-201. [PDF] [bibtex]

Towards the systematic construction of domain-specific transformation languages. 2014. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ECMFA'2014: 10th European Conference on Modelling Foundations and Applications, (York) LNCS 8569 (Springer). pp.:196-212. [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: 25th IEEE International Symposium on Software Reliability Engineering, (Naples) (IEEE Computer Society). pp.:34-44. [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 1235). pp.:3-12. [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]

Meta-model validation and verification with MetaBest. 2014. Jesús Juan López-Fernández, Esther Guerra, Juan de Lara. ASE'2014: 29th IEEE/ACM International Conference on Automated Software Engineering, (Vasteras) (ACM). pp.:831-834. [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]

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]

2013

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

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]

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]

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). pp.:1147-1156. [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 8091 (Springer). pp.:101-110. [PDF] [bibtex]

2012

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]

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) (ACM). pp.:31-36. [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]

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]

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 47 pp.:1-16. [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]

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]

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

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

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

2011

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

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

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]

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]

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]

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]

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]

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]

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]

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

2020

Modelling and validation of cloud systems using model driven engineering, metamorphic and mutation testing. 2020. Pablo C. Cañizares. Computer Science Department, Universidad Complutense de Madrid. [bibtex]

Un lenguajede dominio específico para mutación de modelos. 2020. Pablo Gomez-Abajo. Computer Science Department, Universidad Autónoma de Madrid. [bibtex]

2019

Engineering Scalable Modelling Languages. 2019. Antonio Garmendia Jorge. Computer Science Department, Universidad Autónoma de Madrid. [bibtex]

Propuesta de mecanismos de personalización de meta-modelos en la Ingeniería Dirigida por Modelos. 2019. Santiago P. Jacome-Guerrero. Computer Science Department, Universidad Autónoma de Madrid. [PDF] [bibtex]

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

2023

Automated engineering of domain-specific metamorphic testing environments. 2023. Pablo Gomez-Abajo, Pablo C. Cañizares, Alberto Nuñez, Esther Guerra, Juan de Lara. Information and Software Technology, Vol 157(). [PDF] [bibtex]

Modelling assistants based on information reuse: A user evaluation for language engineering. 2023. Ángel Mora-Segura, Juan de Lara, Manuel Wimmer. Software and Systems Modelling, Vol (in press)(). [bibtex]

Lifted structural invariant analysis of Petri net product lines. 2023. Elena Gomez-Martinez, Esther Guerra, Juan de Lara, Antonio Garmendia Jorge. Journal of Logic and Algebraic Methods in Programming, Vol 130(). [PDF] [bibtex]

2022

Recommender Systems in Model-Driven Engineering. A Systematic Mapping Review. 2022. Lissette Almonte, Esther Guerra, Ivan Cantador, Juan de Lara. Software and Systems Modelling, Vol 21(1). pp.:249-280. [PDF] [bibtex]

Analysing Product Lines of Concurrent Systems with Coloured Petri Nets. 2022. Elena Gomez-Martinez, Esther Guerra, Juan de Lara. 34th International Conference on Software Engineering and Knowledge Engineering, (Virtual) 2022 pp.:118-123. [PDF] [bibtex]

Automatic test amplification for executable models. 2022. Faezeh Khorram, Erwan Bousse, Jean-Marie Mottu, Gerson Sunye, Pablo Gomez-Abajo, Pablo C. Cañizares, Esther Guerra, Juan de Lara. 25th International Conference on Model Driven Engineering Languages and Systems (MODELS), (Montreal) 2022 pp.:109-120. [PDF] [bibtex]

Analyzing the reliability of simulated distributed systems using Metamorphic Testing. 2022. Alberto Nuñez, Pablo C. Cañizares, Pablo Gomez-Abajo, Esther Guerra, Juan de Lara. 7th international workshop on Metamorphic Testing (at ICSE), (Virtual) 2022 pp.:1-8. [PDF] [bibtex]

Modelling on mobile devices: A Systematic Mapping Study. 2022. Lea Brunschwig, Esther Guerra, Juan de Lara. Software and Systems Modelling, Vol 21(1). pp.:179-205. [PDF] [bibtex]

CloudExpert: An Intelligent System for Selecting Cloud System Simulators. 2022. Pablo C. Cañizares, Alberto Nuñez, Juan de Lara. Expert Systems with Applications, Vol 187(). [PDF] [bibtex]

Modular language product lines: a graph transformation approach. 2022. Juan de Lara, Esther Guerra, Paolo Bottoni. 25th International Conference on Model Driven Engineering Languages and Systems (MODELS), (Montreal) 2022 pp.:334-344. [PDF] [bibtex]

Low-code development and model-driven engineering: Two sides of the same coin?. 2022. Davide di Ruscio, Dimitris Kolovos, Juan de Lara, Alfonso Pierantonio, Massimo Tisi, Manuel Wimmer. Software and Systems Modelling, Vol 21(2). pp.:437-446. [PDF] [bibtex]

Asymob: a platform for measuring and clustering chatbots. 2022. Jose Maria Lopez-Morales, Pablo C. Cañizares, Sara Perez-Soler, Esther Guerra, Juan de Lara. IEEE/ACM 43rd International Conference on Software Engineering: Tool demos (ICSE-DEMOS), (Virtual) 2022 pp.:1-5. [PDF] [bibtex]

Automating the measurement of heterogeneous chatbot designs. 2022. Pablo C. Cañizares, Sara Perez-Soler, Esther Guerra, Juan de Lara. 37th ACM Symposium on Applied Computing, (Virtual) 2022 pp.:1-8. [PDF] [bibtex]

Building recommenders for modelling languages with Droid. 2022. Lissette Almonte, Ivan Cantador, Esther Guerra, Juan de Lara. 37th IEEE/ACM International Conference on Automated Software Engineering, (Rochester) 2022 pp.:1-4. [PDF] [bibtex]

DSMCompare: domain-specific model differencing for graphical domain-specific languages. 2022. Manouchehr Zadahmad, Eugene Syriani, Omar Alam, Esther Guerra, Juan de Lara. Software and Systems Modelling, Vol 21(5). pp.:2067-2096. [PDF] [bibtex]

Property satisfiability analysis for product lines of modelling languages. 2022. Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay. IEEE Transactions on Software Engineering, Vol 48(2). pp.:397-416. [PDF] [bibtex]

2021

New Ideas: Automated Engineering of Metamorphic Testing Environments for Domain-Specific Languages. 2021. Pablo C. Cañizares, Pablo Gomez-Abajo, Alberto Nuñez, Esther Guerra, Juan de Lara. ACM SIGPLAN International Conference on Software Language Engineering (SLE), (Virtual) 2021 pp.:1-6. [PDF] [bibtex]

Choosing a chatbot development tool. 2021. Sara Perez-Soler, Sandra Juarez-Puerta, Esther Guerra, Juan de Lara. IEEE Software, Vol 38(4). [PDF] [bibtex]

Towards Twin-Driven Engineering: Overview of the State-of-The-Art and Research Directions. 2021. Massimo Tisi, Hugo Bruneliere, Juan de Lara, Davide di Ruscio, Dimitris Kolovos. IFPI International Conference on Advances in Production Management Systems (APMS), (Virtual) 2021 pp.:351-359. [PDF] [bibtex]

Semantic Digital Twins for Organizational Development. 2021. Alfonso Diez, Juan de Lara. Second International Workshop on Semantic Digital Twins (with ESWC 2021), (Virtual) 2021 [PDF] [bibtex]

Language Family Engineering with Product Lines of Multi-level Models. 2021. Juan de Lara, Esther Guerra. Formal Aspects of Computing, Vol in press(). [PDF] [bibtex]

Wodel-Test: A Model-Based Framework for Language Independent Mutation Testing. 2021. Pablo Gomez-Abajo, Esther Guerra, Juan de Lara, Mercedes Merayo. Software and Systems Modelling, Vol 20(3). [PDF] [bibtex]

Towards Automating the Construction of Augmented Reality Interfaces for Information Systems. 2021. Ruben Campos-Lopez, Esther Guerra, Juan de Lara. 29th International conference on Information Systems Development (ISD), (Valencia/Virtual) 2021 pp.:1-6. [PDF] [bibtex]

Automating the Synthesis of Recommender Systems for Modelling Languages. 2021. Lissette Almonte, Sara Perez-Soler, Esther Guerra, Ivan Cantador, Juan de Lara. ACM SIGPLAN International Conference on Software Language Engineering (SLE), (Virtual) 2021 pp.:1-14. [PDF] [bibtex]

Creating and Migrating Chatbots with Conga. 2021. Sara Perez-Soler, Esther Guerra, Juan de Lara. IEEE/ACM 43rd International Conference on Software Engineering: Tool demos (ICSE-DEMOS), (Virtual) 2021 [PDF] [bibtex]

Facet-oriented modelling. 2021. Juan de Lara, Esther Guerra, Joerg Kienzle. ACM Transactions on Software Engineering and Methodology, Vol 30(3). [PDF] [bibtex]

Towards Domain-Specific Modelling Environments based on Augmented Reality. 2021. Lea Brunschwig, Ruben Campos-Lopez, Esther Guerra, Juan de Lara. IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER), (Virtual) 2021 pp.:56-60. [PDF] [bibtex]

Extensible Structural Analysis of Petri Net Product Lines. 2021. Elena Gomez-Martinez, Juan de Lara, Esther Guerra. LNCS Transactions on Petri Nets and other Models of Concurrency, Vol in press(). [PDF] [bibtex]

2020

Seed Model Synthesis for Testing Model-based Mutation Operators. 2020. Pablo Gomez-Abajo, Esther Guerra, Juan de Lara, Mercedes Merayo. CAiSE Forum, (Virtual) Springer [PDF] [bibtex]

MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems. 2020. Pablo C. Cañizares, Alberto Nuñez, Juan de Lara, Luis Llana. Journal of Systems and Software, Vol 163(). [PDF] [bibtex]

Automated Migration of EuGENia Graphical Editors to the Web. 2020. Fatima Rani, Pablo Diez, Enrique Chavarriaga, Esther Guerra, Juan de Lara. LowCode@MoDELS, (Virtual) 2020 [PDF] [bibtex]

Scalable modeling technologies in the wild: an experience report on wind turbines control applications development. 2020. Abel Gomez, Xabier Mendialdua, Konstantinos Barmpis, Gabor Bergmann, Jordi Cabot, Xabier de Carlos, Csaba Debreceni, Antonio Garmendia Jorge, Dimitris Kolovos, Juan de Lara. Software and Systems Modelling, Vol 19(5). pp.:1229-1261. [PDF] [bibtex]

TOTEM: Reconciling multi-level modelling with standard two-level modelling. 2020. Santiago P. Jacome-Guerrero, Juan de Lara. Computer Standards and interfaces, Vol 69(). [PDF] [bibtex]

Model driven Chatbot Development. 2020. Sara Perez-Soler, Esther Guerra, Juan de Lara. 39th International Conference on Conceptual Modelling (ER'2020), (Virtual) Springer [PDF] [bibtex]

Automated Variability Injection for Graphical Modelling Languages. 2020. Antonio Garmendia Jorge, Manuel Wimmer, Esther Guerra, Elena Gomez-Martinez, Juan de Lara. GPCE, (Virtual) 2020 [PDF] [bibtex]

Multi-level Model Product Lines. Open and closed variability for modelling language families. 2020. Juan de Lara, Esther Guerra. FASE'2020 (@ETAPS), (Dublin) LNCS [PDF] [bibtex]

Testing Chatbots with CHARM. 2020. Sergio Bravo-Santos, Esther Guerra, Juan de Lara. 13th International Conference on the Quality of Information and Communication Technology (QUATIC'2020), (Virtual) Springer [PDF] [bibtex]

Systematic Engineering of Mutation Operators. 2020. Pablo Gomez-Abajo, Esther Guerra, Juan de Lara, Mercedes Merayo. Journal of Object Technology, Vol 19(3). [PDF] [bibtex]

Towards access control for collaborative modelling apps. 2020. Lea Brunschwig, Esther Guerra, Juan de Lara. LowCode@MoDELS, (Virtual) 2020 [PDF] [bibtex]

Positioning-Based Domain-Specific Modelling through Mobile Devices. 2020. Alberto Sebastian-Lombraña, Esther Guerra, Juan de Lara. EUROMICRO conference on Software Engineering and Advanced Applications (SEAA'2020), (Virtual) IEEE Computer Society [PDF] [bibtex]

Collaborative modelling: chatbots or on-line tools? An experimental study. 2020. Ranci Ren, John Wilmar Castro, Adrian Santos, Silvia Teresita Acuña, Sara Perez-Soler, Juan de Lara. EASE'2019, (Trondheim) (ACM).[PDF] [bibtex]

Modelling Production System Families with AutomationML. 2020. Antonio Garmendia Jorge, Manuel Wimmer, Alexandra Mazak-Huemer, Esther Guerra, Juan de Lara. ETFA, (Vienna) 2020 [PDF] [bibtex]

Towards Automating the Synthesis of Chatbots for Conversational Model Query. 2020. Sara Perez-Soler, Gwendal Daniel, Jordi Cabot, Esther Guerra, Juan de Lara. EMMSAD'2020 (@ETAPS), (Virtual) LNCS [PDF] [bibtex]

Towards automating the construction of recommender systems for low-code development platforms. 2020. Lissette Almonte, Ivan Cantador, Esther Guerra, Juan de Lara. LowCode@MoDELS, (Virtual) 2020 [PDF] [bibtex]

2019

An expert system for checking the correctness of memory systems using simulation and metamorphic testing. 2019. Pablo C. Cañizares, Alberto Nuñez, Juan de Lara. Expert systems with applications, Vol 132(October). [PDF] [bibtex]

Towards extensible structural analysis of Petri net product lines. 2019. Elena Gomez-Martinez, Juan de Lara, Esther Guerra. PNSE'2019, (Aachen) CEUR [PDF] [bibtex]

Flexible modelling using conversational agents. 2019. Sara Perez-Soler, Esther Guerra, Juan de Lara. FlexMDE'2019, (Munich) IEEE [PDF] [bibtex]

Formal support of process chain networks using model-driven engineering and Petri nets. 2019. Elena Gomez-Martinez, Francisco Perez Blanco, Juan de Lara, Juan Manuel Vara, Esperanza Marcos. SAC'2019, (Cyprus) (ACM).[PDF] [bibtex]

Evaluation Techniques for Chatbot Usability: A Systematic Mapping Study. 2019. Ranci Ren, John Wilmar Castro, Silvia Teresita Acuña, Juan de Lara. International Journal of Software Engineering and Knowledge Engineering, Vol 29 (11-12)(). pp.:1673-1702. [PDF] [bibtex]

An example is worth a thousand words: Creating graphical modelling environments by example. 2019. Jesús Juan López-Fernández, Antonio Garmendia Jorge, Esther Guerra, Juan de Lara. Software and Systems Modeling (Springer), Vol 18(2). pp.:961-993. Best papers of ECMFA'16. [PDF] [bibtex]

Towards Conversational Syntax for Domain-Specific Languages using Chatbots. 2019. Sara Perez-Soler, Mario Gonzalez-Jimenez, Esther Guerra, Juan de Lara. Journal of Object Technology (proceedings ECMFA), Vol 18(2). [PDF] [bibtex]

Extremo: An Eclipse plugin for modelling and meta-modelling assistance. 2019. Ángel Mora-Segura, Juan de Lara. Science of Computer Programming, Vol in press(). [PDF] [bibtex]

Comparing and classifying model transformation reuse approaches across metamodels. 2019. Jean-Michel Bruel, Benoit Combemale, Esther Guerra, Jean-Marc Jezequel, Joerg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani, Hans Vangheluwe. Software and Systems Modeling, Vol in press(). [PDF] [bibtex]

Automated Reuse of Model Transformations through Typing Requirements Models. 2019. Juan de Lara, Esther Guerra, Davide di Ruscio, Juri di Rocco, Jesús Sánchez Cuadrado, Ludovico Iovino, Alfonso Pierantonio. ACM Transactions on Software Engineering and Methodology, Vol in press(). [PDF] [bibtex]

Domain-specific model differencing in visual concrete syntax. 2019. Manouchehr Zadahmad, Eugene Syriani, Omar Alam, Esther Guerra, Juan de Lara. SLE'2019, (Athens) ACM Distinguished Paper Award.[PDF] [bibtex]

Mutation testing for DSLs (tool demo). 2019. Pablo Gomez-Abajo, Esther Guerra, Juan de Lara, Mercedes Merayo. DSM'2019, (Athens) ACM [PDF] [bibtex]

Towards effective mutation testing for ATL. 2019. Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara. MODELS'2019, (Munich) IEEE [PDF] [bibtex]

Usability of Chatbots: A Systematic Mapping Study. 2019. Ranci Ren, John Wilmar Castro, Silvia Teresita Acuña, Juan de Lara. SEKE'2019, (Lisbon) (ACM).[PDF] [bibtex]

Scaling-up Domain-Specific Modelling Languages through Modularity Services. 2019. Antonio Garmendia Jorge, Esther Guerra, Juan de Lara, Antonio Garcia-Dominguez, Dimitris Kolovos. Information and Software Technology, Vol in press(). [PDF] [bibtex]

2018

Model transformation product lines. 2018. Juan de Lara, Esther Guerra, Marsha Chechik, Rick Salay. MODELS'2018: ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems, (Copenhagen) (ACM).[PDF] [bibtex]

SICOMORo-CM: Development of trustworthy systems via models and advanced tools. 2018. Elvira Albert, Pablo C. Cañizares, 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]

A tool for domain-independent model mutation. 2018. Pablo Gomez-Abajo, Esther Guerra, Juan de Lara, Mercedes Merayo. Science of Computer Programming (Elsevier), Vol 163(). pp.:85-92. [PDF] [bibtex]

AnATLyzer: An advanced IDE for ATL model transformations. 2018. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ICSE'2018: 40th International Conference on Software Engineering, (Gothenburg) (ACM). pp.:85-88. [PDF] [bibtex]

Controlling Meta-Model Extensibility in Model-Driven Engineering. 2018. Santiago P. Jacome-Guerrero, Juan de Lara. IEEE Access (IEEE), Vol 6(). [PDF] [bibtex]

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

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: 11th International Conference on Model Transformation, (Toulouse) LNCS 10888 (Springer). pp.:92-109. Best foundation paper award.[PDF] [bibtex]

Facet-Oriented Modelling: Open Objects for Model-Driven Engineering. 2018. Juan de Lara, Esther Guerra, Joerg Kienzle, Yanis Hattab. SLE'2018: ACM International Conference on Software Language Engineering, (Boston) (ACM).Best modelling paper award.[PDF] [bibtex]

On the quest for flexible modelling. 2018. Esther Guerra, Juan de Lara. MODELS'2018: ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems, (Copenhagen) (ACM).[PDF] [bibtex]

Refactoring multi-level models. 2018. Juan de Lara, Esther Guerra. ACM Transactions on Software Engineering and Methodology, Vol 27(4). [PDF] [bibtex]

Collaborative modelling and group-decision making using chatbots within social networks. 2018. Sara Perez-Soler, Esther Guerra, Juan de Lara. IEEE Software (IEEE), Vol in press(). [PDF] [bibtex]

Analysing Meta-Model Product Lines. 2018. Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay. SLE'2018: ACM International Conference on Software Language Engineering, (Boston) (ACM).[PDF] [bibtex]

Open meta-modelling frameworks via meta-object protocols. 2018. Jesús Sánchez Cuadrado, Juan de Lara. Journal of Systems and Software, Vol 145(). pp.:1-24. [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]

2017

Towards rearchitecting meta-models into multi-level models. 2017. Fernando Macias, Esther Guerra, Juan de Lara. ER'2017: 36th International Conference on Conceptual Modeling, (Valencia) LNCS 10650 (Springer). pp.:59-68. [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]

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

A domain-specific language for model mutation and its application to the automated generation of exercises. 2017. Pablo Gomez-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]

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: 20th International Conference on Fundamental Approaches to Software Engineering, (Uppsala) LNCS 10202 (Springer). pp.:264-282. [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]

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: ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, (Austin) IEEE (IEEE Comp. Sci.). pp.:12-22. [PDF] [bibtex]

OUTRIDER: Optimizing the mutation testing process in distributed environments. 2017. Pablo C. Cañizares, Alberto Nuñez, Juan de Lara. ICCS'2017, (Zurich) Procedia Computer Science 108 (Elsevier). pp.:505-514. [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]

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: ACM/IEEE 32nd International Conference on Automated Software Engineering, (Urbana) (ACM). pp.:723-728. [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 25(4). pp.:1-60. [PDF] [bibtex]

Automated analysis of integrity constraints in multi-level models. 2017. Esther Guerra, Juan de Lara. Data & Knowledge Engineering (Elsevier), Vol 107(). pp.:1-23. [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: ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, (Austin) IEEE (IEEE Comp. Sci.). pp.:75-82. [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]

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]

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]

Scalable model exploration for model-driven engineering. 2017. Antonio Jimenez Pastor, Antonio Garmendia Jorge, Juan de Lara. Journal of Systems and Software (Elsevier), Vol 132(October). pp.:204-225. [PDF] [bibtex]

2016

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]

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]

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

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

Wodel: A domain-specific language for model mutation. 2016. Pablo Gomez-Abajo, Esther Guerra, Juan de Lara. SAC'2016: 31st ACM Symposium on Applied Computing, (Pisa) (ACM). pp.:1968-1973. [PDF] [bibtex]

Towards enabling mobile domain-specific modelling. 2016. Diego Vaquero-Melchor, Antonio Garmendia Jorge, Esther Guerra, Juan de Lara. ICSOFT'2016: 11th International Conference on Software Paradigm Trends, (Lisbon) (SciTePress). pp.:117-122. [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]

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 Cordoba, Juan de Lara. Computer Languages, Systems and Structures (Elsevier), Vol 45(). pp.:164-190. [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: 12th European Conference on Modelling Foundations and Applications, (Vienna) LNCS 9764 (Springer). pp.:101-117. [PDF] [bibtex]

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

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]

2015

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]

Quick fixing ATL model transformations. 2015. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. MODELS'2015: ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, (Ottawa) (IEEE Computer Society). pp.:146-155. Springer best foundation paper award.[PDF] [bibtex]

A modelling language for the effective design of Java annotations. 2015. Irene Cordoba, 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]

Example-based Validation of domain-specific visual languages. 2015. Jesús Juan López-Fernández, Esther Guerra, Juan de Lara. SLE'2015: 8th ACM SIGPLAN International Conference on Software Language Engineering, (Pittsburg) (ACM). pp.:101-112. [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 563 (Springer). pp.:160-168. [PDF] [bibtex]

Fragmenta: A theory of fragmentation for MDE. 2015. Nuno Amalio, Juan de Lara, Esther Guerra. MODELS'2015: ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, (Ottawa) (IEEE Computer Society). pp.:106-115. [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: ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, (Ottawa) (IEEE Computer Society). pp.:166-175. [PDF] [bibtex]

A-posteriori typing for model-driven engineering. 2015. Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado. MODELS'2015: ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, (Ottawa) (IEEE Computer Society). pp.:156-165. [PDF] [bibtex]

Reusable model transformation components with bentō. 2015. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ICMT'2015: 8th International Conference on Model Transformation, (L'Aquila) LNCS 9152 (Springer). pp.:59-65. Best tool paper award.[PDF] [bibtex]

Scalable model exploration through abstraction and fragmentation strategies. 2015. Antonio Garmendia Jorge, Antonio Jimenez Pastor, Juan de Lara. BigMDE'2015, (L'Aquila) (CEUR). pp.:21-30. [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]

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]

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: 11th European Conference on Modelling Foundations and Applications, (L'Aquila) LNCS 9153 (Springer). pp.:18-32. [PDF] [bibtex]

2014

Towards automating the analysis of integrity constraints in multi-level models. 2014. Esther Guerra, Juan de Lara. MULTI'2014, (Valencia) (CEUR 1286). pp.:63-72. [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 1239). pp.:22-31. [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]

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]

Reverse engineering of model transformations for reusability. 2014. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ICMT'2014: 7th International Conference on Model Transformation, (York) LNCS 8568 (Springer). pp.:186-201. [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 systematic construction of domain-specific transformation languages. 2014. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ECMFA'2014: 10th European Conference on Modelling Foundations and Applications, (York) LNCS 8569 (Springer). pp.:196-212. [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]

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: 25th IEEE International Symposium on Software Reliability Engineering, (Naples) (IEEE Computer Society). pp.:34-44. [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 1235). pp.:3-12. [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]

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

Meta-model validation and verification with MetaBest. 2014. Jesús Juan López-Fernández, Esther Guerra, Juan de Lara. ASE'2014: 29th IEEE/ACM International Conference on Automated Software Engineering, (Vasteras) (ACM). pp.:831-834. [PDF] [bibtex]

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

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

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]

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]

2013

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]

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]

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]

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]

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]

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]

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

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

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]

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). pp.:1147-1156. [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 8091 (Springer). pp.:101-110. [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]

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]

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]

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) (ACM). pp.:31-36. [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]

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]

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 47 pp.:1-16. [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]

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]

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

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

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

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

2011

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

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

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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: 25th IEEE International Symposium on Software Reliability Engineering, (Naples) (IEEE Computer Society). pp.:34-44. [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]