Esther Guerra

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Towards Domain-Specific Modelling Environments Based on Augmented Reality.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2021

AnATLyzer: Static Analysis of ATL Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Composing Model-Based Analysis Tools, 2021

Exploiting Results of Model-Based Analysis Tools.

[BibT_eX]

[DOI]

Proceedings of the Composing Model-Based Analysis Tools, 2021

2020

Comparing and classifying model transformation reuse approaches across metamodels.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2020

Systematic Engineering of Mutation Operators.

[BibT_eX]

[DOI]

J. Object Technol., 2020

Preface to the special issue on the 12th International Conference on Graph Transformation.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2020

Testing Chatbots with Charm.

[BibT_eX]

[DOI]

Sergio Bravo-Santos

Proceedings of the Quality of Information and Communications Technology, 2020

Automated migration of EuGENia graphical editors to the web.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Léa Brunschwig

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Alberto Sebastián-Lombraña

Proceedings of the Fundamental Approaches to Software Engineering, 2020

Positioning-Based Domain-Specific Modelling through Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020

Modelling Production System Families with AutomationML.

[BibT_eX]

[DOI]

Manuel Wimmer

Alexandra Mazak-Huemer

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Model-Driven Chatbot Development.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 39th International Conference, 2020

Towards Automating the Synthesis of Chatbots for Conversational Model Query.

[BibT_eX]

[DOI]

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2020

Seed Model Synthesis for Testing Model-Based Mutation Operators.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2020

2019

Automated Reuse of Model Transformations through Typing Requirements Models.

[BibT_eX]

[DOI]

Ludovico Iovino

Alfonso Pierantonio

ACM Trans. Softw. Eng. Methodol., 2019

An example is worth a thousand words: Creating graphical modelling environments by example.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2019

Towards Conversational Syntax for Domain-Specific Languages using Chatbots.

[BibT_eX]

[DOI]

Mario González-Jiménez

J. Object Technol., 2019

Scaling-up domain-specific modelling languages through modularity services.

[BibT_eX]

[DOI]

Antonio García-Domínguez

Dimitris S. Kolovos

Inf. Softw. Technol., 2019

Lowcomote: Training the Next Generation of Experts in Scalable Low-Code Engineering Platforms.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019

Mutation testing for DSLs (tool demo).

[BibT_eX]

[DOI]

Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2019

Flexible Modelling using Conversational Agents.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Towards Effective Mutation Testing for ATL.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Elena Gómez-Martínez

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), 2019

2018

Refactoring Multi-Level Models.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2018

Quick fixing ATL transformations with speculative analysis.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2018

Collaborative Modeling and Group Decision Making Using Chatbots in Social Networks.

[BibT_eX]

[DOI]

IEEE Softw., 2018

A tool for domain-independent model mutation.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Facet-oriented modelling: open objects for model-driven engineering.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

Analysing meta-model product lines.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

Model Transformation Product Lines.

[BibT_eX]

[DOI]

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

On the Quest for Flexible Modelling.

[BibT_eX]

[DOI]

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

AnATLyzer: an advanced IDE for ATL model transformations.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Model Transformation Reuse Across Metamodels - A Classification and Comparison of Approaches.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformation, 2018

2017

Static Analysis of Model Transformations.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2017

A Posteriori Typing for Model-Driven Engineering: Concepts, Analysis, and Applications.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2017

Automated analysis of integrity constraints in multi-level models.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2017

A domain-specific language for model mutation and its application to the automated generation of exercises.

[BibT_eX]

[DOI]

Pablo Gómez-Abajo

Comput. Lang. Syst. Struct., 2017

SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2017

Active Domain-Specific Languages: Making Every Mobile User a Modeller.

[BibT_eX]

[DOI]

Diego Vaquero-Melchor

Javier Palomares

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Assisted Modelling Over Social Networks with SOCIO.

[BibT_eX]

[DOI]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Translating Target to Source Constraints in Model-to-Model Transformations.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Reusing Model Transformations Through Typing Requirements Models.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2017

Towards Rearchitecting Meta-Models into Multi-level Models.

[BibT_eX]

[DOI]

Fernando Macías

Proceedings of the Conceptual Modeling - 36th International Conference, 2017

2016

Backwards reasoning for model transformations: Method and applications.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

Combining unit and specification-based testing for meta-model validation and verification.

[BibT_eX]

[DOI]

Inf. Syst., 2016

Pattern-based Rewriting through Abstraction.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2016

MONDO: Scalable Modelling and Model Management on the Cloud.

[BibT_eX]

[DOI]

Dimitrios S. Kolovos

Antonio García-Domínguez

Richard F. Paige

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.

[BibT_eX]

[DOI]

Pablo Gómez-Abajo

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

A Feature-based Comparison of Melanee and Metadepth.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Diego Vaquero-Melchor

Proceedings of the Software Technologies, 11th International Joint Conference, 2016

