Esther Guerra

Orcid: 0000-0002-2818-2278

Affiliations:
  • Autonomous University of Madrid, Spain


According to our database1, Esther Guerra authored at least 195 papers between 2003 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Automated generation and correction of diagram-based exercises for Moodle.
Comput. Appl. Eng. Educ., November, 2023

Dandelion: A scalable, cloud-based graphical language workbench for industrial low-code development.
J. Comput. Lang., August, 2023

Wodel-Edu: A tool for the generation and evaluation of diagram-based exercises.
Sci. Comput. Program., August, 2023

Automated engineering of domain-specific metamorphic testing environments.
Inf. Softw. Technol., May, 2023

Model-Driven Engineering for Augmented Reality.
J. Object Technol., 2023

Lifted structural invariant analysis of Petri net product lines.
J. Log. Algebraic Methods Program., 2023

Foreword.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2023

Reuse and Automated Integration of Recommenders for Modelling Languages.
Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023

Engineering Low-Code Modelling Environments with Dandelion.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Model Sensemaking Strategies: Exploiting Meta-Model Patterns to Understand Large Models.
Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Gotten: A Model-Driven Solution to Engineer Domain-specific Metamorphic Testing Environments.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022
Property Satisfiability Analysis for Product Lines of Modelling Languages.
IEEE Trans. Software Eng., 2022

DSMCompare: domain-specific model differencing for graphical domain-specific languages.
Softw. Syst. Model., 2022

Editorial to theme section on modeling in low-code development platforms.
Softw. Syst. Model., 2022

Modelling on mobile devices.
Softw. Syst. Model., 2022

Recommender systems in model-driven engineering.
Softw. Syst. Model., 2022

Analysing Product Lines of Concurrent Systems with Coloured Petri Nets.
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Automating the measurement of heterogeneous chatbot designs.
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Modular language product lines: a graph transformation approach.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Automatic test amplification for executable models.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Building recommenders for modelling languages with Droid.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Asymob: a platform for measuring and clustering chatbots.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

Analyzing the reliability of simulated distributed systems using Metamorphic Testing.
Proceedings of the IEEE/ACM 7th International Workshop on Metamorphic Testing, 2022

2021
Facet-oriented Modelling.
ACM Trans. Softw. Eng. Methodol., 2021

Extensible Structural Analysis of Petri Net Product Lines.
Trans. Petri Nets Other Model. Concurr., 2021

Wodel-Test: a model-based framework for language-independent mutation testing.
Softw. Syst. Model., 2021

Choosing a Chatbot Development Tool.
IEEE Softw., 2021

Language Family Engineering with Product Lines of Multi-level Models.
Formal Aspects Comput., 2021

New ideas: automated engineering of metamorphic testing environments for domain-specific languages.
Proceedings of the SLE '21: 14th ACM SIGPLAN International Conference on Software Language Engineering, Chicago, IL, USA, October 17, 2021

Automating the synthesis of recommender systems for modelling languages.
Proceedings of the SLE '21: 14th ACM SIGPLAN International Conference on Software Language Engineering, Chicago, IL, USA, October 17, 2021

Wodel-Edu: An MDE Solution for the Generation and Evaluation of Diagram-based Exercises.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Towards Automating the Construction of Augmented Reality Interfaces for Information Systems.
Proceedings of the Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), 2021

Creating and Migrating Chatbots with Conga.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Towards Domain-Specific Modelling Environments Based on Augmented Reality.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2021

AnATLyzer: Static Analysis of ATL Model Transformations.
Proceedings of the Composing Model-Based Analysis Tools, 2021

Exploiting Results of Model-Based Analysis Tools.
Proceedings of the Composing Model-Based Analysis Tools, 2021

2020
Comparing and classifying model transformation reuse approaches across metamodels.
Softw. Syst. Model., 2020

Systematic Engineering of Mutation Operators.
J. Object Technol., 2020

Preface to the special issue on the 12th International Conference on Graph Transformation.
J. Log. Algebraic Methods Program., 2020

Testing Chatbots with Charm.
Proceedings of the Quality of Information and Communications Technology, 2020

Automated migration of EuGENia graphical editors to the web.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Towards access control for collaborative modelling apps.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Towards automating the construction of recommender systems for low-code development platforms.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Automated variability injection for graphical modelling languages.
Proceedings of the GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2020

Multi-level Model Product Lines - Open and Closed Variability for Modelling Language Families.
Proceedings of the Fundamental Approaches to Software Engineering, 2020

Positioning-Based Domain-Specific Modelling through Mobile Devices.
Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020

Modelling Production System Families with AutomationML.
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Model-Driven Chatbot Development.
Proceedings of the Conceptual Modeling - 39th International Conference, 2020

