Publications

Export 88 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: First Letter Of Last Name is V  [Clear All Filters]
2014
2013
Mustafiz, S, Vangheluwe H.  2013.  
Explicit Modelling of Statechart Simulation Environments.
Summer Simulation Multiconference. :445–452.
Meyers, B, Denil J, Boulanger F, Hardebolle C, Jacquet C, Vangheluwe H.  2013.  
A DSL for Explicit Semantic Adaptation.
7th International Workshop on Multi-Paradigm Modeling (MPM'13). :47-56. Abstract  Download: MPM2013.pdf (383.37 KB)
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.
Syriani, E, Vangheluwe H.  2013.  
A Modular Timed Graph Transformation Language for Simulation-based Design.
Software and Systems Modeling (SoSyM). 12:387-414.
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
Syriani, E, Gray J, Vangheluwe H.  2013.  
Modeling a Model Transformation Language.
Domain Engineering. :211-237.
2012
Mannadiar, R, Vangheluwe H.  2012.  
Modular artifact synthesis from domain-specific models.
Innovations in Systems and Software Engineering. 8:65-77.
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
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.
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.
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.
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.
2011
Li, X, Vangheluwe H.  2011.  
Towards a Testing Framework for DEVS Formalism Implementation.
Spring Simulation Multiconference. :183–188.
Shaikh, R, Vangheluwe H.  2011.  
Transforming UML 2.0 Class Diagrams and Statecharts to Atomic DEVS.
Spring Simulation Multiconference. :213–220.
Denil, J, Vangheluwe H, Ramaekers P, De Meulenaere P, Demeyer S.  2011.  
DEVS for AUTOSAR platform modelling.
Proceedings {SPRINGSIM TMS-DEVS}'2011 (2011 Spring Simulation Multiconference). :67-74. Abstract
Sprinkle, J, Rumpe B, Vangheluwe H, Karsai G.  2011.  
Metamodelling: State of the Art and Research Challenges.
Model-Based Engineering of Embedded Real-Time Systems. 6100:57–76.