Esther Guerra 

 
Home
Docencia/Teaching
Investigación/Research
Publicaciones/Publications
Herramientas/Tools
EPS Informática UAM
Universidad Autónoma
This page contains links to files in Postscript (ps) or Portable Document Format (pdf) of articles which may be covered by copyright. Copying or distributing these files may violate copyright law. In any case, don't hesitate to contact me if you need an electronic copy of some of the papers or presentations. You can also have a look at my publications from the DBLP server and Google Scholar.

International Journals

[35] “A domain-specific language for model mutation and its application to the automated generation of exercises”. 2017. Pablo Gómez-Abajo, Esther Guerra and Juan de Lara. Computer Languages, Systems & Structures (Elsevier), best papers of Programming Languages Track at SAC'2016. Volume 49. pp.: 152-173. [download] [bibtex]

[34] “A-posteriori typing for model-driven engineering: Concepts, analysis and applications”. 2017. Juan de Lara and Esther Guerra. ACM Transactions on Software Engineering and Methodology (ACM). Volume 25, Issue 4, Article 31. 60 pages. [download] [bibtex]

[33] “Automated analysis of integrity constraints in multi-level models”. 2017. Esther Guerra and Juan de Lara. Data & Knowledge Engineering (Elsevier). Volume 107. pp.: 1-23. [download] [bibtex]

[32] “Static analysis of model transformations”. 2016. Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara. IEEE Transactions on Software Engineering (IEEE Computer Society). In press. [download] [bibtex]

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

[30] “Quick fixing ATL transformations with speculative analysis”. 2016. Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara. Software and Systems Modeling (Springer), best papers of MODELS'2015. In press. [download] [bibtex]

[29] “Pattern-based rewriting through abstraction ”. 2016. Paolo Bottoni, Esther Guerra and Juan de Lara. Fundamenta Informaticae (IOS Press), Volume 144, Issue 2. pp.: 109-160. [download] [bibtex]

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

[27] “Example-driven meta-model development”. 2015. Jesús J. López-Fernández, Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara. Software and Systems Modeling (Springer), best papers of MODELS'2012, Volume 14, Issue 4. pp.: 1323-1347. [download] [bibtex]

[26] “Specification-driven model transformation testing”. 2015. Esther Guerra and Mathias Soeken. Software and Systems Modeling (Springer), best papers of ICMT'2012, Volume 14, Issue 2. pp.: 623-644. [download] [bibtex]

[25] “Model-driven engineering with domain-specific meta-modelling languages”. 2015. Juan de Lara, Esther Guerra and Jesús Sánchez Cuadrado. Software and Systems Modeling (Springer), best papers of ECMFA'2012, Volume 14, Issue 1. pp.: 429-459. [download] [bibtex]

[24] “When and how to use multilevel modelling”. 2014. Juan de Lara, Esther Guerra and Jesús Sánchez Cuadrado. ACM Transactions on Software Engineering and Methodology (ACM), Volume 24, Issue 2, Article 12. Selected by “Computing Reviews” as Notable Article in Computing 2014. [download] [bibtex]

[23] “A component model for model transformations”. 2014. Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara. IEEE Transactions on Software Engineering (IEEE Computer Society), Volume 40, Issue 11. pp.: 1042-1060. [download] [bibtex]

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

[21] “A formalisation of deep metamodelling”. 2014. Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle and Uwe Wolter. Formal Aspects of Computing (Springer), Volume 26, Issue 6. pp.: 1115-1152. [download] [bibtex]

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

[19] “Extending deep meta-modelling for practical model-driven engineering”. 2014. Juan de Lara, Esther Guerra, Ruth Cobos and Jaime Moreno-Llorena. The Computer Journal, Volume 57, Issue 1. pp.: 36-58. [download] [bibtex]

[18] “Domain-specific discrete event modelling and simulation using graph transformation”. 2014. Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel and Paolo Torrini. Software and Systems Modeling (Springer), best papers of ICGT'2010, Volume 13, Issue 1. pp.: 209-238. [download] [bibtex]

[17] “Reusable abstractions for modelling languages”. 2013. Juan de Lara, Esther Guerra and Jesús Sánchez Cuadrado. Information Systems (Elsevier), Volume 38, Issue 8. pp.: 1128-1149. [download] [bibtex]

[16] “Engineering model transformations with transML”. 2013. Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige and Osmar Marchi dos Santos. Software and Systems Modeling (Springer), Volume 12, Issue 3. pp.: 555-577. [download] [bibtex]

[15] “From types to type requirements: Genericity for model-driven engineering”. 2013. Juan de Lara and Esther Guerra. Software and Systems Modeling (Springer), Volume 12, Issue 3. pp.: 453-474. [download] [bibtex]

