miso
 
Home    
People    
Publications    
Tools    
Projects    

publications


Journals    
Conferences    
Books    
PhD    
All    



Publication

2018

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 in press(). [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]

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

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 in press(). [PDF] [bibtex]

2017

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]

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]

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]

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

A-posteriori typing for Model-Driven Engineering: Concepts, Analysis and Applications. 2017. Juan de Lara, Esther Guerra. ACM Transactions on Software Engineering and Methodology, Vol 25(4). pp.:1-60. [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. Best papers of ECMFA'16. [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]

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

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

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

2015

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

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

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

2014

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]

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

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

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]

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

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

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]

2013

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]

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]

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]

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]

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

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]

Publication

2018

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]

SICOMORo-CM: Development of trustworthy systems via models and advanced tools. 2018. 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]

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]

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]

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]

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).[PDF] [bibtex]

2017

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]

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: 36th International Conference on Conceptual Modeling, (Valencia) LNCS 10650 (Springer). pp.:59-68. [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]

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]

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

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]

2016

Wodel: A domain-specific language for model mutation. 2016. Pablo Gómez-Abajo, Esther Guerra, Juan de Lara. SAC'2016: 31st ACM Symposium on Applied Computing, (Pisa) (ACM). pp.:1968-1973. [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]

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

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

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

Towards enabling mobile domain-specific modelling. 2016. Diego Vaquero-Melchor, Antonio Garmendia Jorge, Esther Guerra, Juan de Lara. ICSOFT'2016: 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]

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

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]

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]

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]

2014

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]

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]

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]

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

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]

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]

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]

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]

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]

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]

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]

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

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

2010

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]

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]

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]

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]

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]

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]

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

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

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]

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

Publication

2017

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

2011

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

2010

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

Publication

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

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]

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 in press(). [PDF] [bibtex]

SICOMORo-CM: Development of trustworthy systems via models and advanced tools. 2018. 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]

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]

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]

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

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]

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]

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 in press(). [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).[PDF] [bibtex]

2017

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

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

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]

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

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]

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

A-posteriori typing for Model-Driven Engineering: Concepts, Analysis and Applications. 2017. Juan de Lara, Esther Guerra. ACM Transactions on Software Engineering and Methodology, Vol 25(4). pp.:1-60. [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. Best papers of ECMFA'16. [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]

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]

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

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]

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]

2016

Wodel: A domain-specific language for model mutation. 2016. Pablo Gómez-Abajo, Esther Guerra, Juan de Lara. SAC'2016: 31st ACM Symposium on Applied Computing, (Pisa) (ACM). pp.:1968-1973. [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]

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]

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]

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

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

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

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

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]

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

2015

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

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

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

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]

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]

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]

2014

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]

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]

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]

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

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]

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]

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

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]

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]

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]

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

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

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]

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]

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]

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

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

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]

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]

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). pp.:1147-1156. [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]

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]

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

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

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

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]

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

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

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]

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]

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]

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]

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]

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]

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

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]

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]

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]

2010

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]

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

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

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]

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]

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]

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]

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

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

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]

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

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

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

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]

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]

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

Publication

Reuse of Model Transformations

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

Domain Specific Languages

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

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

Model Transformation Verification and Validation

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

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

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

Uncovering errors in ATL model transformations using static analysis and constraint solving. 2014. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ISSRE'2014: 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]