Publications

Export 5 results:
Sort by: Author Title [ Type  (Desc)] Year
Filters: Author is Lúcio, Levi  [Clear All Filters]
Workshop Paper
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.
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.
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.
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.