A Rewriting Logic Semantics for ATL

article

A Template-Based Approach to Describing Metamorphic Relations

scholarly article published May 2017

A domain specific visual language for modeling power-aware reliability in wireless sensor networks

A local and global tour on MOMoT

An MDE Approach for Runtime Monitoring and Adapting Component-Based Systems: Application to WIMP User Interface Architectures

Automated inference of likely metamorphic relations for model transformations

Domain-Specific Languages and Model Transformations for Software Product Line

Evaluation of model transformation approaches for model refactoring

article

From out-place transformation evolution to in-place model patching

Full contract verification for ATL using symbolic execution

Fully verifying transformation contracts for declarative ATL

Lightweight Testing of Communication Networks with e-Motions

article by Javier Troya et al published 2011 in Lecture Notes in Computer Science

Matching Business Process Workflows across Abstraction Levels

Metamorphic Testing of RESTful Web APIs

Model Transformation Modularization as a Many-Objective Optimization Problem

Model-driven performance analysis of rule-based domain specific visual models

Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio

On the Reusable Specification of Non-functional Properties in DSLs

On the Specification of Non-functional Properties of Systems by Observation

On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML

scientific article published in 2023

On the concurrent execution of model transformations with Linda

Performance Metamorphic Testing: Motivation and Challenges

Performance metamorphic testing: A Proof of concept

Search-Based Model Transformations with MOMoT

article

Search-based model transformations

Simulating domain specific visual models by observation

Specification and simulation of queuing network models using Domain-Specific Languages

Static Fault Localization in Model Transformations

article

Towards a Rewriting Logic Semantics for ATL

Towards generic modularization transformations

Towards systematic mutations for and with ATL model transformations