Towards Enabling Mobile Domain-specific Modelling.

[BibT_eX]

[DOI]

Diego Vaquero-Melchor

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.

[BibT_eX]

[DOI]

Juri Di Rocco

Davide Di Ruscio

Alfonso Pierantonio

Proceedings of the Theory and Practice of Model Transformations, 2016

Example-Based Generation of Graphical Modelling Environments.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 12th European Conference, 2016

2015

Example-driven meta-model development.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

Model-driven engineering with domain-specific meta-modelling languages.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

Specification-driven model transformation testing.

[BibT_eX]

[DOI]

Mathias Soeken

Softw. Syst. Model., 2015

MONDO: Scalable Modelling and Model Management on the Cloud.

[BibT_eX]

[DOI]

Proceedings of the Projects Showcase, 2015

Example-based validation of domain-specific visual languages.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Towards the Generation of Graphical Modelling Environments Aided by Patterns.

[BibT_eX]

[DOI]

Proceedings of the Languages, Applications and Technologies - 4th International Symposium, 2015

Pattern-based development of Domain-Specific Modelling Languages.

[BibT_eX]

[DOI]

Ana Pescador

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

A-posteriori typing for Model-Driven Engineering.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Quick fixing ATL model transformations.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Fragmenta: A theory of fragmentation for MDE.

[BibT_eX]

[DOI]

Nuno Amálio

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Reusable Model Transformation Components with bentō.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2015

A Comparison of Two-Level and Multi-level Modelling for Cloud-Based Applications.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 11th European Conference, 2015

2014

A Component Model for Model Transformations.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2014

When and How to Use Multilevel Modelling.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2014

Domain-specific discrete event modelling and simulation using graph transformation.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2014

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

[BibT_eX]

[DOI]

Softw. Syst. Model., 2014

Towards the flexible reuse of model transformations: A formal approach based on graph transformation.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2014

A formalisation of deep metamodelling.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2014

Extending Deep Meta-Modelling for Practical Model-Driven Engineering.

[BibT_eX]

[DOI]

Comput. J., 2014

Towards automating the analysis of integrity constraints in multi-level models.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 11th Workshop on Model-Driven Engineering, 2014

Meta-Model validation and verification with MetaBest.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Uncovering Errors in ATL Model Transformations Using Static Analysis and Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

Reverse Engineering of Model Transformations for Reusability.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2014

Towards the Systematic Construction of Domain-Specific Transformation Languages.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 10th European Conference, 2014

2013

Genericity for model management operations.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2013

From types to type requirements: genericity for model-driven engineering.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2013

Inter-modelling with patterns.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2013

Engineering model transformations with transML.

[BibT_eX]

[DOI]

Osmar Marchi dos Santos

Softw. Syst. Model., 2013

Reusable abstractions for modeling languages.

[BibT_eX]

[DOI]

Nicholas Drivalos Matragkas

Inf. Syst., 2013

Automated verification of model transformations based on visual contracts.

[BibT_eX]

[DOI]

Werner Retschitzegger

Johannes Schönböck

Wieland Schwinger

Autom. Softw. Eng., 2013

A research roadmap towards achieving scalability in model driven engineering.

[BibT_eX]

[DOI]

Dimitrios S. Kolovos

Louis M. Rose

Richard F. Paige

Proceedings of the Workshop on Scalability in Model Driven Engineering, 2013

Checking Model Transformation Refinement.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2013

Integrating open services for building educational environments.

[BibT_eX]

[DOI]

Iván Dario Claros Gómez

Proceedings of the IEEE Global Engineering Education Conference, 2013

Umbra Designer: Graphical Modelling for Telephony Services.

[BibT_eX]

[DOI]

Javier Luis Cánovas Izquierdo

Proceedings of the Modelling Foundations and Applications - 9th European Conference, 2013

Engaging End-Users in the Collaborative Development of Domain-Specific Modelling Languages.

[BibT_eX]

[DOI]

Jordi Cabot

Proceedings of the Cooperative Design, Visualization, and Engineering, 2013

2012

Flexible Model-to-Model Transformation Templates: An Application to ATL.

[BibT_eX]

[DOI]

J. Object Technol., 2012

An Algebraic Semantics for QVT-Relations Check-only Transformations.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2012

Inter-Modelling with Graphical Constraints: Foundations and Applications.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

The Program Is the Model: Enabling Transformations@run.time.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering, 5th International Conference, 2012

Composing textual modelling languages in practice.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012

Bottom-Up Meta-Modelling: An Interactive Approach.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2012

EMF on Rails.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2012

Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

Abstracting Modelling Languages: A Reutilization Approach.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2012

2011

Formalising Interaction Patterns.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Development of Advanced User Interfaces, 2011

Reusing Model Transformations across Heterogeneous Metamodels.

[BibT_eX]

[DOI]

Manuel Wimmer

Angelika Kusel

