Publications

Export 14 results:
Sort by: [ Author  (Desc)] Title Type Year
Filters: First Letter Of Title is T  [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]
V
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
T
S
Shaikh, R, Vangheluwe H.  2011.  
Transforming UML 2.0 Class Diagrams and Statecharts to Atomic DEVS.
Spring Simulation Multiconference. :213–220.
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.
M
Molderez, T, Meyers B, Janssens D, Vangheluwe H.  2012.  
Towards an Aspect-oriented Language Module: Aspects for Petri Nets.
Proceedings of the seventh workshop on Domain-Specific Aspect Languages. :21–26. Abstract
Molderez, T, Janssens D.  2012.  
Taming Obliviousness in Aspects using Data-flow Analysis and Design by Contract.
11th BElgian-NEtherlands software eVOLution symposium (BENEVOL).  Download: Taming_Obliviousness_2.pdf (126.19 KB)
Meyers, B, Wimmer M, Vangheluwe H, Denil J.  2013.  
Towards Domain-specific Property Languages: The ProMoBox Approach.
Proceedings of the 2013 ACM Workshop on Domain-specific Modeling. :39–44. Abstract
L
Li, X, Vangheluwe H.  2011.  
Towards a Testing Framework for DEVS Formalism Implementation.
Spring Simulation Multiconference. :183–188.
D
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.