| layout | title | permalink |
|---|---|---|
page |
Research |
/research/ |
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