[14] “Genericity for model management operations”. 2013. Louis Rose, Esther Guerra, Juan de Lara, Anne Etien, Dimitrios S. Kolovos and Richard F. Paige. Software and Systems Modeling (Springer), Volume 12, Issue 1. pp.: 201-219. [download] [bibtex]

[13] “Inter-modelling with patterns”. 2013. Esther Guerra, Juan de Lara and Fernando Orejas. Software and Systems Modeling (Springer), best papers of ICMT'2009, Volume 12, Issue 1. pp.: 145-174. [download] [bibtex]

[12] “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 and Wieland Schwinger. Automated Software Engineering (Springer), Volume 20, Issue 1. pp.: 5-46. [download] [bibtex]

[11] “Flexible model-to-model transformation templates: An application to ATL”. 2012. Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara. The Journal of Object Technology, Volume 11, no. 2. [download] [bibtex]

[10] “An algebraic semantics for QVT-Relations check-only transformations”. 2012. Esther Guerra and Juan de Lara. Fundamenta Informaticae (IOS Press), Volume 114. pp.: 1-29. [download] [bibtex]

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

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

[7] “A UML/OCL framework for the analysis of graph transformation rules”. 2010. Jordi Cabot, Robert Clarisó, Esther Guerra and Juan de Lara. Software and Systems Modeling (Springer), best papers of ICMT'2008, Volume 9, Issue 3. pp.: 335-357. [download] [bibtex]

