Publications

Export 5 results:
Sort by: [ Author  (Asc)] Title 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 
A
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.
D
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.
L
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.
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.
M
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.