Publications

Export 4 results:
Sort by: [ Author  (Desc)] Title Type Year
Filters: First Letter Of Last Name is A  [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   [Show ALL]
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.  
Recent Advances in Multi-Paradigm Modeling.
Electronic Communications of the EASST. 50
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.