2024
Engineering recommender systems for modelling languages: concept, tool and evaluation.
Empir. Softw. Eng., July, 2024
Measuring and Clustering Heterogeneous Chatbot Designs.
ACM Trans. Softw. Eng. Methodol., May, 2024
Mutation Testing for Task-Oriented Chatbots: Dataset.
Dataset, March, 2024
Integrating Static Quality Assurance in CI Chatbot Development Workflows.
IEEE Softw., 2024
LowcoBot: Towards chatting with low-code platforms.
Proceedings of the STAF 2024 Workshops: AgileMDE 2024, 2024
A Domain-Specific Language for Augmented Reality Games.
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024
Product Lines of Graphical Modelling Languages.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024
Conversational Assistants for Software Development: Integration, Traceability and Coordination.
Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024
Mutation Testing for Task-Oriented Chatbots.
Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering, 2024
Automating the Development of Task-oriented LLM-based Chatbots.
Proceedings of the ACM Conversational User Interfaces 2024, 2024
Coverage-based Strategies for the Automated Synthesis of Test Scenarios for Conversational Agents.
Proceedings of the 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024), 2024
2023
Automated generation and correction of diagram-based exercises for Moodle.
Comput. Appl. Eng. Educ., November, 2023
Introduction to the Special Collection from FASE 2021.
Formal Aspects Comput., September, 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
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
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