[6] “A meta-modeling based approach for the multi-disciplinary design of web educational systems”. 2009. Paloma Díaz, Esther Guerra, Telmo Zarraonandia, Ignacio Aedo and Carmen L. Padrón. Journal of Universal Computer Science, special issue on Computers in Education: Advances in Software Technology (selected papers from SIIE'2008), Volume 15, Issue 7. pp.: 1440-1454. [download] [bibtex]

[5] “Supporting user-oriented analysis for multi-view domain-specific visual languages”. 2009. Esther Guerra, Juan de Lara, Alessio Malizia and Paloma Díaz. Information & Software Technology (Elsevier), Volume 51, Issue 4. pp.: 769-784. [download] [bibtex]

[4] “Enforced generative patterns for the specification of the syntax and semantics of visual languages”. 2008. Paolo Bottoni, Esther Guerra and Juan de Lara. Journal of Visual Languages and Computing (Elsevier), Volume 19, Issue 4. pp.: 429-455. Selected papers from VL/HCC'2007. [download] [bibtex]

[3] “Visual specification of measurements and redesigns for domain specific visual languages”. 2008. Esther Guerra, Juan de Lara and Paloma Díaz. Journal of Visual Languages and Computing (Elsevier), Volume 19, Issue 3. pp.: 399-425. [download] [bibtex]

[2] “Event-driven grammars: Relating abstract and concrete levels of visual languages”. 2007. Esther Guerra and Juan de Lara. Software and Systems Modeling (Springer), special section on ICGT'2004, Volume 6, Issue 3. pp.: 317-347. [download] [bibtex]

[1] “Generación de entornos de modelado avanzados mediante técnicas de transformación de grafos”. 2006. Esther Guerra, Paloma Díaz and Juan de Lara. Revista IEEE América Latina (IEEE Latin-America), Volume 4, Issue 2, April 2006. Special Edition - JISBD'2005. [download] [bibtex]

LNCS & ENTCS

[40] “Towards rearchitecting meta-models into multi-level models”. 2017. Fernando Macías, Esther Guerra and Juan de Lara. To be published as Lecture Notes in Computer Science, Springer. To be presented at ER'17: 36th International Conference on Conceptual Modeling. [download] [bibtex]

[39] “Reusing model transformations through typing requirements models”. 2017. Juan de Lara, Juri Di Rocco, Davide Di Ruscio, Esther Guerra, Ludovico Iovino, Alfonso Pierantonio and Jesús Sánchez Cuadrado. Lecture Notes in Computer Science 10202, Springer. pp.: 264-282. Presented at FASE'17: 20th International Conference on Fundamental Approaches to Software Engineering. [download] [bibtex]

[38] “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 and Esther Guerra. Lecture Notes in Computer Science 9765, Springer. pp.: 70-78. Presented at ICMT'16: 9th International Conference on Model Transformation. [download] [bibtex]

[37] “Example-based generation of graphical modelling environments”. 2016. Jesús J. López-Fernández, Antonio Garmendia, Esther Guerra and Juan de Lara. Lecture Notes in Computer Science 9764, Springer. pp.: 101-117. Presented at ECMFA'16: 12th European Conference on Modelling Foundations and Applications. [download] [bibtex]

[36] “Reusable model transformation components with Bento”. 2015. Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara. Lecture Notes in Computer Science 9152, Springer. pp.: 59-65. Presented at ICMT'15: 8th International Conference on Model Transformation. Best Tool Paper Award. [download] [bibtex]

[35] “A comparison of two-level and multi-level modelling for cloud-based applications”. 2015. Alessandro Rossini, Juan de Lara, Esther Guerra and Nikolay Nikolov. Lecture Notes in Computer Science 9153, Springer. pp.: 18-32. Presented at ECMFA'15: 11th European Conference on Modelling Foundations and Applications. [download] [bibtex]

[34] “Reverse engineering of model transformations for reusability”. 2014. Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara. Lecture Notes in Computer Science 8568, Springer. pp.: 186-201. Presented at ICMT'14: 7th International Conference on Model Transformation. [download] [bibtex]

[33] “Towards the systematic construction of domain-specific transformation languages”. 2014. Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara. Lecture Notes in Computer Science 8569, Springer. pp.: 196-212. Presented at ECMFA'14: 10th European Conference on Modelling Foundations and Applications. [download] [bibtex]

[32] “Engaging end-users in the collaborative development of domain-specific languages”. 2013. Javier Luis Cánovas Izquierdo, Jordi Cabot, Jesús J. López-Fernández, Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara. Lecture Notes in Computer Science 8091, Springer. pp.: 101-110. Presented at CDVE'13: 10th International Conference on Cooperative Design, Visualization and Engineering. [download] [bibtex]

[31] “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 and Jesús Sánchez Cuadrado. Lecture Notes in Computer Science 7949, Springer. pp.: 179-191. Presented at ECMFA'13: 9th European Conference on Modelling Foundations and Applications. [download] [bibtex]

[30] “Checking model transformation refinement”. 2013. Fabian Büttner, Marina Egea, Esther Guerra and Juan de Lara. Lecture Notes in Computer Science 7909, Springer. pp.: 158-173. Presented at ICMT'13: 6th International Conference on Model Transformation. [download] [bibtex]

[29] “The program is the model: Enabling transformations@run.time”. 2012. Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara. Lecture Notes in Computer Science 7745, Springer. pp.: 104-123. Presented at SLE'12: 5th International Conference on Software Language Engineering. [download] [bibtex]

[28] “Bottom-up meta-modelling: An interactive approach”. 2012. Juan de Lara, Jesús Sánchez Cuadrado and Esther Guerra. Lecture Notes in Computer Science 7590, Springer. pp.: 3-19. Presented at MODELS'12: ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems. Springer Best Paper Award. [download] [bibtex]

[27] “Domain-specific textual meta-modelling languages for model-driven engineering”. 2012. Juan de Lara and Esther Guerra. Lecture Notes in Computer Science 7349, Springer. pp.: 259-274. Presented at ECMFA'12: 8th European Conference on Modelling Foundations and Applications. [download] [bibtex]

[26] “Specification-driven test generation for model transformations”. 2012. Esther Guerra. Lecture Notes in Computer Science 7307, Springer. pp.: 40-55. Presented at ICMT'12: 5th International Conference on Model Transformation. [download] [bibtex]

[25] “Abstracting modelling languages: A reutilization approach”. 2012. Juan de Lara, Esther Guerra and Jesús Sánchez Cuadrado. Lecture Notes in Computer Science 7328, Springer. pp.: 127-143. Presented at CAiSE'12: 24th International Conference on Advanced Information Systems Engineering. [download] [bibtex]

[24] “Reusable graph transformation templates”. 2011. Juan de Lara and Esther Guerra. Lecture Notes in Computer Science 7233, Springer. Presented at AGTIVE'11: 4th International Symposium on Applications of Graph Transformation with Industrial Relevance. [download] [bibtex]

[23] “A graph transformation-based semantics for deep metamodelling”. 2011. Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle and Yngve Lamo. Lecture Notes in Computer Science 7233, Springer. Presented at AGTIVE'11: 4th International Symposium on Applications of Graph Transformation with Industrial Relevance. [download] [bibtex]

[22] “Towards a functional characterization of collaborative systems”. 2011. Jaime Moreno-Llorena, Iván Claros, Rafael Martín, Ruth Cobos, Juan de Lara and Esther Guerra. Lecture Notes in Computer Science 6874, Springer. pp.: 182-185. Presented at CDVE'11: 8th International Conference on Cooperative Design, Visualization and Engineering. [download] [bibtex]

[21] “Generic model transformations: Write once, reuse everywhere”. 2011. Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara. Lecture Notes in Computer Science 6707, Springer. pp.: 62-77. Presented at ICMT'11: 4th International Conference on Model Transformation. [download] [bibtex]

[20] “transML: A family of languages to model model transformations”. 2010. Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige and Osmar Marchi dos Santos. Lecture Notes in Computer Science 6394, Part I, Springer. pp.: 106-120. Presented at MODELS'10: ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems. ACM/SIGSOFT distinguished paper award. [download] [bibtex]

[19] “Inter-modelling: From theory to practice”. 2010. Esther Guerra, Juan de Lara, Dimitrios S. Kolovos and Richard F. Paige. Lecture Notes in Computer Science 6394, Part I, Springer. pp.: 376-391. Presented at MODELS'10: ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems. [download] [bibtex]

[18] “Generic meta-modelling with concepts, templates and mixin layers”. 2010. Juan de Lara and Esther Guerra. Lecture Notes in Computer Science 6394, Part I, Springer. pp.: 16-30. Presented at MODELS'10: ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems. [download] [bibtex]

[17] “Graph transformation for domain-specific discrete event time simulation”. 2010. Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel and Paolo Torrini. Lecture Notes in Computer Science 6372, Springer. pp.: 266-281. Presented at ICGT'10: 5th International Conference on Graph Transformation. EASST award for the Best Software Science Paper. [download] [bibtex]

[16] “Deep meta-modelling with MetaDepth”. 2010. Juan de Lara and Esther Guerra. Lecture Notes in Computer Science 6141, Springer. pp.: 1-20. Presented at TOOLS Europe 2010: 48th International Conference on Objects, Models, Components, Patterns. [download] [bibtex]

[15] “Synthesis of OCL pre-conditions for graph transformation rules”. 2010. Jordi Cabot, Robert Clarisó, Esther Guerra and Juan de Lara. Lecture Notes in Computer Science 6142, Springer. pp.: 45-60. Presented at ICMT'10: 3rd International Conference on Model Transformation. [download] [bibtex]

[14] “Formal support for QVT-relations with coloured Petri nets”. 2009. Juan de Lara and Esther Guerra. Lecture Notes in Computer Science 5795, Springer. pp.: 256-270. Presented at MODELS'09: ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems. [download] [bibtex]

[13] “Correctness, completeness and termination of pattern-based model-to-model transformation”. 2009. Fernando Orejas, Esther Guerra, Juan de Lara and Hartmut Ehrig. Lecture Notes in Computer Science 5728, Springer. pp.: 383-397. Presented at CALCO'09: 3rd Conference on Algebra and Coalgebra in Computer Science. [download] [bibtex]

[12] “Pattern-based model-to-model transformation: Handling attribute conditions”. 2009. Esther Guerra, Juan de Lara and Fernando Orejas. Lecture Notes in Computer Science 5563, Springer. pp.: 83-99. Presented at ICMT'09: 2nd International Conference on Model Transformation. [download] [bibtex]

[11] “Formal foundation for pattern-based modelling”. 2009. Paolo Bottoni, Esther Guerra and Juan de Lara. Lecture Notes in Computer Science 5503, Springer. pp.: 278-293. Presented at FASE'09: 12th International Conference on Fundamental Approaches to Software Engineering. [download] [bibtex]

[10] “Analyzing rule-based behavioural semantics of visual modeling languages with Maude”. 2008. José Eduardo Rivera, Esther Guerra, Juan de Lara and Antonio Vallecillo. Lecture Notes in Computer Science 5452, Springer. pp.: 54-73. Presented at SLE'08: 1st International Conference on Software Language Engineering. [download] [bibtex]

[9] “An invariant-based method for the analysis of declarative model-to-model transformations”. 2008. Jordi Cabot, Robert Clarisó, Esther Guerra and Juan de Lara. Lecture Notes in Computer Science 5301, Springer. pp.: 37-52. Presented at MODELS'08: ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems. [download] [bibtex]

[8] “Pattern-based model-to-model transformation ”. 2008. Juan de Lara and Esther Guerra. Lecture Notes in Computer Science 5214, Springer. pp.: 426-441. Presented at ICGT'08: 4th International Conference on Graph Transformation. EASST award for the Best Software Science Paper. [download] [bibtex] [award]

[7] “Analysing graph transformation rules through OCL ”. 2008. Jordi Cabot, Robert Clarisó, Esther Guerra and Juan de Lara. Lecture Notes in Computer Science 5063, Springer. pp.: 229-244. Presented at ICMT'08: International Conference on Model Transformation. [download] [bibtex]

[6] “Domain specific languages with graphical and textual views”. 2008. Francisco Pérez, Juan de Lara and Esther Guerra. Lecture Notes in Computer Science 5088, Springer. pp.: 82-97. Presented at AGTIVE'07: 3rd International Workshop on Applications of Graph Transformation with Industrial Relevance. [download] [bibtex]

[5] “Visual specification of metrics for domain specific visual languages”. 2008. Esther Guerra, Paloma Díaz and Juan de Lara. Electronic Notes in Theoretical Computer Science 211, Elsevier. pp.: 99-110. Presented at GT-VMT'06: 5th International Workshop on Graph Transformation and Visual Modeling Techniques (satellite event of ETAPS'06). [download] [bibtex]