Towards Automating the Synthesis of Chatbots for Conversational Model Query.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2020

Seed Model Synthesis for Testing Model-Based Mutation Operators.
Proceedings of the Advanced Information Systems Engineering, 2020

2019
Automated Reuse of Model Transformations through Typing Requirements Models.
ACM Trans. Softw. Eng. Methodol., 2019

An example is worth a thousand words: Creating graphical modelling environments by example.
Softw. Syst. Model., 2019

Towards Conversational Syntax for Domain-Specific Languages using Chatbots.
J. Object Technol., 2019

Scaling-up domain-specific modelling languages through modularity services.
Inf. Softw. Technol., 2019

Lowcomote: Training the Next Generation of Experts in Scalable Low-Code Engineering Platforms.
Proceedings of the STAF 2019 Co-Located Events Joint Proceedings: 1st Junior Researcher Community Event, 2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, and 1st Research Project Showcase Workshop co-located with Software Technologies: Applications and Foundations (STAF 2019), Eindhoven, The Netherlands, July 15, 2019

Domain-specific model differencing in visual concrete syntax.
Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019

Mutation testing for DSLs (tool demo).
Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2019

Flexible Modelling using Conversational Agents.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Towards Effective Mutation Testing for ATL.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

Towards Extensible Structural Analysis of Petri Net Product Lines.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), 2019

2018
Refactoring Multi-Level Models.
ACM Trans. Softw. Eng. Methodol., 2018

Quick fixing ATL transformations with speculative analysis.
Softw. Syst. Model., 2018

Collaborative Modeling and Group Decision Making Using Chatbots in Social Networks.
IEEE Softw., 2018

A tool for domain-independent model mutation.
Sci. Comput. Program., 2018

Facet-oriented modelling: open objects for model-driven engineering.
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

Analysing meta-model product lines.
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

Model Transformation Product Lines.
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

On the Quest for Flexible Modelling.
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

AnATLyzer: an advanced IDE for ATL model transformations.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Model Transformation Reuse Across Metamodels - A Classification and Comparison of Approaches.
Proceedings of the Theory and Practice of Model Transformation, 2018

2017
Static Analysis of Model Transformations.
IEEE Trans. Software Eng., 2017

<i>A Posteriori</i> Typing for Model-Driven Engineering: Concepts, Analysis, and Applications.
ACM Trans. Softw. Eng. Methodol., 2017

Automated analysis of integrity constraints in multi-level models.
Data Knowl. Eng., 2017

A domain-specific language for model mutation and its application to the automated generation of exercises.
Comput. Lang. Syst. Struct., 2017

SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools.
Proceedings of the Software Technologies: Applications and Foundations, 2017

Active Domain-Specific Languages: Making Every Mobile User a Modeller.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Assisted Modelling Over Social Networks with SOCIO.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Translating Target to Source Constraints in Model-to-Model Transformations.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

The rise of the (modelling) bots: towards assisted modelling via social networks.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Reusing Model Transformations Through Typing Requirements Models.
Proceedings of the Fundamental Approaches to Software Engineering, 2017

Towards Rearchitecting Meta-Models into Multi-level Models.
Proceedings of the Conceptual Modeling - 36th International Conference, 2017

2016
Backwards reasoning for model transformations: Method and applications.
J. Syst. Softw., 2016

Combining unit and specification-based testing for meta-model validation and verification.
Inf. Syst., 2016

Pattern-based Rewriting through Abstraction.
Fundam. Informaticae, 2016

MONDO: Scalable Modelling and Model Management on the Cloud.
Proceedings of the Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016), 2016

Wodel: a domain-specific language for model mutation.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

A Feature-based Comparison of Melanee and Metadepth.
Proceedings of the 3rd International Workshop on Multi-Level Modelling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), 2016

Domain-Specific Modelling Using Mobile Devices.
Proceedings of the Software Technologies, 11th International Joint Conference, 2016

Towards Enabling Mobile Domain-specific Modelling.
Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 2: ICSOFT-PT, Lisbon, Portugal, July 24, 2016

Using ATL Transformation Services in the MDEForge Collaborative Modeling Platform.
Proceedings of the Theory and Practice of Model Transformations, 2016

Example-Based Generation of Graphical Modelling Environments.
Proceedings of the Modelling Foundations and Applications - 12th European Conference, 2016

2015
Example-driven meta-model development.
Softw. Syst. Model., 2015

Model-driven engineering with domain-specific meta-modelling languages.
Softw. Syst. Model., 2015

Specification-driven model transformation testing.
Softw. Syst. Model., 2015

MONDO: Scalable Modelling and Model Management on the Cloud.
Proceedings of the Projects Showcase, 2015

Example-based validation of domain-specific visual languages.
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Towards the Generation of Graphical Modelling Environments Aided by Patterns.
Proceedings of the Languages, Applications and Technologies - 4th International Symposium, 2015

