By Venue

ASE13

Model repair and transformation with Echo

• Object-relational mapping (with associations/keys)

BX13

Composing least-change lenses

• Least-change lenses specification

BX14

Towards a framework for multi-directional model transformations

• SPL development (minimal)

CONFENIS17

Checking the correctness of what-if scenarios

• OLAP Cube Usage Preferences

FASE13

Implementing QVT-R bidirectional model transformations using Alloy

• Object-relational mapping (without associations/keys)

FASE15

Exploring scenario exploration

• I Am My Own Grandpa (Alloy)

INESCTEC15

PTCRISync specification: An ORCID-based synchronization framework for PTCRIS

• PTCRISync synchronization framework

MEDI16

Towards a formal validation of ETL patterns behavior

• Slowly changing dimension ETL pattern

ORCID-CASRAI15

An ORCID-based synchronization framework for a national CRIS ecosystem

• PTCRISync synchronization framework

PhD14

A relational approach to bidirectional transformation

• Company human resources synchronization (minimal)
• Expand/collapse hierarchical state machines
• Object-relational mapping (without associations/keys)
• SPL development (minimal)

SoSyM16

Least-change bidirectional model transformation with QVT-R and ATL

• Company human resources synchronization (minimal)
• Expand/collapse hierarchical state machines
• Object-relational mapping (without associations/keys)