[4] “A transformation-driven approach to the verification of security policies in web designs”. 2007. Esther Guerra, Daniel Sanz, Paloma Díaz and Ignacio Aedo. Lecture Notes in Computer Science 4607, Springer. pp.: 269-284. Presented at ICWE'07: 7th International Conference on Web Engineering. [download] [bibtex]

[3] “Model view management with triple graph transformation systems”. 2006. Esther Guerra and Juan de Lara. Lecture Notes in Computer Science 4178, Springer. pp.: 351-366. Presented at ICGT'06: 3rd International Conference on Graph Transformation. [download] [bibtex]

[2] “Event-driven grammars: Towards the integration of meta-modelling and graph transformation”. 2004. Esther Guerra and Juan de Lara. Lecture Notes in Computer Science 3256, Springer. pp.: 54-69. Presented at ICGT'04: 2nd International Conference on Graph Transformation. [download] [bibtex]

[1] “Meta-modelling, graph transformation and model checking for the analysis of hybrid systems”. 2003. Juan de Lara, Esther Guerra and Hans Vangheluwe. Lecture Notes in Computer Science 3062, Springer. pp.: 292-298. Presented in AGTIVE'03: 2nd International Workshop on Applications of Graph Transformation with Industrial Relevance. [download] [bibtex]