Pattern-based development of Domain-Specific Modelling Languages.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

A-posteriori typing for Model-Driven Engineering.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Quick fixing ATL model transformations.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Fragmenta: A theory of fragmentation for MDE.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Reusable Model Transformation Components with bentō.
Proceedings of the Theory and Practice of Model Transformations, 2015

A Comparison of Two-Level and Multi-level Modelling for Cloud-Based Applications.
Proceedings of the Modelling Foundations and Applications - 11th European Conference, 2015

2014
A Component Model for Model Transformations.
IEEE Trans. Software Eng., 2014

When and How to Use Multilevel Modelling.
ACM Trans. Softw. Eng. Methodol., 2014

Domain-specific discrete event modelling and simulation using graph transformation.
Softw. Syst. Model., 2014

Colouring: execution, debug and analysis of QVT-relations transformations through coloured Petri nets.
Softw. Syst. Model., 2014

Towards the flexible reuse of model transformations: A formal approach based on graph transformation.
J. Log. Algebraic Methods Program., 2014

A formalisation of deep metamodelling.
Formal Aspects Comput., 2014

Extending Deep Meta-Modelling for Practical Model-Driven Engineering.
Comput. J., 2014

Towards automating the analysis of integrity constraints in multi-level models.
Proceedings of the Workshop on Multi-Level Modelling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

EMF Splitter: A Structured Approach to EMF Modularity.
Proceedings of the 3rd Workshop on Extreme Modeling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, 2014

Assessing the Quality of Meta-models.
Proceedings of the 11th Workshop on Model-Driven Engineering, 2014

Meta-Model validation and verification with MetaBest.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Uncovering Errors in ATL Model Transformations Using Static Analysis and Constraint Solving.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

Reverse Engineering of Model Transformations for Reusability.
Proceedings of the Theory and Practice of Model Transformations, 2014

Towards the Systematic Construction of Domain-Specific Transformation Languages.
Proceedings of the Modelling Foundations and Applications - 10th European Conference, 2014

2013
Genericity for model management operations.
Softw. Syst. Model., 2013

From types to type requirements: genericity for model-driven engineering.
Softw. Syst. Model., 2013

Inter-modelling with patterns.
Softw. Syst. Model., 2013

Engineering model transformations with transML.
Softw. Syst. Model., 2013

Reusable abstractions for modeling languages.
Inf. Syst., 2013

Automated verification of model transformations based on visual contracts.
Autom. Softw. Eng., 2013

A research roadmap towards achieving scalability in model driven engineering.
Proceedings of the Workshop on Scalability in Model Driven Engineering, 2013

Checking Model Transformation Refinement.
Proceedings of the Theory and Practice of Model Transformations, 2013

Integrating open services for building educational environments.
Proceedings of the IEEE Global Engineering Education Conference, 2013

Umbra Designer: Graphical Modelling for Telephony Services.
Proceedings of the Modelling Foundations and Applications - 9th European Conference, 2013

Engaging End-Users in the Collaborative Development of Domain-Specific Modelling Languages.
Proceedings of the Cooperative Design, Visualization, and Engineering, 2013

2012
Flexible Model-to-Model Transformation Templates: An Application to ATL.
J. Object Technol., 2012

An Algebraic Semantics for QVT-Relations Check-only Transformations.
Fundam. Informaticae, 2012

Inter-Modelling with Graphical Constraints: Foundations and Applications.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

<i>The Program Is the Model</i>: Enabling Transformations@run.time.
Proceedings of the Software Language Engineering, 5th International Conference, 2012

Composing textual modelling languages in practice.
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012

Bottom-Up Meta-Modelling: An Interactive Approach.
Proceedings of the Model Driven Engineering Languages and Systems, 2012

EMF on Rails.
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

Specification-Driven Test Generation for Model Transformations.
Proceedings of the Theory and Practice of Model Transformations, 2012

Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering.
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

Abstracting Modelling Languages: A Reutilization Approach.
Proceedings of the Advanced Information Systems Engineering, 2012

2011
Formalising Interaction Patterns.
Proceedings of the Model-Driven Development of Advanced User Interfaces, 2011

Reusing Model Transformations across Heterogeneous Metamodels.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Generic Model Transformations: <i>Write Once, Reuse Everywhere</i>.
Proceedings of the Theory and Practice of Model Transformations, 2011

REUSES: Questionnaire-driven design for the automatic generation of web-based collaborative applications.
Proceedings of the 7th International Conference on Collaborative Computing: Networking, 2011

Towards a Functional Characterization of Collaborative Systems.
Proceedings of the Cooperative Design, Visualization, and Engineering, 2011

