Publications

Export 183 results:
Sort by: [ Author  (Desc)] Title Type Year
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 
C
B
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.
Amaral, V, Hardebolle C, Vangheluwe H, Lengyel L, Bunus P.  2011.  
Summary of the Workshop on Multi-Paradigm Modelling: Concepts and Tools.
Models in Software Engineering - Workshops and Symposia at MODELS 2011, Wellington, New Zealand, Reports and Revised Selected Papers. 7167:83-88.
Amaral, V, Hardebolle C, Vangheluwe H, Lengyel L, Bunus P.  2011.  
Recent Advances in Multi-Paradigm Modeling.
Electronic Communications of the EASST. 50