Refereed International Conferences and Workshops

[46] “The rise of the (modelling) bots: Towards assisted modelling via social networks”. 2017. Sara Pérez-Soler, Esther Guerra, Juan de Lara and Francisco Jurado. To be presented at ASE'17: ACM/IEEE 32nd International Conference on Automated Software Engineering. [download] [bibtex]

[45] “Assisted modelling over social networks with SOCIO”. 2017. Sara Pérez-Soler, Esther Guerra and Juan de Lara. To be presented at the Tools and Demonstrations Track of MODELS'17: ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems. [download] [bibtex]

[44] “Translating target to source constraints in model-to-model transformations”. 2017. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara, Robert Clarisó and Jordi Cabot. To be presented at MODELS'17: ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems. [download] [bibtex]

[43] “Active domain-specific languages: Making every mobile user a modeller”. 2017. Diego Vaquero-Melchor, Javier Palomares, Esther Guerra and Juan de Lara. To be presented at MODELS'17: ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems. [download] [bibtex]

[42] “SICOMORo-CM: Development of trustworthy systems via models and advanced tools”. 2017. Elvira Albert, Pablo C. Cañizares, Esther Guerra, Juan de Lara, Esperanza Marcos, Manuel Núñez, Guillermo Román-Díez, Juan Manuel Vara and Damiano Zanardini. To be presented at STAF 2017 Projects Showcase. [download] [bibtex]

[41] “A feature-based comparison of Melanee and Metadepth”. 2016. Colin Atkinson, Ralph Gerbig, Juan de Lara and Esther Guerra. Presented at MULTI'16: 3rd International Workshop on Multi-level Modeling (satellite event of ACM/IEEE MODELS'16). Proceedings published as Vol. 1722 of CEUR. pp.: 25-34. [download] [bibtex]

[40] “MONDO: Scalable modelling and model management on the Cloud”. 2016. Dimitris Kolovos, Antonio García-Domínguez, Richard Paige, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara, Istvan Rath, Daniel Varro, Gerson Sunyé and Massimo Tisi. Presented at STAF 2016 Projects Showcase. Proceedings published as Vol. 1675 of CEUR. pp.: 55-64. [download] [bibtex]

[39] “Towards enabling mobile domain-specific modelling”. 2016. Diego Vaquero-Melchor, Antonio Garmendia, Esther Guerra and Juan de Lara. Presented at ICSOFT-PT'16: 11th International Conference on Software Paradigm Trends. pp. 117-122. SciTePress. [download] [bibtex]

[38] “Wodel: a domain-specific language for model mutation”. 2016. Pablo Gómez-Abajo, Esther Guerra and Juan de Lara. Proceedings of SAC'16: 31st ACM Symposium on Applied Computing. pp. 1968-1973. ACM. [download] [bibtex]

