@inproceedings{LaraG08, title = {Pattern-Based Model-to-Model Transformation}, author = {Juan de Lara and Esther Guerra}, year = {2008}, doi = {10.1007/978-3-540-87405-8_29}, url = {http://dx.doi.org/10.1007/978-3-540-87405-8_29}, tags = {model-to-model transformation, rule-based, meta-model, source-to-source, model transformation, Meta-Environment, open-source, transformation}, researchr = {https://researchr.org/publication/LaraG08}, cites = {0}, citedby = {0}, pages = {426-441}, booktitle = {gg}, } @inproceedings{MuzyLG07, title = {Designing PRIMA: A Precise Visual Language for Modeling with Agents, in a Physical environment}, author = {Alexandre Muzy and Juan de Lara and Esther Guerra}, year = {2007}, tags = {meta-model, modeling language, modeling, language modeling, Meta-Environment}, researchr = {https://researchr.org/publication/MuzyLG07}, cites = {0}, citedby = {0}, pages = {231-238}, booktitle = {vveis}, } @inproceedings{LaraG10, title = {Deep Meta-modelling with MetaDepth}, author = {Juan de Lara and Esther Guerra}, year = {2010}, doi = {10.1007/978-3-642-13953-6_1}, url = {http://dx.doi.org/10.1007/978-3-642-13953-6_1}, tags = {meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/LaraG10}, cites = {0}, citedby = {0}, pages = {1-20}, booktitle = {TOOLS}, } @inproceedings{CabotCGL08:0, title = {Analysing Graph Transformation Rules through OCL}, author = {Jordi Cabot and Robert Clarisó and Esther Guerra and Juan de Lara}, year = {2008}, doi = {10.1007/978-3-540-69927-9_16}, url = {http://dx.doi.org/10.1007/978-3-540-69927-9_16}, tags = {OCL, rule-based, graph transformation, graph-rewriting, rules, rewriting, transformation}, researchr = {https://researchr.org/publication/CabotCGL08%3A0}, cites = {0}, citedby = {0}, pages = {229-244}, booktitle = {ICMT}, } @inproceedings{GuerraL03, title = {A Framework for the Verification of UML Models. Examples Using Petri Nets}, author = {Esther Guerra and Juan de Lara}, year = {2003}, tags = {UML}, researchr = {https://researchr.org/publication/GuerraL03}, cites = {0}, citedby = {0}, pages = {325-334}, booktitle = {jisbd}, } @inproceedings{Guerra:MoDELS:2010, title = {Inter-Modelling: from Theory to Practice}, author = {Esther Guerra and de Lara and Kolovos and Richard F. Paige}, year = {2010}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/Guerra%3AMoDELS%3A2010}, cites = {0}, citedby = {0}, booktitle = {MoDELS}, } @inproceedings{LaraG09, title = {Formal Support for QVT-Relations with Coloured Petri Nets}, author = {Juan de Lara and Esther Guerra}, year = {2009}, doi = {10.1007/978-3-642-04425-0_19}, url = {http://dx.doi.org/10.1007/978-3-642-04425-0_19}, tags = {QVT, QVT Relations}, researchr = {https://researchr.org/publication/LaraG09}, cites = {0}, citedby = {0}, pages = {256-270}, booktitle = {MoDELS}, } @inproceedings{de-Lara:MoDELS:2010, title = {Generic Meta-Modelling with Concepts, Templates and Mixin Layers}, author = {de Lara and Esther Guerra}, year = {2010}, tags = {meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/de-Lara%3AMoDELS%3A2010}, cites = {0}, citedby = {0}, booktitle = {MoDELS}, } @article{GuerraLMD09, title = {Supporting user-oriented analysis for multi-view domain-specific visual languages}, author = {Esther Guerra and Juan de Lara and Alessio Malizia and Paloma Díaz}, year = {2009}, doi = {10.1016/j.infsof.2008.09.005}, url = {http://dx.doi.org/10.1016/j.infsof.2008.09.005}, tags = {domain analysis, analysis, domain-specific language}, researchr = {https://researchr.org/publication/GuerraLMD09}, cites = {0}, citedby = {0}, journal = {INFSOF}, volume = {51}, number = {4}, pages = {769-784}, } @article{CabotCGL10, title = {Verification and validation of declarative model-to-model transformations through invariants}, author = {Jordi Cabot and Robert Clarisó and Esther Guerra and Juan de Lara}, year = {2010}, doi = {10.1016/j.jss.2009.08.012}, url = {http://dx.doi.org/10.1016/j.jss.2009.08.012}, tags = {model-to-model transformation, meta-model, source-to-source, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/CabotCGL10}, cites = {0}, citedby = {0}, journal = {jss}, volume = {83}, number = {2}, pages = {283-302}, } @article{BottoniGL08, title = {Enforced generative patterns for the specification of the syntax and semantics of visual languages}, author = {Paolo Bottoni and Esther Guerra and Juan de Lara}, year = {2008}, doi = {10.1016/j.jvlc.2008.04.004}, url = {http://dx.doi.org/10.1016/j.jvlc.2008.04.004}, tags = {semantics, pattern language}, researchr = {https://researchr.org/publication/BottoniGL08}, cites = {0}, citedby = {0}, journal = {JCL (JVLC)}, volume = {19}, number = {4}, pages = {429-455}, } @inproceedings{OrejasGLE09, title = {Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation}, author = {Fernando Orejas and Esther Guerra and Juan de Lara and Hartmut Ehrig}, year = {2009}, doi = {10.1007/978-3-642-03741-2_26}, url = {http://dx.doi.org/10.1007/978-3-642-03741-2_26}, tags = {model-to-model transformation, rule-based, completeness, meta-model, termination, source-to-source, model transformation, Meta-Environment, open-source, transformation}, researchr = {https://researchr.org/publication/OrejasGLE09}, cites = {0}, citedby = {0}, pages = {383-397}, booktitle = {calco}, } @article{GuerraL07:0, title = {Event-driven grammars: relating abstract and concrete levels of visual languages}, author = {Esther Guerra and Juan de Lara}, year = {2007}, doi = {10.1007/s10270-007-0051-2}, url = {http://dx.doi.org/10.1007/s10270-007-0051-2}, tags = {grammar}, researchr = {https://researchr.org/publication/GuerraL07%3A0}, cites = {0}, citedby = {0}, journal = {SoSyM}, volume = {6}, number = {3}, pages = {317-347}, } @article{GuerraLD08, title = {Visual specification of measurements and redesigns for domain specific visual languages}, author = {Esther Guerra and Juan de Lara and Paloma Díaz}, year = {2008}, doi = {10.1016/j.jvlc.2007.09.002}, url = {http://dx.doi.org/10.1016/j.jvlc.2007.09.002}, tags = {domain-specific language}, researchr = {https://researchr.org/publication/GuerraLD08}, cites = {0}, citedby = {0}, journal = {JCL (JVLC)}, volume = {19}, number = {3}, pages = {399-425}, } @inproceedings{GuerraLO09, title = {Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions}, author = {Esther Guerra and Juan de Lara and Fernando Orejas}, year = {2009}, doi = {10.1007/978-3-642-02408-5_7}, url = {http://dx.doi.org/10.1007/978-3-642-02408-5_7}, tags = {model-to-model transformation, rule-based, meta-model, source-to-source, model transformation, Meta-Environment, open-source, transformation}, researchr = {https://researchr.org/publication/GuerraLO09}, cites = {0}, citedby = {0}, pages = {83-99}, booktitle = {ICMT}, } @inproceedings{ZarraonandiaDGVA09, title = {A Framework for the Multi-disciplinary Design of Web-Based Educational Systems}, author = {Telmo Zarraonandia and Paloma Díaz and Esther Guerra and Mario Rafael Ruiz Vargas and Ignacio Aedo}, year = {2009}, doi = {10.1109/ICALT.2009.121}, url = {http://dx.doi.org/10.1109/ICALT.2009.121}, tags = {rule-based, design}, researchr = {https://researchr.org/publication/ZarraonandiaDGVA09}, cites = {0}, citedby = {0}, pages = {45-49}, booktitle = {icalt}, } @article{GuerraL07, title = {Adding Recursion to Graph Transformation}, author = {Esther Guerra and Juan de Lara}, year = {2007}, url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/56}, tags = {graph transformation, graph-rewriting, rewriting, transformation}, researchr = {https://researchr.org/publication/GuerraL07}, cites = {0}, citedby = {0}, journal = {eceasst}, volume = {6}, } @inproceedings{BottoniLG07, title = {Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages}, author = {Paolo Bottoni and Juan de Lara and Esther Guerra}, year = {2007}, doi = {10.1109/VLHCC.2007.8}, url = {http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.8}, tags = {semantics, incremental execution, pattern language, action semantics, incremental}, researchr = {https://researchr.org/publication/BottoniLG07}, cites = {0}, citedby = {0}, pages = {163-170}, booktitle = {vl}, } @inproceedings{Guerra:MoDELS:2010-0, title = {transML: A Family of Languages to Model Model Transformations}, author = {Esther Guerra and de Lara and Kolovos and Richard F. Paige and dos Santos}, year = {2010}, tags = {model-to-model transformation, meta-model, modeling language, transformation language, language modeling, source-to-source, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/Guerra%3AMoDELS%3A2010-0}, cites = {0}, citedby = {0}, booktitle = {MoDELS}, } @inproceedings{LaraG05, title = {Formal Support for Model Driven Development with Graph Transformation Techniques}, author = {Juan de Lara and Esther Guerra}, year = {2005}, url = {http://ceur-ws.org/Vol-157/paper04.pdf}, tags = {model-to-model transformation, graph transformation, meta-model, model-driven development, source-to-source, graph-rewriting, model transformation, Meta-Environment, rewriting, transformation}, researchr = {https://researchr.org/publication/LaraG05}, cites = {0}, citedby = {0}, booktitle = {dsdm}, } @inproceedings{GuerraDL05, title = {Supporting the Automatic Generation of Advanced Modelling Environments with Graph Transformation Techniques}, author = {Esther Guerra and Paloma Díaz and Juan de Lara}, year = {2005}, tags = {model-to-model transformation, graph transformation, meta-model, source-to-source, graph-rewriting, model transformation, Meta-Environment, rewriting, transformation}, researchr = {https://researchr.org/publication/GuerraDL05}, cites = {0}, citedby = {0}, pages = {67-74}, booktitle = {jisbd}, } @article{GuerraDL08, title = {Visual Specification of Metrics for Domain Specific Visual Languages}, author = {Esther Guerra and Paloma Díaz and Juan de Lara}, year = {2008}, doi = {10.1016/j.entcs.2008.04.033}, url = {http://dx.doi.org/10.1016/j.entcs.2008.04.033}, tags = {domain-specific language}, researchr = {https://researchr.org/publication/GuerraDL08}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {211}, pages = {99-110}, } @inproceedings{GuerraLM07, title = {Model Driven Formal Development of Digital Libraries}, author = {Esther Guerra and Juan de Lara and Alessio Malizia}, year = {2007}, doi = {10.1007/978-3-540-68262-2_13}, url = {http://dx.doi.org/10.1007/978-3-540-68262-2_13}, tags = {meta-model, digital library, model-driven development, digital libraries, Meta-Environment}, researchr = {https://researchr.org/publication/GuerraLM07}, cites = {0}, citedby = {0}, pages = {169-183}, booktitle = {webist}, } @inproceedings{CabotCGL08, title = {An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations}, author = {Jordi Cabot and Robert Clarisó and Esther Guerra and Juan de Lara}, year = {2008}, doi = {10.1007/978-3-540-87875-9_3}, url = {http://dx.doi.org/10.1007/978-3-540-87875-9_3}, tags = {model-to-model transformation, rule-based, meta-model, points-to analysis, analysis, source-to-source, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/CabotCGL08}, cites = {0}, citedby = {0}, pages = {37-52}, booktitle = {MoDELS}, } @inproceedings{GuerraSDA07, title = {A Transformation-Driven Approach to the Verification of Security Policies in Web Designs}, author = {Esther Guerra and Daniel Sanz and Paloma Díaz and Ignacio Aedo}, year = {2007}, doi = {10.1007/978-3-540-73597-7_22}, url = {http://dx.doi.org/10.1007/978-3-540-73597-7_22}, tags = {security, systematic-approach, transformation}, researchr = {https://researchr.org/publication/GuerraSDA07}, cites = {0}, citedby = {0}, pages = {269-284}, booktitle = {ICWE}, } @inproceedings{RiveraGLV08, title = {Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude}, author = {José Eduardo Rivera and Esther Guerra and Juan de Lara and Antonio Vallecillo}, year = {2008}, doi = {10.1007/978-3-642-00434-6_5}, url = {http://dx.doi.org/10.1007/978-3-642-00434-6_5}, tags = {semantics, rule-based, modeling language, modeling, language modeling, rules}, researchr = {https://researchr.org/publication/RiveraGLV08}, cites = {0}, citedby = {0}, pages = {54-73}, booktitle = {SLE}, } @inproceedings{AndresLG07, title = {Domain Specific Languages with Graphical and Textual Views}, author = {Francisco Pérez Andrés and Juan de Lara and Esther Guerra}, year = {2007}, doi = {10.1007/978-3-540-89020-1_7}, url = {http://dx.doi.org/10.1007/978-3-540-89020-1_7}, tags = {domain-specific language}, researchr = {https://researchr.org/publication/AndresLG07}, cites = {0}, citedby = {0}, pages = {82-97}, booktitle = {agtive}, } @inproceedings{GuerraL06, title = {Model View Management with Triple Graph Transformation Systems}, author = {Esther Guerra and Juan de Lara}, year = {2006}, doi = {10.1007/11841883_25}, url = {http://dx.doi.org/10.1007/11841883_25}, tags = {model-to-model transformation, graph transformation, meta-model, source-to-source, graph-rewriting, transformation system, model transformation, Meta-Environment, rewriting, transformation}, researchr = {https://researchr.org/publication/GuerraL06}, cites = {0}, citedby = {0}, pages = {351-366}, booktitle = {gg}, } @inproceedings{LaraGV03, title = {Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems}, author = {Juan de Lara and Esther Guerra and Hans Vangheluwe}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3062&spage=292}, tags = {model-to-model transformation, model checking, graph transformation, meta-model, points-to analysis, analysis, source-to-source, graph-rewriting, transformation system, model transformation, Meta-Environment, rewriting, meta-objects, transformation}, researchr = {https://researchr.org/publication/LaraGV03}, cites = {0}, citedby = {0}, pages = {292-298}, booktitle = {agtive}, } @article{LaraGB07, title = {Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules}, author = {Juan de Lara and Esther Guerra and Paolo Bottoni}, year = {2007}, url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/54}, tags = {rule-based, graph-rewriting, rules, rewriting, grammar}, researchr = {https://researchr.org/publication/LaraGB07}, cites = {0}, citedby = {0}, journal = {eceasst}, volume = {6}, } @inproceedings{BottoniGL09, title = {Formal Foundation for Pattern-Based Modelling}, author = {Paolo Bottoni and Esther Guerra and Juan de Lara}, year = {2009}, doi = {10.1007/978-3-642-00593-0_19}, url = {http://dx.doi.org/10.1007/978-3-642-00593-0_19}, tags = {rule-based}, researchr = {https://researchr.org/publication/BottoniGL09}, cites = {0}, citedby = {0}, pages = {278-293}, booktitle = {FASE}, } @article{DiazGZAP09, title = {A Meta-modeling based Approach for the Multi-Disciplinary Design of Web Educational Systems}, author = {Paloma Díaz and Esther Guerra and Telmo Zarraonandia and Ignacio Aedo and Carmen Luisa Padrón}, year = {2009}, url = {http://www.jucs.org/jucs_15_7/a_meta_modeling_based}, tags = {rule-based, meta-model, modeling, Meta-Environment, design, systematic-approach, meta-objects}, researchr = {https://researchr.org/publication/DiazGZAP09}, cites = {0}, citedby = {0}, journal = {jucs}, volume = {15}, number = {7}, pages = {1440-1454}, } @inproceedings{GuerraDL05:0, title = {A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views}, author = {Esther Guerra and Paloma Díaz and Juan de Lara}, year = {2005}, doi = {10.1109/VLHCC.2005.6}, url = {http://doi.ieeecomputersociety.org/10.1109/VLHCC.2005.6}, tags = {Meta-Environment, systematic-approach}, researchr = {https://researchr.org/publication/GuerraDL05%3A0}, cites = {0}, citedby = {0}, pages = {284-286}, booktitle = {vl}, } @inproceedings{GuerraL04, title = {Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation}, author = {Esther Guerra and Juan de Lara}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3256&spage=54}, tags = {model-to-model transformation, graph transformation, meta-model, source-to-source, graph-rewriting, model transformation, Meta-Environment, rewriting, meta-objects, transformation, grammar}, researchr = {https://researchr.org/publication/GuerraL04}, cites = {0}, citedby = {0}, pages = {54-69}, booktitle = {gg}, }