Research

Publications

The following is the list of publications describing the technical details of anATLyzer. Consider citing these work if you use AnATLyzer or you are building related verification tools.

• Static analysis of model transformations. Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara. IEEE Transactions on Software Engineering, 2016
• Translating target to source constraints in model-to-model transformations. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara, Robert Clarisó, Jordi Cabot. MODELS’2017.
• Quick fixing ATL transformations with speculative analysis. Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara. Software and Systems Modeling, 2016