[37] “Example-based validation of domain-specific visual languages”. 2015. Jesús J. López-Fernández, Esther Guerra and Juan de Lara. Proceedings of SLE'15: 8th ACM SIGPLAN International Conference on Software Language Engineering. pp. 101-112. ACM. [download] [bibtex]

[36] “Quick fixing ATL model transformations”. 2015. Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara. Proceedings of MODELS'15: ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems. pp. 146-155. IEEE. Springer Best Foundation Paper Award. [download] [bibtex]

[35] “A-posteriori typing for model-driven engineering”. 2015. Juan de Lara, Esther Guerra and Jesús Sánchez Cuadrado. Proceedings of MODELS'15: ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems. pp. 156-165. IEEE. [download] [bibtex]

[34] “Pattern-based development of domain-specific modelling languages”. 2015. Ana Pescador, Antonio Garmendia, Esther Guerra, Jesús Sánchez Cuadrado and Juan de Lara. Proceedings of MODELS'15: ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems. pp. 166-175. IEEE. [download] [bibtex]

[33] “Fragmenta: a theory of fragmentation for MDE”. 2015. Nuno Amalio, Juan de Lara and Esther Guerra. Proceedings of MODELS'15: ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems. pp. 106-115. IEEE. [download] [bibtex]

[32] “Towards the generation of graphical modelling environments aided by patterns”. 2015. Antonio Garmendia, Ana Pescador, Esther Guerra and Juan de Lara. Communications in Computer and Information Science 563, Springer. pp.: 160-168. Presented at SLATE'15: Symposium on Languages, Applications and Technologies. [download] [bibtex]

[31] “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 Varro, Gerson Sunyé and Massimo Tisi. Presented at Projects Showcase (satellite event of STAF 2015 conferences). Proceedings published as Vol. 1400 of CEUR. pp.: 44-53. [download] [bibtex]

[30] “Uncovering errors in ATL model transformations using static analysis and constraint solving”. 2014. Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara. Proceedings of ISSRE'14: 25th IEEE International Symposium on Software Reliability Engineering (IEEE). pp.: 34-44. [download] [bibtex]

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

[28] “Towards automating the analysis of integrity constraints in multi-level models”. 2014. Esther Guerra and Juan de Lara. Proceedings of MULTI'14: International Workshop on Multi-level Modeling (satellite event of ACM/IEEE MODELS'14). Proceedings published as Vol. 1286 of CEUR. pp.: 63-72. [download] [bibtex]

[27] “Assessing the quality of meta-models”. 2014. Jesús J. López-Fernández, Esther Guerra and Juan de Lara. Presented at MoDeVVa'14: 11th International Workshop on Model-Driven Engineering, Verification, and Validation (satellite event of ACM/IEEE MODELS'14). Proceedings published as Vol. 1235 of CEUR. pp.: 3-12. [download] [bibtex]

[26] “EMF Splitter: A structured approach to EMF modularity”. 2014. Antonio Garmendia, Esther Guerra, Dimitrios S. Kolovos and Juan de Lara. Presented at XM'14: 3rd International Extreme Modeling Workshop (satellite event of ACM/IEEE MODELS'14). Proceedings published as Vol. 1239 of CEUR. pp.: 22-31. [download] [bibtex]

[25] “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ó, István Ráth, Massimo Tisi, Jesús Sánchez Cuadrado and Jordi Cabot. Proceedings of Big MDE'13: International Workshop on Scalability in Model-Driven Engineering (satellite event of STAF conferences). ACM. [download] [bibtex]

[24] “Integrating open services for building educational environments”. 2013. Iván Claros, Ruth Cobos, Esther Guerra, Juan de Lara, Ana Pescador and Jesús Sánchez Cuadrado. Proceedings of EDUCON'13: 4th IEEE Global Engineering Education Conference (IEEE). pp.: 1147-1156. [download] [bibtex]

[23] “Composing textual modelling languages in practice”. 2012. Bart Meyers, Antonio Cicchetti, Esther Guerra and Juan de Lara. Proceedings of MPM'12: 6th International Workshop on Multi-Paradigm Modeling (satellite event of ACM/IEEE MODELS'12). ACM. pp.: 31-36. [download] [bibtex]

[22] “Inter-modelling with graph constraints: Foundations and applications”. 2012. Juan de Lara and Esther Guerra. Invited talk at GTVMT'12: 11th International Workshop on Graph Transformation and Visual Modeling Techniques (satellite event of ETAPS'12). Proceedings published as Vol. 47 of Electronic Communications of the EASST. [download] [bibtex]

[21] “EMF on Rails”. 2012. Rosa López-Landa, Julieta Noguez, Esther Guerra and Juan de Lara. Proceedings of ICSOFT 2012: 7th International Conference on Software Paradigm Trends. SciTePress. pp.: 273-278. [download] [bibtex]

