Dynamic Validation of Maude Prototypes of UML Models. - Francisco Durán 001; Manuel Roldán; Antonio Moreno-Delgado; José María Álvarez 002 (Specification, Algebra, and Software, 2014)

Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio. - Antonio Moreno-Delgado; Francisco Durán 001; Steffen Zschaler; Javier Troya (ECMFA, 2014)

The Movie Database Case: A Solution Using the Maude-based e-Motions Tool. - Antonio Moreno-Delgado; Francisco Durán 001 (TTC@STAF, 2014)

Statistical Model Checking of e-Motions Domain-Specific Modeling Languages. - Francisco Durán 001; Antonio Moreno-Delgado; José M. Álvarez-Palomo (FASE, 2016)

Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications. - Antonio Moreno-Delgado; Francisco Durán 001; José Meseguer 001 (WRLA, 2016)

Towards the Predictive Analysis of Cloud Systems with e-Motions. - Patrícia Araújo de Oliveira; Antonio Moreno-Delgado; Francisco Durán 001; Ernesto Pimentel 001 (CIbSE, 2017)

Amalgamation of domain specific languages with behaviour. - Francisco Durán 001; Antonio Moreno-Delgado; Fernando Orejas; Steffen Zschaler (J. Log. Algebraic Methods Program., 2017)