Home › Publications

Publications

Export 5 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Author is Lúcio, Levi  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
F
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.
I
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.
S
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.
T
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.
F
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.