[20] “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 and Juan de Lara. Presented at MPM'11: 5th International Workshop on Multi-Paradigm Modeling (satellite event of ACM/IEEE MODELS'11). Proceedings published as Vol. 50 of Electronic Communications of the EASST. [download] [bibtex]

[19] “REUSES: Questionnaire-driven design for the automatic generation of web-based collaborative applications”. 2011. Ruth Cobos, Rafael Martín, Jaime Moreno-Llorena, Esther Guerra and Juan de Lara. Proceedings of CollaborateCom 2011: 7th International Conference on Collaborative Computing: Networking, Applications and Worksharing. IEEE. pp.: 9-18. [download] [bibtex]

[18] “A visual specification language for model-to-model transformations”. 2010. Esther Guerra, Juan de Lara, Dimitrios S. Kolovos and Richard F. Paige. Proceedings of VL/HCC'10: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing. pp. 119-126. IEEE CS Press. [download] [bibtex]

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

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

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

[14] “LDCake: A visual editor of Unit of Learnings”. 2009. Telmo Zarraonandia, Esther Guerra, Paloma Díaz and Ignacio Aedo. Proceedings of CELDA'09: 2009 International Conference on Cognition and Exploratory Learning in Digital Age. [download] [bibtex]

[13] “A framework for the multi-disciplinary design of web educational systems”. 2009. Telmo Zarraonandia, Paloma Díaz, Esther Guerra, Mario Rafael Ruiz Vargas and Ignacio Aedo. Proceedings of ICALT'09: 9th IEEE International Conference on Advanced Learning Technologies. pp.: 45-49. IEEE CS Press. [download] [bibtex]

[12] “Integrando perspectivas de diseño para el desarrollo de sistemas Web de tele-educación”. 2008. Esther Guerra, Telmo Zarraonandia, Paloma Díaz and Ignacio Aedo. Proceedings of SIIE'08: X Simposio Internacional de Informática Educativa. pp.: 47-52. [download] [bibtex]

[11] “Model-driven development of digital libraries: Validation, analysis and code generation”. 2008. Esther Guerra, Juan de Lara and Alessio Malizia. Lecture Notes in Business Information Processing 8, Springer. pp.: 169-183. Presented in WEBIST'07: 3rd International Conference on Web Systems and Technologies. [download] [bibtex]

[10] “Designing PRIMA: A precise visual language for modeling with agents, in a physical environment”. 2007. Alexandre Muzy, Juan de Lara and Esther Guerra. Proceedings of MSV'07: 2007 International Conference on Modeling, Simulation and Visualization Methods. pp.: 231-238. CSREA Press. [download] [bibtex]

[9] “Action patterns for the incremental specification of the execution semantics of visual languages”. 2007. Paolo Bottoni, Juan de Lara and Esther Guerra. Proceedings of VLHCC'07: 2007 International Symposium on Visual Languages and Human-Centric Computing. pp.: 163-170. IEEE CS Press. [download] [bibtex]

[8] “Adding recursion to graph transformation”. 2007. Esther Guerra and Juan de Lara. Presented at GTVMT'07: 6th International Workshop on Graph Transformation and Visual Modeling Techniques (satellite event of ETAPS'07). Proceedings published as Vol. 6 (2007) of Electronic Communications of the EASST. [download] [bibtex]

[7] “Triple patterns: Compact specification for the generation of operational triple graph grammar rules”. 2007. Juan de Lara, Esther Guerra and Paolo Bottoni. Presented at GTVMT'07: 6th International Workshop on Graph Transformation and Visual Modeling Techniques (satellite event of ETAPS'07). Proceedings published as Vol. 6 (2007) of Electronic Communications of the EASST. [download] [bibtex]

[6] “Metamodel-based definition of interaction with visual environments”. 2006. Paolo Bottoni, Esther Guerra and Juan de Lara. Presented at MDDAUI'06: 2nd International Workshop on Model Driven Development of Advanced User Interfaces (satellite event of MoDELS'06). Proceedings published as Vol. 214 of CEUR. [download] [bibtex]

[5] “Model-driven development of digital libraries: Generating the user interface”. 2006. Alessio Malizia, Esther Guerra and Juan de Lara. Presented at MDDAUI'06: 2nd International Workshop on Model Driven Development of Advanced User Interfaces (satellite event of MoDELS'06). Proceedings published as Vol. 214 of CEUR. [download] [bibtex]

[4] “Graph transformation vs OCL for view definition”. 2006. Esther Guerra and Juan de Lara. Presented at WAFOCA'06: 1st International Workshop on OCL and Applications. [download] [bibtex]

