Publications

List
Filter

Export 5 results:

Sort by: Author Title Type [ Year

]

Filters: Author is Lúcio, Levi [Clear All Filters]

2013

Lúcio, L, Mustafiz S, Denil J, Vangheluwe H, Jukšs M. 2013.
FTG+PM: An Integrated Framework for Investigating Model Transformation Chains.
SDL 2013: Model-Driven Dependability Engineering. 7916:182-202.

2012

Amrani, M, Lúcio L, Selim GMK, Combemale B, Dingel J, Vangheluwe H, Traon YL, Cordy JR. 2012.
A Tridimensional Approach for Studying the Formal Verification of Model Transformations.
IEEE International Conference on Software Testing, Verification and Validation (ICST). :921-928.

Lúcio, L, Syriani E, Amrani M, Zhang Q, Vangheluwe H. 2012.
Invariant Preservation in Iterative Modeling.
Proceedings of the Fourth International Workshop on Models and Evolution.

Dingel, J, Lúcio L, Vangheluwe H, Varró D. 2012.
Summary of the First Workshop on the Analysis of Model Transformations.
Proceedings of the First Workshop on the Analysis of Model Transformations. :1–2.

Mustafiz, S, Denil J, Lúcio L, Vangheluwe H. 2012.
The FTG+PM framework for multi-paradigm modelling: an automotive case study.
Proceedings of the Sixth International Workshop on Multi-Paradigm Modeling. :13–18.