A Graph Transformation-Based Semantics for Deep Metamodelling.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

Reusable Graph Transformation Templates.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

2010
A UML/OCL framework for the analysis of graph transformation rules.
Softw. Syst. Model., 2010

Verification and validation of declarative model-to-model transformations through invariants.
J. Syst. Softw., 2010

A language-independent and formal approach to pattern-based modelling with support for composition and analysis.
Inf. Softw. Technol., 2010

Preface of the Workshop on Visual Formalisms for Patterns, VFfP'10.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Preface of the Workshop on Visual Formalisms for Patterns, VFfP'09.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

An Algebraic Formalization of the GoF Design Patterns
CoRR, 2010

Lightweight Executability Analysis of Graph Transformation Rules.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

A Visual Specification Language for Model-to-Model Transformations.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

Towards a Formal Notion of Interaction Pattern.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

Deep Meta-modelling with MetaDepth.
Proceedings of the Objects, Models, Components, Patterns, 48th International Conference, 2010

Generic Meta-modelling with Concepts, Templates and Mixin Layers.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

<i>trans</i>ML: A Family of Languages to Model Model Transformations.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Inter-modelling: From Theory to Practice.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Synthesis of OCL Pre-conditions for Graph Transformation Rules.
Proceedings of the Theory and Practice of Model Transformations, 2010

Graph Transformation for Domain-Specific Discrete Event Time Simulation.
Proceedings of the Graph Transformations - 5th International Conference, 2010

Formalising design and interaction patterns and their relationships.
Proceedings of the 1st International Workshop on Pattern-Driven Engineering of Interactive Computing Systems, 2010

Controlling Reuse in Pattern-Based Model-to-Model Transformations.
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009
A Meta-modeling based Approach for the Multi-Disciplinary Design of Web Educational Systems.
J. Univers. Comput. Sci., 2009

Supporting user-oriented analysis for multi-view domain-specific visual languages.
Inf. Softw. Technol., 2009

Formal Support for QVT-Relations with Coloured Petri Nets.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions.
Proceedings of the Theory and Practice of Model Transformations, 2009

A Framework for the Multi-disciplinary Design of Web-Based Educational Systems.
Proceedings of the 9th IEEE International Conference on Advanced Learning Technologies, 2009

Formal Foundation for Pattern-Based Modelling.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation.
Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008
Visual specification of measurements and redesigns for domain specific visual languages.
J. Vis. Lang. Comput., 2008

Enforced generative patterns for the specification of the syntax and semantics of visual languages.
J. Vis. Lang. Comput., 2008

Pattern-based Model-to-Model Transformation: Long Version.
CoRR, 2008

Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude.
Proceedings of the Software Language Engineering, First International Conference, 2008

An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

Analysing Graph Transformation Rules through OCL.
Proceedings of the Theory and Practice of Model Transformations, 2008

Pattern-Based Model-to-Model Transformation.
Proceedings of the Graph Transformations, 4th International Conference, 2008

2007
Event-driven grammars: relating abstract and concrete levels of visual languages.
Softw. Syst. Model., 2007

Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Adding Recursion to Graph Transformation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Model Driven Development of Digital Libraries - Validation, Analysis and Code Generation.
Proceedings of the WEBIST 2007, 2007

Model Driven Formal Development of Digital Libraries.
Proceedings of the Web Information Systems and Technologies, 2007

Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages.
Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

Designing PRIMA: A Precise Visual Language for Modeling with Agents, in a Physical environment.
Proceedings of the 2007 International Conference on Modeling, 2007

A Transformation-Driven Approach to the Verification of Security Policies in Web Designs.
Proceedings of the Web Engineering, 7th International Conference, 2007

Domain Specific Languages with Graphical and Textual Views.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006
Visual Specification of Metrics for Domain Specific Visual Languages.
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Model-Driven Development of Digital Libraries: Generating the User Interface.
Proceedings of the MoDELS'06 Workshop on Model Driven Development of Advanced User Interfaces Genova, 2006

Metamodel-based definition of interaction with visual environments.
Proceedings of the MoDELS'06 Workshop on Model Driven Development of Advanced User Interfaces Genova, 2006

Model View Management with Triple Graph Transformation Systems.
Proceedings of the Graph Transformations, Third International Conference, 2006

2005
A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views.
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

Supporting the Automatic Generation of Advanced Modelling Environments with Graph Transformation Techniques.
Proceedings of the Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), 2005

Formal Support for Model Driven Development with Graph Transformation Techniques.
Proceedings of the Actas del Taller sobre Desarrollo Dirigido por Modelos, 2005

2004
Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation.
Proceedings of the Graph Transformations, Second International Conference, 2004

2003
A Framework for the Verification of UML Models. Examples Using Petri Nets.
Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003


  Loading...