[3] “Model transformation by graph transformation: A comparative study”. 2005. Gabriele Taentzer, Karsten Ehrig, Esther Guerra, Juan de Lara, Laszlo Lengyel, Tihamer Levendovszky, Ulrike Prange, Daniel Varro and Szilvia Varro-Gyapay. Presented at MTiP'05: Model Transformation in Practice (workshop at MODELS'05). [download] [bibtex]

[2] “A formal approach to the generation of visual language environments supporting multiple views”. 2005. Esther Guerra, Paloma Díaz and Juan de Lara. Proceedings of VL/HCC'05: 2005 IEEE International Symposium on Visual Languages and Human-Centric Computing. pp.: 284-286. IEEE CS Press. [download] [bibtex]

[1] “A multi-view component modelling language for systems design: Checking consistency and timing constraints”. 2005. Juan de Lara, Esther Guerra and Hans Vangheluwe. Proceedings of VMSIS'05: 2005 Workshop on Visual Modeling for Software Intensive Systems (satellite event of VL/HCC'05). pp.: 27-34. [download proc.] [bibtex]

Spanish Conferences

[5] “Análisis de transformaciones ATL con AnATLyzer”. 2016. Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara. Proceedings of JISBD'16: XXI Jornadas de Ingeniería del Software y Bases de Datos. [download] [bibtex]

[4] “Formal support for model driven development with graph transformation techniques”. 2005. Juan de Lara and Esther Guerra. Presented at DSDM'05: II Taller sobre Desarrollo Dirigido por Modelos, MDA y Aplicaciones. Proceedings published as Vol. 157 of CEUR. [download] [bibtex]

[3] “Supporting the automatic generation of advanced modelling environments with graph transformation techniques”. 2005. Esther Guerra, Paloma Díaz and Juan de Lara. Proceedings of JISBD'05: X Jornadas de Ingeniería del Software y Bases de Datos. pp.: 67-74. [download] [bibtex]

[2] “Towards the uniform manipulation of visual and textual languages in AToM3”. 2003. Juan de Lara and Esther Guerra. Proceedings of PROLE'03: III Jornadas de Programación y Lenguajes. pp.: 45-58. [download] [bibtex]

[1] “A framework for the verification of UML models. Examples using Petri nets”. 2003. Esther Guerra and Juan de Lara. Proceedings of JISBD'03: VIII Jornadas de Ingeniería del Software y Bases de Datos. pp.: 325-334. [download] [bibtex]

Chapters in Books

[7] “Domain-specific modelling using mobile devices”. 2017. Diego Vaquero-Melchor, Antonio Garmendia, Esther Guerra and Juan de Lara. ICSOFT 2016 (selected papers). Communications in Computer and Information Science 743, Springer. pp.: 1-18. [download] [bibtex]

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

[5] “Controlling reuse in pattern-based model-to-model transformations”. 2010. Esther Guerra, Juan de Lara and Fernando Orejas. Chapter of the book “Graph Transformations and Model Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday”, Lecture Notes in Computer Science 5765, Springer. pp.: 175-201. [download] [bibtex]

[4] “Integrating measures and redesigns in the definition of domain specific visual languages”. 2008. Esther Guerra, Juan de Lara and Paloma Díaz. Chapter of the book “Model-driven Software Development: Integrating Quality Assurance”, Idea Group Publishers. Edited by Joerg Rech and Christian Bunse. [download] [bibtex]

[3] “Model driven formal development of digital libraries”. 2007. Esther Guerra, Juan de Lara and Alessio Malizia. WEBIST 2007 (selected papers). Lecture Notes in Business Information Processing 8, Springer. pp.: 169-183. [download] [bibtex]

[2] “Meta-modelling and graph transformation for the definition of multi-view visual languages”. 2007. Esther Guerra and Juan de Lara. Chapter of the book “Visual Languages for Interactive Computing: Definitions and Formalization”, Idea Group Publishers. Edited by Fernando Ferri. [download] [bibtex]

[1] “Model-based development: Meta-modelling, transformation and verification”. 2005. Juan de Lara, Esther Guerra and Hans Vangheluwe. Chapter of the book “Management of the Object-Oriented Development Process”, Idea Group Publishers. Edited by Liping Liu and Boris Roussev. [download] [bibtex]

Reports

[1] “Attributed typed triple graph transformation with inheritance in the Double Pushout approach”. 2006. Esther Guerra and Juan de Lara. Technical Report UC3M-TR-CS-06-01 of the Universidad Carlos III of Madrid. [download] [bibtex]

PhD Thesis

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



Maintained by Esther Guerra. July 2017.