Home › Publications

Publications

Export 55 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Last Name is S  [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]
T
Van Gorp, P, Stenten H, Mens T, Demeyer S.  2003.  
Towards automating source-consistent UML refactorings.
Proceedings {UML}'03 ((The Sixth International Conference on The Unified Modeling Language)). LNCS 2863:144-159. Abstract
Sen, S, Baudry B, Vangheluwe H.  2010.  
Towards Domain-specific Model Editors with Automatic Model Completion.
Simulation: Transactions of the Society for Modeling and Simulation International. 86:109–126.
Van Gorp, P, Schippers H, Demeyer S, Janssens D.  2008.  
Transformation Techniques can make Students excited about Formal Methods.
Journal on Information and Software Technology. 50:1295-1304. Abstract
Shaikh, R, Vangheluwe H.  2011.  
Transforming UML 2.0 Class Diagrams and Statecharts to Atomic DEVS.
Spring Simulation Multiconference. :213–220.
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.