Werner Retschitzegger

Johannes Schönböck

Wieland Schwinger

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Generic Model Transformations: Write Once, Reuse Everywhere.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2011

REUSES: Questionnaire-driven design for the automatic generation of web-based collaborative applications.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Collaborative Computing: Networking, 2011

Towards a Functional Characterization of Collaborative Systems.

[BibT_eX]

[DOI]

Jaime Moreno-Llorena

Iván Dario Claros Gómez

Proceedings of the Cooperative Design, Visualization, and Engineering, 2011

A Graph Transformation-Based Semantics for Deep Metamodelling.

[BibT_eX]

[DOI]

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

Reusable Graph Transformation Templates.

[BibT_eX]

[DOI]

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

2010

A UML/OCL framework for the analysis of graph transformation rules.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2010

Verification and validation of declarative model-to-model transformations through invariants.

[BibT_eX]

[DOI]

J. Syst. Softw., 2010

A language-independent and formal approach to pattern-based modelling with support for composition and analysis.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2010

Preface of the Workshop on Visual Formalisms for Patterns, VFfP'10.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Preface of the Workshop on Visual Formalisms for Patterns, VFfP'09.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

An Algebraic Formalization of the GoF Design Patterns

[BibT_eX]

[DOI]

CoRR, 2010

Lightweight Executability Analysis of Graph Transformation Rules.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

A Visual Specification Language for Model-to-Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

Towards a Formal Notion of Interaction Pattern.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

Deep Meta-modelling with MetaDepth.

[BibT_eX]

[DOI]

Proceedings of the Objects, Models, Components, Patterns, 48th International Conference, 2010

Generic Meta-modelling with Concepts, Templates and Mixin Layers.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2010

transML: A Family of Languages to Model Model Transformations.

[BibT_eX]

[DOI]

Osmar Marchi dos Santos

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Inter-modelling: From Theory to Practice.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Synthesis of OCL Pre-conditions for Graph Transformation Rules.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2010

Graph Transformation for Domain-Specific Discrete Event Time Simulation.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations - 5th International Conference, 2010

Formalising design and interaction patterns and their relationships.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Pattern-Driven Engineering of Interactive Computing Systems, 2010

Controlling Reuse in Pattern-Based Model-to-Model Transformations.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2009

Supporting user-oriented analysis for multi-view domain-specific visual languages.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2009

Formal Support for QVT-Relations with Coloured Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2009

A Framework for the Multi-disciplinary Design of Web-Based Educational Systems.

[BibT_eX]

[DOI]

Telmo Zarraonandia

Mario Rafael Ruíz Vargas

Ignacio Aedo

Proceedings of the 9th IEEE International Conference on Advanced Learning Technologies, 2009

Formal Foundation for Pattern-Based Modelling.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2009

Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Visual specification of measurements and redesigns for domain specific visual languages.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2008

Enforced generative patterns for the specification of the syntax and semantics of visual languages.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2008

Pattern-based Model-to-Model Transformation: Long Version.

[BibT_eX]

[DOI]

CoRR, 2008

Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering, First International Conference, 2008

An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Analysing Graph Transformation Rules through OCL.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2008

Pattern-Based Model-to-Model Transformation.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, 4th International Conference, 2008

2007

Event-driven grammars: relating abstract and concrete levels of visual languages.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2007

Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Adding Recursion to Graph Transformation.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Model Driven Development of Digital Libraries - Validation, Analysis and Code Generation.

[BibT_eX]

Alessio Malizia

Proceedings of the WEBIST 2007, 2007

Model Driven Formal Development of Digital Libraries.

[BibT_eX]

[DOI]

Alessio Malizia

Proceedings of the Web Information Systems and Technologies, 2007

Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Alexandre Muzy

Proceedings of the 2007 International Conference on Modeling, 2007

A Transformation-Driven Approach to the Verification of Security Policies in Web Designs.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering, 7th International Conference, 2007

Domain Specific Languages with Graphical and Textual Views.

[BibT_eX]

[DOI]

Francisco Pérez Andrés

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006

Visual Specification of Metrics for Domain Specific Visual Languages.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Model-Driven Development of Digital Libraries: Generating the User Interface.

[BibT_eX]

[DOI]

Alessio Malizia

Proceedings of the MoDELS'06 Workshop on Model Driven Development of Advanced User Interfaces Genova, 2006

Metamodel-based definition of interaction with visual environments.

[BibT_eX]

[DOI]

Proceedings of the MoDELS'06 Workshop on Model Driven Development of Advanced User Interfaces Genova, 2006

Model View Management with Triple Graph Transformation Systems.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, Third International Conference, 2006

2005

A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views.

[BibT_eX]

[DOI]

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.

[BibT_eX]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, Second International Conference, 2004

2003

A Framework for the Verification of UML Models. Examples Using Petri Nets.

[BibT_eX]

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.

[BibT_eX]

[DOI]